Uses of Class
formulaVisited.Negation

Packages that use Negation

formulaVisited

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

Uses of Negation in formulaVisited

Methods in formulaVisited with parameters of type Negation

java.lang.Object	VisitorToString.visit(Negation _f)
java.lang.Object	VisitorEvaluate.visit(Negation _f) Calculates the result for a Negation. A negation is false if its subformula is true, false if its subformula is true, and unknown if its subformula's value is unknown.
java.lang.Object	Visitor.visit(Negation _f) Calculates the result for a Negation.