Uses of Class
formula.LogicalVariable

Packages that use LogicalVariable

formula

Basic classes implementing propositional and first-order logic formulas.

Uses of LogicalVariable in formula

Methods in formula 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.