Uses of Class
ubc.cs.JLog.Foundation.jUnifiedVector

Packages that use jUnifiedVector

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

Uses of jUnifiedVector in ubc.cs.JLog.Builtins

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

protected boolean

jRetract.retractPredicate(jPredicate h, jPredicateTerms b, jKnowledgeBase kb, jUnifiedVector unified)

Uses of jUnifiedVector in ubc.cs.JLog.Builtins.Goals

Fields in ubc.cs.JLog.Builtins.Goals declared as jUnifiedVector

jUnifiedVector	jNameGoal.unified
jUnifiedVector	jCurrentOpListGoal.unified
jUnifiedVector	jEquivGoal.unified
jUnifiedVector	jCopyGoal.unified
jUnifiedVector	jIsGoal.unified
jUnifiedVector	jTermToListGoal.unified
jUnifiedVector	jRetractGoal.unified
jUnifiedVector	jFunctorGoal.unified
jUnifiedVector	jCompareGoal.unified
jUnifiedVector	jSortGoal.unified
jUnifiedVector	jReadGoal.unified
protected jUnifiedVector	jCallGoal.unified

Uses of jUnifiedVector in ubc.cs.JLog.Foundation

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

jTerm	jRule.getUnifiedBase(jCompoundTerm input_goal, jUnifiedVector unified) Test if rule head will unify.
boolean	jDynamicRuleDefinitions.retractUnifyRule(jRule rule, jUnifiedVector v) Attempts to retract a rule from the rule definition.
boolean	iUnifiable.unify(jTerm term, jUnifiedVector v) Determines if this instance and term unify.

Uses of jUnifiedVector in ubc.cs.JLog.Terms

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

void	jBinaryBuiltinPredicate.registerUnboundVariables(jUnifiedVector v)
void	jCommand.registerUnboundVariables(jUnifiedVector v)
void	jCompoundTerm.registerUnboundVariables(jUnifiedVector v)
void	jListPair.registerUnboundVariables(jUnifiedVector v)
void	jOrPredicate.registerUnboundVariables(jUnifiedVector v)
void	jVariable.registerUnboundVariables(jUnifiedVector v)
void	jTerm.registerUnboundVariables(jUnifiedVector v) Adds any unbound variables belonging to this term (or belonging to any sub-part of this term) to the jUnifiedVector
void	jPredicate.registerUnboundVariables(jUnifiedVector v)
void	jNaryBuiltinPredicate.registerUnboundVariables(jUnifiedVector v)
void	iTerm.registerUnboundVariables(jUnifiedVector v) Adds any unbound variables belonging to this term (or belonging to any sub-part of this term) to the jUnifiedVector
void	jQuadaryBuiltinPredicate.registerUnboundVariables(jUnifiedVector v)
void	jTrinaryBuiltinPredicate.registerUnboundVariables(jUnifiedVector v)
void	jConjunctTerm.registerUnboundVariables(jUnifiedVector v)
void	jUnaryBuiltinPredicate.registerUnboundVariables(jUnifiedVector v)
boolean	jBuiltinPredicate.unify(jTerm term, jUnifiedVector v) Unification.
boolean	jNullList.unify(jTerm term, jUnifiedVector v)
boolean	jReal.unify(jTerm term, jUnifiedVector v)
boolean	jAtom.unify(jTerm term, jUnifiedVector v)
boolean	jCommand.unify(jTerm term, jUnifiedVector v)
boolean	jCompoundTerm.unify(jTerm term, jUnifiedVector v)
boolean	jListPair.unify(jTerm term, jUnifiedVector v)
boolean	jOrPredicate.unify(jTerm term, jUnifiedVector v)
boolean	jVariable.unify(jTerm term, jUnifiedVector v)
abstract boolean	jTerm.unify(jTerm term, jUnifiedVector v)
boolean	jPredicate.unify(jTerm term, jUnifiedVector v)
boolean	iTerm.unify(jTerm term, jUnifiedVector v)
boolean	jInteger.unify(jTerm term, jUnifiedVector v)
boolean	jConjunctTerm.unify(jTerm term, jUnifiedVector v)
boolean	jObject.unify(jTerm term, jUnifiedVector v)
protected boolean	jBuiltinPredicate.unifyArguments(jBuiltinPredicate pterm, jUnifiedVector v) Unification of arguments.
protected boolean	jBinaryBuiltinPredicate.unifyArguments(jBuiltinPredicate pterm, jUnifiedVector v)
protected boolean	jNaryBuiltinPredicate.unifyArguments(jBuiltinPredicate pterm, jUnifiedVector v)
protected boolean	jQuadaryBuiltinPredicate.unifyArguments(jBuiltinPredicate pterm, jUnifiedVector v)
protected boolean	jTrinaryBuiltinPredicate.unifyArguments(jBuiltinPredicate pterm, jUnifiedVector v)
protected boolean	jUnaryBuiltinPredicate.unifyArguments(jBuiltinPredicate pterm, jUnifiedVector v)
boolean	jPredicate.unifyArguments(jCompoundTerm term, jUnifiedVector v)

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

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

jUnifiedVector	jClauseGoal.unified
jUnifiedVector	jTrinaryBuiltinPredicateGoal.unified
jUnifiedVector	jUnaryBuiltinPredicateGoal.unified
jUnifiedVector	jNaryBuiltinPredicateGoal.unified
jUnifiedVector	jPredicateGoal.unified
jUnifiedVector	jBinaryBuiltinPredicateGoal.unified
jUnifiedVector	jQuadaryBuiltinPredicateGoal.unified