| Methods in ubc.cs.JLog.Terms with parameters of type jVariableVector |
void |
jBuiltinPredicate.enumerateVariables(jVariableVector v,
boolean all)
|
void |
jNullList.enumerateVariables(jVariableVector v,
boolean all)
|
void |
jBinaryBuiltinPredicate.enumerateVariables(jVariableVector v,
boolean all)
|
void |
jReal.enumerateVariables(jVariableVector v,
boolean all)
|
void |
jAtom.enumerateVariables(jVariableVector v,
boolean all)
|
void |
jCommand.enumerateVariables(jVariableVector v,
boolean all)
|
void |
jCompoundTerm.enumerateVariables(jVariableVector v,
boolean all)
|
void |
jListPair.enumerateVariables(jVariableVector v,
boolean all)
|
void |
jOrPredicate.enumerateVariables(jVariableVector v,
boolean all)
|
void |
jVariable.enumerateVariables(jVariableVector v,
boolean all)
|
abstract void |
jTerm.enumerateVariables(jVariableVector v,
boolean all)
Adds variables belonging to this term (or belonging to any sub-part
of this term) to the jVariableVector |
void |
jPredicate.enumerateVariables(jVariableVector v,
boolean all)
|
void |
jNaryBuiltinPredicate.enumerateVariables(jVariableVector v,
boolean all)
|
void |
iTerm.enumerateVariables(jVariableVector v,
boolean all)
Adds variables belonging to this term (or belonging to any sub-part
of this term) to the jVariableVector. |
void |
jQuadaryBuiltinPredicate.enumerateVariables(jVariableVector v,
boolean all)
|
void |
jTrinaryBuiltinPredicate.enumerateVariables(jVariableVector v,
boolean all)
|
void |
jInteger.enumerateVariables(jVariableVector v,
boolean all)
|
void |
jConjunctTerm.enumerateVariables(jVariableVector v,
boolean all)
|
void |
jObject.enumerateVariables(jVariableVector v,
boolean all)
|
void |
jUnaryBuiltinPredicate.enumerateVariables(jVariableVector v,
boolean all)
|
void |
jBuiltinPredicate.registerVariables(jVariableVector v)
|
void |
jNullList.registerVariables(jVariableVector v)
|
void |
jBinaryBuiltinPredicate.registerVariables(jVariableVector v)
|
void |
jReal.registerVariables(jVariableVector v)
|
void |
jAtom.registerVariables(jVariableVector v)
|
void |
jCommand.registerVariables(jVariableVector v)
|
void |
jCompoundTerm.registerVariables(jVariableVector v)
|
void |
jListPair.registerVariables(jVariableVector v)
|
void |
jOrPredicate.registerVariables(jVariableVector v)
|
void |
jVariable.registerVariables(jVariableVector v)
|
abstract void |
jTerm.registerVariables(jVariableVector v)
Adds all variables belonging to this term (or belonging to any sub-part
of this term) to the jUnifiedVector
Should be called during the consultation phase by rules for their owned terms
both head and base. |
void |
jPredicate.registerVariables(jVariableVector v)
|
void |
jNaryBuiltinPredicate.registerVariables(jVariableVector v)
|
void |
iTerm.registerVariables(jVariableVector v)
Adds all variables belonging to this term (or belonging to any sub-part
of this term) to the jUnifiedVector
Should be called during the consultation phase by rules for their owned terms
both head and base. |
void |
jQuadaryBuiltinPredicate.registerVariables(jVariableVector v)
|
void |
jTrinaryBuiltinPredicate.registerVariables(jVariableVector v)
|
void |
jInteger.registerVariables(jVariableVector v)
|
void |
jConjunctTerm.registerVariables(jVariableVector v)
|
void |
jObject.registerVariables(jVariableVector v)
|
void |
jUnaryBuiltinPredicate.registerVariables(jVariableVector v)
|