Uses of Class
formulaVisited.Conjunction

Packages that use Conjunction

formulaVisited

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

Uses of Conjunction in formulaVisited

Methods in formulaVisited with parameters of type Conjunction

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