Package Raptor.LogicParser.Formula

Class Summary

AArray	Creates an AArray term.
And	The And formula. Extends abstract Formula class.
Atom	The Atom formula. Extends abstract class Formula.
Blah
Bool
Equals	The Equals formula. Extends class Predicate.
Exists	The There Exists quantifier formula. Extends abstract class Quantifier.
False	The Bottom formula. Extends class Atom.
Forall	The Forall quantifier formula. Extends abstract class Quantifier.
Formula	Abstract Formula class. Extended by each of the Formula classes.
Function	The Function Term. Extends abstract class Term.
Iff	The IFF formula. Extends abstract class Formula.
Implies	The Implies formula. Extends abstract class Formula.
LLVar	Creates an length variable term for an array used in the proof.
LogicTerm
LTerm
Not	The Not formula. Extends abstract class Formula.
NotBlah
NotBool
Num	Creates a number term.
Or	The Or formula. Extends abstract Formula class.
Predicate	The Predicate formula. Extends abstract class Atom.
Quantifier	The quantifier formula. Extends abstract class Formula, Extended by Forall and Exists Formulae.
SimpleTerm	The SimpleTerm (a Constant) Extends abstract class Term.
Sk	The Sk formula.
SkTerm	The SkTerm term.
Term	This abstract class is the superclass of all classes that represent a term in Pnadora As in Pandora we use first order predicate logic a term can be: A Constant A Variable A Function
True	The Top formula.
Tuple	A Tuple of Terms.
Unknown	The unknown item.
Var	The Var (a Variable) Extends abstract class Term.
VVar	Creates an V variable term.