Uses of Class
model.logic.Variable

Packages that use Variable

model.logic

Uses of Variable in model.logic

Methods in model.logic that return Variable

Variable

Literal.getVariable()

Methods in model.logic that return types with arguments of type Variable

java.util.List<Variable>	ClausesBase.getListeVariables()
java.util.List<Variable>	FormulaeBase.getVariables()

Methods in model.logic with parameters of type Variable

void	Literal.setVariable(Variable variable)

Constructors in model.logic with parameters of type Variable

Literal(Variable variable, boolean positive)

Constructor parameters in model.logic with type arguments of type Variable

Clause(long id, java.lang.String s, java.util.List<Variable> variables)
Initializes a clause from an id, a string ans a list of atoms.