Uses of Class
ubc.cs.JLog.Terms.jVariable

Packages that use jVariable

ubc.cs.JLog.Builtins
ubc.cs.JLog.Foundation
ubc.cs.JLog.Parser
ubc.cs.JLog.Terms
ubc.cs.JLog.Terms.Goals

Uses of jVariable in ubc.cs.JLog.Builtins

Methods in ubc.cs.JLog.Builtins with parameters of type jVariable

void	jRead.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jCopyTerm.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jTime.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jRetract.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jUnionArray.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jIsReal.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jExists.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jFunctor.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jEnumerateVariablesArray.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jRepeat.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jGetArrayElement.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jName.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jCall.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jAppendArray.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jCompare.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jTermToList.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jEquivalent.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jOperator.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jCurrentOpList.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jEquivalence.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jSort.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jWrite.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jAssert.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jOp.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jIs.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jIntersectArray.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jIsInteger.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jCallN.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jSetArrayElement.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jCut.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jUnaryOperator.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jUnaryArithmetic.addGoals(jGoal g, jVariable[] vars, iGoalStack goals) Arithmetics are intended as expressions for is, if used a predicate they fail.
void	jAsserta.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jSubtractArray.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)

Uses of jVariable in ubc.cs.JLog.Foundation

Fields in ubc.cs.JLog.Foundation declared as jVariable

protected jVariable	jVariableRegistry.jVariablePair.copy
protected jVariable	jVariableRegistry.jVariablePair.original

Methods in ubc.cs.JLog.Foundation that return jVariable

jVariable	jVariableRegistry.copyVariable(jVariable v)
jVariable[]	jVariableVector.duplicateVariables()
jVariable	jVariableRegistry.jVariablePair.getCopy()
jVariable[]	jVariableVector.getVariables()

Methods in ubc.cs.JLog.Foundation with parameters of type jVariable

int	jVariableVector.addVariable(jVariable v)
void	jUnifiedVector.addVariable(jVariable v) Registers a variable with this instance.
jVariable	jVariableRegistry.copyVariable(jVariable v)
int	jVariableVector.getVariableIndex(jVariable v)
boolean	jVariableVector.hasVariable(jVariable v)
boolean	jEquivalenceMapping.mapVariablePair(jVariable v1, jVariable v2) Adds a mapping between two different variables.
boolean	jVariableRegistry.jVariablePair.match(jVariable o)

Constructors in ubc.cs.JLog.Foundation with parameters of type jVariable

jVariableRegistry.jVariablePair(jVariable o, jVariable c)

Uses of jVariable in ubc.cs.JLog.Parser

Methods in ubc.cs.JLog.Parser that return jVariable

jVariable	pVariableRegistry.getVariable(ubc.cs.JLog.Parser.pVar v)
jVariable	pVariableRegistry.getVariable(String v)

Uses of jVariable in ubc.cs.JLog.Terms

Methods in ubc.cs.JLog.Terms that return jVariable

jVariable

jDCG.dcgVariableGenerator.createVariable()

Methods in ubc.cs.JLog.Terms with parameters of type jVariable

void	jBinaryBuiltinPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jAtom.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jClause.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jTrue.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jOrPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jPredicateTerms.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
abstract void	iPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals) Adds goal to prove this predicate onto goal stack.
void	jPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jNaryBuiltinPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jQuadaryBuiltinPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jFail.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jTrinaryBuiltinPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jDCG.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
void	jUnaryBuiltinPredicate.addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
jTerm	jBuiltinPredicate.duplicate(jVariable[] vars)
jTerm	jNullList.duplicate(jVariable[] vars)
jTerm	jBinaryBuiltinPredicate.duplicate(jVariable[] vars)
jTerm	jReal.duplicate(jVariable[] vars)
jTerm	jAtom.duplicate(jVariable[] vars)
jTerm	jCommand.duplicate(jVariable[] vars)
jTerm	jCompoundTerm.duplicate(jVariable[] vars)
jTerm	jListPair.duplicate(jVariable[] vars)
jTerm	jOrPredicate.duplicate(jVariable[] vars)
jTerm	jVariable.duplicate(jVariable[] vars)
abstract jTerm	jTerm.duplicate(jVariable[] vars) Creates a complete and entirely independant duplicate of this term.
jTerm	jPredicateTerms.duplicate(jVariable[] vars)
jTerm	jPredicate.duplicate(jVariable[] vars)
jTerm	jNaryBuiltinPredicate.duplicate(jVariable[] vars)
jTerm	iTerm.duplicate(jVariable[] vars) Creates a complete and entirely independant duplicate of this term.
jTerm	jQuadaryBuiltinPredicate.duplicate(jVariable[] vars)
jTerm	jTrinaryBuiltinPredicate.duplicate(jVariable[] vars)
jTerm	jInteger.duplicate(jVariable[] vars)
jTerm	jConjunctTerm.duplicate(jVariable[] vars)
jTerm	jObject.duplicate(jVariable[] vars)
jTerm	jUnaryBuiltinPredicate.duplicate(jVariable[] vars)
jCompoundTerm	jPredicate.duplicateArguments(jVariable[] vars)
protected Vector	jCompoundTerm.internal_duplicate(jVariable[] vars)
protected jPredicate	jDCG.makeDCGPhrase(jVariable v, Vector pr)
boolean	jOrPredicate.prove(jOrGoal og, jGoal g, jVariable[] vars, iGoalStack goals)

Uses of jVariable in ubc.cs.JLog.Terms.Goals

Fields in ubc.cs.JLog.Terms.Goals declared as jVariable

protected jVariable[]

jOrGoalWVars.vars

Constructors in ubc.cs.JLog.Terms.Goals with parameters of type jVariable

jOrGoalWVars(jOrPredicate op, jGoal g, jVariable[] v, jGoal end)