Uses of Interface
formulaVisited.Visitor

Packages that use Visitor

formulaVisited

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

Uses of Visitor in formulaVisited

Classes in formulaVisited that implement Visitor

class	VisitorEvaluate A visitor that evaluates each formula, returning Boolean.TRUE if the formula is true, Boolean.FALSE if the formula is false, and null if its value cannot be determined.
class	VisitorToString A visitor that produces a string representation for each formula.

Methods in formulaVisited with parameters of type Visitor

java.lang.Object	Negation.accept(Visitor _v)
java.lang.Object	LogicalVariable.accept(Visitor _v)
java.lang.Object	LogicalConstant.accept(Visitor _v)
java.lang.Object	Formula.accept(Visitor _v) Accepts a visitor.
java.lang.Object	Disjunction.accept(Visitor _v)
java.lang.Object	Conjunction.accept(Visitor _v)