Uses of Class
formulaVisited.Disjunction

Packages that use Disjunction

formulaVisited

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

Uses of Disjunction in formulaVisited

Methods in formulaVisited with parameters of type Disjunction

java.lang.Object	VisitorToString.visit(Disjunction _f)
java.lang.Object	VisitorEvaluate.visit(Disjunction _f) Calculates the result for a Disjunction. A disjunction is false if both its subformulas are false, true if either of its subformulas is true, and unknown otherwise.
java.lang.Object	Visitor.visit(Disjunction _f) Calculates the result for a Disjunction.