|
Class Summary |
| Justification |
Implements the Justification for a line in a proof. |
| NDRuleController |
Implements the correct NDRule when a first line and a rule have been selected. |
| Pandora |
This is called to start Pandora. |
| PanSignature |
The Pandora Signature. |
| ParseInputController |
Passes data between the View and Parser |
| PLComparator |
|
| ProofBox |
Implements a box in a proof. |
| ProofItem |
Extended by ProofBox and ProofLine. |
| ProofLine |
Is a line contained inside a ProofBox.
Extends ProofItem |
| ProofWindow |
Everything contained within each tab is a ProofWindow. |
| RuleController |
Calls the NDRuleController when a first line and a rule have been selected. |
| Types |
Constants for justifications. |
| View |
View is a specialisation of JFrame, so when you create an instance of View,
a new JFrame is created. |