Uses of Class
com.declarativa.interprolog.util.VariableNode

Packages that use VariableNode

Package	Description
com.declarativa.interprolog

Uses of VariableNode in com.declarativa.interprolog

Methods in com.declarativa.interprolog with parameters of type VariableNode

Modifier and Type	Method and Description
void	TermModel.assignToVar(VariableNode v, Object value) Replaces all occurrences of v in this subterm by value, using setNodeValue

Method parameters in com.declarativa.interprolog with type arguments of type VariableNode

Modifier and Type	Method and Description
boolean	TermModel.variant(TermModel tx, Map<VariableNode,VariableNode> myVars)
boolean	TermModel.variant(TermModel tx, Map<VariableNode,VariableNode> myVars)