Uses of Interface
formulaVisited.Formula

Packages that use Formula

formulaVisited

Propositional and first-order logic with visitors, singletons, and other patterns used.

Uses of Formula in formulaVisited

Classes in formulaVisited 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.

Methods in formulaVisited that return Formula

static Formula

Factory.factory(java.io.PushbackReader _in) Reads a character stream and returns the formula corresponding to it, if any.

Constructors in formulaVisited 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