Uses of Class
formulaVisited.LogicalConstant

Packages that use LogicalConstant

formulaVisited

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

Uses of LogicalConstant in formulaVisited

Methods in formulaVisited that return LogicalConstant

static LogicalConstant	LogicalConstant.one() Returns a logical constant for 1 (true).
static LogicalConstant	LogicalConstant.zero() Returns a logical constant for 0 (false).

Methods in formulaVisited with parameters of type LogicalConstant

java.lang.Object	VisitorToString.visit(LogicalConstant _f)
java.lang.Object	VisitorEvaluate.visit(LogicalConstant _f) Calculates the result for a LogicalConstant. The value of LogicalConstant.one() is true, and the value of LogicalConstant.zero() is false.
java.lang.Object	Visitor.visit(LogicalConstant _f) Calculates the result for a LogicalConstant.