Uses of Interface
formula.Formula

Packages that use Formula

formula

Basic classes implementing propositional and first-order logic formulas.

Uses of Formula in formula

Classes in formula that implement Formula

class	Conjunction The conjunction ("and") of two subformulas.
class	Disjunction The disjunction ("and") of two subformulas.
class	LogicalConstant A logical constant, representing true or false.
class	LogicalVariable A logical variable, representing true or false (but we may not know which).
class	Negation The negation of a formula.

Constructors in formula with parameters of type Formula

Conjunction(Formula _left, Formula _right)
Constructs the conjunction of two subformulas.

Disjunction(Formula _left, Formula _right)
Constructs the disjunction of two subformulas.

Negation(Formula _subformula)
Constructs the negation of a formula