Package Pandora.LogicParser.Formula

Class Summary

And	The And formula. Extends abstract Formula class.
Atom	The Atom formula. Extends abstract class Formula.
Equals	The Equals formula. Extends class Predicate.
Exists	The There Exists quantifier formula. Extends abstract class Formula.
False	The Bottom formula. Extends abstract class Formula.
Forall	The Forall quantifier formula. Extends abstract class Formula.
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.
Not	The Not formula. Extends abstract class Formula.
Num	Creates a number term.
Or	The Or formula. Extends abstract Formula class.
Predicate	The Predicate formula. Extends abstract class Atom.
Quantifier	The Forall quantifier formula. Extends abstract class Formula, Extended by Forall and Exists Formulae.
SimpleTerm	The SimpleTerm (a Constant) Extends abstract class Term.
Sk	The Atom formula.
SkTerm	The SkTerm term.
SVar	Creates an S variable 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. Extends abstract class Formula.
Tuple	A Tuple of Terms.
Unknown	The unknown item.
Var	The Var (a Variable) Extends abstract class Term.