Uses of Class
formulaVisited.LogicalVariable

Packages that use LogicalVariable

formulaVisited

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

Uses of LogicalVariable in formulaVisited

Methods in formulaVisited with parameters of type LogicalVariable

void	Environment.bind(LogicalVariable _variable, boolean _value) Binds a logical variable to a boolean value.
java.lang.Boolean	Environment.get(LogicalVariable _variable) Get the binding of a logical variable.
java.lang.Object	VisitorToString.visit(LogicalVariable _f)
java.lang.Object	VisitorEvaluate.visit(LogicalVariable _f) Calculates the result for a LogicalVariable. The value of a logical variable is the value the variable is bound to in the environment, and unknown if the variable is bound to no value.
java.lang.Object	Visitor.visit(LogicalVariable _f) Calculates the result for a LogicalVariable.