Package Raptor

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.
PanSignature	The Pandora Signature.
ParseInputController	Passes data between the View and Parser
PLComparator	Used by Justification class to sort a List of ProofLines by line number
ProgramLine	Is a line containing the program code in a ProofBox. Extends ProofItem
ProofBox	Implements a box in a proof.
ProofItem	Extended by ProofBox and ProofLine.
ProofLine	Represents a line contained inside a ProofBox. Extends ProofItem
ProofWindow	Everything contained within each tab is a ProofWindow.
RAPRuleController	Implements the correct RAPRule when a first line and a rule have been selected.
Raptor	This is called to start Raptor.
RuleController	Calls the correct RuleController 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.