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

Packages that use jTerm

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

Uses of jTerm in ubc.cs.JLog.Builtins

Subclasses of jTerm in ubc.cs.JLog.Builtins

class	jAbs
class	jACos
class	jAdd
class	jAfter
class	jAfterEqual
class	jAppendArray
class	jArg
class	jASin
class	jAssert
class	jAsserta
class	jAssertz
class	jATan
class	jATan2
class	jBefore
class	jBeforeEqual
class	jBitwiseConjunction
class	jBitwiseDisjunction
class	jBitwiseExclusiveDisjunction
class	jBitwiseLeftShift
class	jBitwiseNegation
class	jBitwiseRightShift
class	jCall
class	jCallN A specialized version of jCall that handles cases of arity >= 2.
class	jCeiling
class	jCompare
class	jConvertArray
class	jCopyTerm
class	jCos
class	jCreateArray
class	jCurrentOpList
class	jCut
class	jDynamic
class	jEnumerateVariablesArray
class	jEqual
class	jEquivalence
class	jEquivalent
class	jExists
class	jExp
class	jExpandTerm
class	jFloor
class	jFunctor
class	jGetArrayElement
class	jGreaterThan
class	jGreaterThanEqual
class	jIntegerArithmetic
class	jIntegerDivide
class	jIntegerOnlyArithmetic
class	jIntersectArray
class	jIs
class	jIsAtom
class	jIsAtomic
class	jIsCallable
class	jIsCompound
class	jIsGround
class	jIsInteger
class	jIsList
class	jIsNonVariable
class	jIsNumber
class	jIsReal
class	jIsSimple
class	jIsType
class	jIsVariable
class	jKeysort
class	jLessThan
class	jLessThanEqual
class	jLoadLibrary
class	jLog
class	jLog10
class	jLog2
class	jLogBase
class	jMax
class	jMin
class	jMinus
class	jMod
class	jMultiply
class	jName
class	jNotEqual
class	jNotEquivalence
class	jNotEquivalent
class	jNotUnify
class	jNumericComparison
class	jOp
class	jOperator
class	jPlus
class	jPow
class	jRandom
class	jRead
class	jRealArithmetic
class	jRealDivide
class	jRealUnaryArithmetic A flexible abstract class for unary arithmetic.
class	jRepeat
class	jRetract
class	jRound
class	jSetArrayElement
class	jSin
class	jSort
class	jSqrt
class	jSubtract
class	jSubtractArray
class	jTan
class	jTermToList
class	jTime
class	jTruncate
class	jUnaryArithmetic The abstract class for unary arithmetic operators.
class	jUnaryOperator
class	jUnionArray
class	jWrite

Methods in ubc.cs.JLog.Builtins that return jTerm

protected jTerm	jConvertArray.convert_makelist(Enumeration e, jTerm r)
protected jTerm	jName.convertStringToTerm(String s, boolean pa)
jTerm	jRandom.getValue()
jTerm	jIntegerArithmetic.getValue()
jTerm	jIsReal.getValue()
jTerm	jTruncate.getValue()
jTerm	jRealArithmetic.getValue()
jTerm	jBitwiseNegation.getValue()
jTerm	jIsInteger.getValue()
jTerm	jRound.getValue()
jTerm	jRealUnaryArithmetic.getValue()
jTerm	jUnaryArithmetic.getValue()
jTerm	jIntegerOnlyArithmetic.getValue()

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

protected boolean	jBefore.compareOrder(jTerm l, jTerm r)
protected boolean	jAfter.compareOrder(jTerm l, jTerm r)
protected boolean	jAfterEqual.compareOrder(jTerm l, jTerm r)
protected boolean	jBeforeEqual.compareOrder(jTerm l, jTerm r)
protected jTerm	jConvertArray.convert_makelist(Enumeration e, jTerm r)
protected jUnaryBuiltinPredicate	jRead.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jASin.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jTan.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jLog.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jRandom.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jIsVariable.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jTime.duplicate(jTerm t)
protected jUnaryBuiltinPredicate	jACos.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jRetract.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jIsAtom.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jLoadLibrary.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jIsNumber.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jIsReal.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jFloor.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jTruncate.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jIsGround.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jIsCompound.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jIsSimple.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jAssertz.duplicate(jTerm t)
protected jUnaryBuiltinPredicate	jCall.duplicate(jTerm t)
protected jUnaryBuiltinPredicate	jPlus.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jExp.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jBitwiseNegation.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jATan.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jSin.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jAbs.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jSqrt.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jIsList.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jCos.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jCurrentOpList.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jIsNonVariable.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jWrite.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jMinus.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jAssert.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jLog2.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jDynamic.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jIsInteger.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jRound.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jCallN.duplicate(jTerm t)
protected jUnaryBuiltinPredicate	jLog10.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jIsAtomic.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jAsserta.duplicate(jTerm t)
protected jUnaryBuiltinPredicate	jIsCallable.duplicate(jTerm r)
protected jUnaryBuiltinPredicate	jCeiling.duplicate(jTerm r)
jBinaryBuiltinPredicate	jCopyTerm.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jPow.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jBefore.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jMin.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jGreaterThan.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jGreaterThanEqual.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jAdd.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jLessThanEqual.duplicate(jTerm l, jTerm r)
jBinaryBuiltinPredicate	jExists.duplicate(jTerm l, jTerm r)
jBinaryBuiltinPredicate	jCreateArray.duplicate(jTerm l, jTerm r)
jBinaryBuiltinPredicate	jEnumerateVariablesArray.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jName.duplicate(jTerm lhs, jTerm rhs)
protected jBinaryBuiltinPredicate	jMod.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jAfter.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jRealDivide.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jATan2.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jMax.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jMultiply.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jBitwiseConjunction.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jLessThan.duplicate(jTerm l, jTerm r)
jBinaryBuiltinPredicate	jKeysort.duplicate(jTerm l, jTerm r)
jBinaryBuiltinPredicate	jAppendArray.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jEqual.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jAfterEqual.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jBitwiseExclusiveDisjunction.duplicate(jTerm l, jTerm r)
jBinaryBuiltinPredicate	jNotEquivalence.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jTermToList.duplicate(jTerm l, jTerm r)
jBinaryBuiltinPredicate	jEquivalent.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jBitwiseDisjunction.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jBitwiseRightShift.duplicate(jTerm l, jTerm r)
jBinaryBuiltinPredicate	jEquivalence.duplicate(jTerm l, jTerm r)
jBinaryBuiltinPredicate	jNotUnify.duplicate(jTerm l, jTerm r)
jBinaryBuiltinPredicate	jSort.duplicate(jTerm l, jTerm r)
jBinaryBuiltinPredicate	jNotEquivalent.duplicate(jTerm l, jTerm r)
jBinaryBuiltinPredicate	jIs.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jBeforeEqual.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jBitwiseLeftShift.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jNotEqual.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jIntegerDivide.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jSubtract.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jLogBase.duplicate(jTerm l, jTerm r)
protected jTrinaryBuiltinPredicate	jArg.duplicate(jTerm t1, jTerm t2, jTerm t3)
jTrinaryBuiltinPredicate	jUnionArray.duplicate(jTerm t1, jTerm t2, jTerm t3)
protected jTrinaryBuiltinPredicate	jFunctor.duplicate(jTerm t1, jTerm t2, jTerm t3)
jTrinaryBuiltinPredicate	jGetArrayElement.duplicate(jTerm t1, jTerm t2, jTerm t3)
jTrinaryBuiltinPredicate	jConvertArray.duplicate(jTerm t1, jTerm t2, jTerm t3)
protected jTrinaryBuiltinPredicate	jCompare.duplicate(jTerm t1, jTerm t2, jTerm t3)
protected jTrinaryBuiltinPredicate	jOp.duplicate(jTerm t1, jTerm t2, jTerm t3)
jTrinaryBuiltinPredicate	jIntersectArray.duplicate(jTerm t1, jTerm t2, jTerm t3)
jTrinaryBuiltinPredicate	jSetArrayElement.duplicate(jTerm t1, jTerm t2, jTerm t3)
jTrinaryBuiltinPredicate	jSubtractArray.duplicate(jTerm t1, jTerm t2, jTerm t3)
jQuadaryBuiltinPredicate	jExpandTerm.duplicate(jTerm t1, jTerm t2, jTerm t3, jTerm t4)
boolean	jRead.prove(jReadGoal rg, jTerm in)
protected int	jKeysort.sort_compare(jTerm l, jTerm r, boolean ve)
protected int	jSort.sort_compare(jTerm l, jTerm r, boolean ve)
protected void	jKeysort.sort_insert(jTerm t, Vector v, boolean ve)
protected void	jSort.sort_insert(jTerm t, Vector v, boolean ve)
protected jList	jSort.sort(jTerm src, boolean ve)

Constructors in ubc.cs.JLog.Builtins with parameters of type jTerm

jAbs(jTerm r)

jACos(jTerm r)

jAdd(jTerm l, jTerm r)

jAfter(jTerm l, jTerm r)

jAfterEqual(jTerm l, jTerm r)

jAppendArray(jTerm l, jTerm r)
Constructor for jAppendArray.

jArg(jTerm n, jTerm t, jTerm a)

jASin(jTerm r)

jAssert(jTerm t)

jAsserta(jTerm t)

jAssertz(jTerm t)

jATan(jTerm r)

jATan2(jTerm l, jTerm r)

jBefore(jTerm l, jTerm r)

jBeforeEqual(jTerm l, jTerm r)

jBitwiseConjunction(jTerm l, jTerm r)

jBitwiseDisjunction(jTerm l, jTerm r)

jBitwiseExclusiveDisjunction(jTerm l, jTerm r)

jBitwiseLeftShift(jTerm l, jTerm r)

jBitwiseNegation(jTerm r)

jBitwiseRightShift(jTerm l, jTerm r)

jCall(jTerm c)

jCeiling(jTerm r)

jCompare(jTerm t1, jTerm t2, jTerm t3)

jCompare(jTerm t1, jTerm t2, jTerm t3, boolean ve)

jConvertArray(jTerm t1, jTerm t2, jTerm t3)

jCopyTerm(jTerm l, jTerm r)

jCos(jTerm r)

jCreateArray(jTerm l, jTerm r)
Constructor for jCreateArray.

jCurrentOpList(jTerm list)

jDynamic(jTerm r)

jEnumerateVariablesArray(jTerm l, jTerm r, boolean all)

jEqual(jTerm l, jTerm r)

jEquivalence(jTerm l, jTerm r)

jEquivalent(jTerm l, jTerm r)

jExists(jTerm l, jTerm r)

jExp(jTerm r)

jExpandTerm(jTerm l, jTerm r, jTerm S, jTerm E)

jFloor(jTerm r)

jFunctor(jTerm t, jTerm n, jTerm a)

jGetArrayElement(jTerm t1, jTerm t2, jTerm t3)
Constructor for jGetArrayElement.

jGreaterThan(jTerm l, jTerm r)

jGreaterThanEqual(jTerm l, jTerm r)

jIntegerArithmetic(jTerm l, jTerm r)

jIntegerDivide(jTerm l, jTerm r)

jIntegerOnlyArithmetic(jTerm l, jTerm r)

jIntersectArray(jTerm t1, jTerm t2, jTerm t3)

jIs(jTerm l, jTerm r)

jIsAtom(jTerm r)

jIsAtomic(jTerm r)

jIsCallable(jTerm r)

jIsCompound(jTerm r)

jIsGround(jTerm r)

jIsInteger(jTerm r)

jIsList(jTerm r)

jIsNonVariable(jTerm r)

jIsNumber(jTerm r)

jIsReal(jTerm r)

jIsSimple(jTerm r)

jIsType(jTerm r)

jIsVariable(jTerm r)

jKeysort(jTerm l, jTerm r)

jKeysort(jTerm l, jTerm r, boolean ve)

jLessThan(jTerm l, jTerm r)

jLessThanEqual(jTerm l, jTerm r)

jLoadLibrary(jTerm r)

jLog(jTerm r)

jLog10(jTerm r)

jLog2(jTerm r)

jLogBase(jTerm l, jTerm r)
Constructor of binary logarithm: log[l](r).

jMax(jTerm l, jTerm r)

jMin(jTerm l, jTerm r)

jMinus(jTerm r)

jMod(jTerm l, jTerm r)

jMultiply(jTerm l, jTerm r)

jName(jTerm l, jTerm r)

jName(jTerm l, jTerm r, boolean pa)

jNotEqual(jTerm l, jTerm r)

jNotEquivalence(jTerm l, jTerm r)

jNotEquivalent(jTerm l, jTerm r)

jNotUnify(jTerm l, jTerm r)

jNumericComparison(jTerm l, jTerm r)

jOp(jTerm priority, jTerm specifier, jTerm operation)

jOperator(jTerm l, jTerm r)

jOperator(jTerm l, jTerm r, int t)

jPlus(jTerm r)

jPow(jTerm l, jTerm r)

jRandom(jTerm r)

jRead(jTerm t)

jRealArithmetic(jTerm l, jTerm r)

jRealDivide(jTerm l, jTerm r)

jRealUnaryArithmetic(jTerm r)

jRetract(jTerm t)

jRound(jTerm r)

jSetArrayElement(jTerm t1, jTerm t2, jTerm t3)
Constructor for jGetArrayElement.

jSin(jTerm r)

jSort(jTerm l, jTerm r)

jSort(jTerm l, jTerm r, boolean ve)

jSqrt(jTerm r)

jSubtract(jTerm l, jTerm r)

jSubtractArray(jTerm t1, jTerm t2, jTerm t3)

jTan(jTerm r)

jTermToList(jTerm l, jTerm r)

jTime(jTerm c)

jTruncate(jTerm r)

jUnaryArithmetic(jTerm r)

jUnaryOperator(jTerm r)

jUnaryOperator(jTerm r, int t)

jUnionArray(jTerm t1, jTerm t2, jTerm t3)

jWrite(jTerm t)

jWrite(jTerm t, boolean lf)

Uses of jTerm in ubc.cs.JLog.Builtins.Entries

Methods in ubc.cs.JLog.Builtins.Entries that return jTerm

jTerm	pIfThenOperatorEntry.createOperator(jTerm l, jTerm r)
jTerm	pNotOperatorEntry.createOperator(jTerm l, jTerm r)

Methods in ubc.cs.JLog.Builtins.Entries with parameters of type jTerm

jTerm	pIfThenOperatorEntry.createOperator(jTerm l, jTerm r)
jTerm	pNotOperatorEntry.createOperator(jTerm l, jTerm r)

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

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

protected jTerm	jCallGoal.callee
jTerm	jAppendArrayGoal.lhs
jTerm	jNameGoal.lhs
jTerm	jEquivalenceGoal.lhs
jTerm	jEquivGoal.lhs
jTerm	jCopyGoal.lhs
jTerm	jIsGoal.lhs
jTerm	jTermToListGoal.lhs
jTerm	jOperatorGoal.lhs
jTerm	jSortGoal.lhs
jTerm	jEnumerateVariablesArrayGoal.lhs
protected jTerm	jOpGoal.operation
protected jTerm	jOpGoal.priority
jTerm	jAppendArrayGoal.rhs
jTerm	jUnaryOperatorGoal.rhs
jTerm	jNameGoal.rhs
jTerm	jCurrentOpListGoal.rhs
jTerm	jEquivalenceGoal.rhs
jTerm	jEquivGoal.rhs
jTerm	jCopyGoal.rhs
jTerm	jIsGoal.rhs
jTerm	jTermToListGoal.rhs
jTerm	jUnaryArithmeticGoal.rhs
jTerm	jOperatorGoal.rhs
jTerm	jSortGoal.rhs
jTerm	jEnumerateVariablesArrayGoal.rhs
protected jTerm	jOpGoal.specifier
protected jTerm	jWriteGoal.term
jTerm	jRetractGoal.term
jTerm	jAssertGoal.term
jTerm	jReadGoal.term
jTerm	jSetArrayElementGoal.term1
jTerm	jIntersectArrayGoal.term1
jTerm	jUnionArrayGoal.term1
jTerm	jSubtractArrayGoal.term1
jTerm	jFunctorGoal.term1
jTerm	jCompareGoal.term1
jTerm	jGetArrayElementGoal.term1
jTerm	jSetArrayElementGoal.term2
jTerm	jIntersectArrayGoal.term2
jTerm	jUnionArrayGoal.term2
jTerm	jSubtractArrayGoal.term2
jTerm	jFunctorGoal.term2
jTerm	jCompareGoal.term2
jTerm	jGetArrayElementGoal.term2
jTerm	jSetArrayElementGoal.term3
jTerm	jIntersectArrayGoal.term3
jTerm	jUnionArrayGoal.term3
jTerm	jSubtractArrayGoal.term3
jTerm	jFunctorGoal.term3
jTerm	jCompareGoal.term3
jTerm	jGetArrayElementGoal.term3

Methods in ubc.cs.JLog.Builtins.Goals that return jTerm

protected jTerm

jReadGoal.getInput()

Methods in ubc.cs.JLog.Builtins.Goals with parameters of type jTerm

protected int	jOpGoal.getPriority(jTerm t)
protected int	jOpGoal.getSpecifier(jTerm t)
protected void	jOpGoal.registerOperation(jTerm t, pOperatorRegistry registry, int pri, int stype)

Constructors in ubc.cs.JLog.Builtins.Goals with parameters of type jTerm

jAppendArrayGoal(jAppendArray aa, jTerm l, jTerm r)

jAssertGoal(jAssert a, jTerm t, boolean al)

jCallGoal(jTerm c)

jCompareGoal(jCompare c, jTerm t1, jTerm t2, jTerm t3, boolean ve)

jCopyGoal(jCopyTerm c, jTerm l, jTerm r)

jCurrentOpListGoal(jCurrentOpList ol, jTerm r)

jEnumerateVariablesArrayGoal(jEnumerateVariablesArray eva, jTerm l, jTerm r, boolean all)

jEquivalenceGoal(jEquivalence i, jTerm l, jTerm r)

jEquivGoal(jEquivalent i, jTerm l, jTerm r)

jFunctorGoal(jFunctor f, jTerm t1, jTerm t2, jTerm t3)

jGetArrayElementGoal(jGetArrayElement gae, jTerm t1, jTerm t2, jTerm t3)

jIntersectArrayGoal(jIntersectArray ia, jTerm t1, jTerm t2, jTerm t3)

jIsGoal(jIs i, jTerm l, jTerm r)

jNameGoal(jName n, jTerm l, jTerm r, boolean pa)

jOperatorGoal(jOperator o, jTerm l, jTerm r)

jOpGoal(jTerm t1, jTerm t2, jTerm t3)

jReadGoal(jRead r, jTerm t)

jRetractGoal(jRetract r, jTerm t)

jSetArrayElementGoal(jSetArrayElement sae, jTerm t1, jTerm t2, jTerm t3)

jSortGoal(jSort s, jTerm l, jTerm r, boolean ve)

jSubtractArrayGoal(jSubtractArray sa, jTerm t1, jTerm t2, jTerm t3)

jTermToListGoal(jTermToList t, jTerm l, jTerm r)

jTimeGoal(jTerm c)

jUnaryArithmeticGoal(jUnaryArithmetic o, jTerm r)

jUnaryOperatorGoal(jUnaryOperator o, jTerm r)

jUnionArrayGoal(jUnionArray ua, jTerm t1, jTerm t2, jTerm t3)

jWriteGoal(jTerm t, boolean lf)

Uses of jTerm in ubc.cs.JLog.Foundation

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

jTerm	jDynamicRuleDefinitions.getClause(jClauseGoal cg, jPredicate h) Construct dynamic rule based on name, arity, and vector of rules.
jTerm	jRule.getUnifiedBase(jCompoundTerm input_goal, jUnifiedVector unified) Test if rule head will unify.

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

boolean

iUnifiable.unify(jTerm term, jUnifiedVector v) Determines if this instance and term unify.

Uses of jTerm in ubc.cs.JLog.Parser

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

jTerm	pGenericOperatorEntry.createOperator(jTerm l, jTerm r)
abstract jTerm	pOperatorEntry.createOperator(jTerm l, jTerm r) The internal method for creating the jTerm representation of this operator representation.
jTerm	pPredicateOperatorEntry.createOperator(jTerm l, jTerm r)
jTerm	pOperatorEntry.createOperator(ubc.cs.JLog.Parser.pToken pt, ubc.cs.JLog.Parser.pPacket lhs, ubc.cs.JLog.Parser.pPacket rhs, pVariableRegistry vars, pTermToPacketHashtable phash) Public interface for generating the real prolog term objects.
jTerm	pParseStream.parseTerm()

Methods in ubc.cs.JLog.Parser with parameters of type jTerm

jTerm	pGenericOperatorEntry.createOperator(jTerm l, jTerm r)
abstract jTerm	pOperatorEntry.createOperator(jTerm l, jTerm r) The internal method for creating the jTerm representation of this operator representation.
jTerm	pPredicateOperatorEntry.createOperator(jTerm l, jTerm r)
protected Object[]	pGenericOperatorEntry.getConstructorArgsArray(jTerm l, jTerm r)
ubc.cs.JLog.Parser.pPacket	pTermToPacketHashtable.getPacket(jTerm t) Finds the packet associated with the given term key.
ubc.cs.JLog.Parser.pToken	pTermToPacketHashtable.getToken(jTerm t, ubc.cs.JLog.Parser.pPacket pp) Looks up packet in the hash given a term key, and returns the packets token.
ubc.cs.JLog.Parser.pPacket	pTermToPacketHashtable.putPacket(jTerm t, ubc.cs.JLog.Parser.pPacket pp) Associates a term with a packet.

Uses of jTerm in ubc.cs.JLog.Terms

Subclasses of jTerm in ubc.cs.JLog.Terms

class	iPredicate This is the abstract base class for Prolog predicates.
class	jAtom
class	jBinaryBuiltinPredicate
class	jBuiltinPredicate This is the abstract base for builtin predicates.
class	jClause
class	jCommand
class	jCompoundTerm This class represents a collection of terms.
class	jConjunctTerm
class	jCons
class	jDCG
class	jFail
class	jIf
class	jInteger
class	jList
class	jListPair
class	jNaryBuiltinPredicate
class	jNullList
class	jObject This is the term used to reference Java objects.
class	jOr
class	jOrPredicate
class	jPredicate This is the base class for Prolog predicates.
class	jPredicateTerms This class represents a collection of predicates.
class	jQuadaryBuiltinPredicate
class	jReal
class	jTrinaryBuiltinPredicate
class	jTrue
class	jUnaryBuiltinPredicate
class	jUnify
class	jVariable This is the class for Prolog variables.

Fields in ubc.cs.JLog.Terms declared as jTerm

protected jTerm	jVariable.bound
protected jTerm	jListPair.head
protected jTerm	jBinaryBuiltinPredicate.lhs
protected jTerm	jConjunctTerm.lhs
protected jTerm	jBinaryBuiltinPredicate.rhs
protected jTerm	jCommand.rhs
protected jTerm	jConjunctTerm.rhs
protected jTerm	jUnaryBuiltinPredicate.rhs
protected jTerm	jListPair.tail
protected jTerm	InvalidDCGFormException.term
protected jTerm	PredicateExpectedException.term
jTerm	jDCG.dcgTerminalPredicateUpdate.term
protected jTerm	jQuadaryBuiltinPredicate.term1
protected jTerm	jTrinaryBuiltinPredicate.term1
protected jTerm	jQuadaryBuiltinPredicate.term2
protected jTerm	jTrinaryBuiltinPredicate.term2
protected jTerm	jQuadaryBuiltinPredicate.term3
protected jTerm	jTrinaryBuiltinPredicate.term3
protected jTerm	jQuadaryBuiltinPredicate.term4

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

jTerm	jTerm.copy() Public member function which creates a copy of this term.
jTerm	iTerm.copy() Public member function which creates a copy of this term.
jTerm	jBuiltinPredicate.copy(jVariableRegistry vars)
jTerm	jNullList.copy(jVariableRegistry vars)
jTerm	jBinaryBuiltinPredicate.copy(jVariableRegistry vars)
jTerm	jReal.copy(jVariableRegistry vars)
jTerm	jAtom.copy(jVariableRegistry vars)
jTerm	jCommand.copy(jVariableRegistry vars)
jTerm	jCompoundTerm.copy(jVariableRegistry vars)
jTerm	jListPair.copy(jVariableRegistry vars)
jTerm	jOrPredicate.copy(jVariableRegistry vars)
jTerm	jVariable.copy(jVariableRegistry vars)
abstract jTerm	jTerm.copy(jVariableRegistry vars) Internal member function which creates a copy of this term.
jTerm	jPredicateTerms.copy(jVariableRegistry vars)
jTerm	jPredicate.copy(jVariableRegistry vars)
jTerm	jNaryBuiltinPredicate.copy(jVariableRegistry vars)
jTerm	iTerm.copy(jVariableRegistry vars) Internal member function which creates a copy of this term.
jTerm	jQuadaryBuiltinPredicate.copy(jVariableRegistry vars)
jTerm	jTrinaryBuiltinPredicate.copy(jVariableRegistry vars)
jTerm	jInteger.copy(jVariableRegistry vars)
jTerm	jConjunctTerm.copy(jVariableRegistry vars)
jTerm	jObject.copy(jVariableRegistry vars)
jTerm	jUnaryBuiltinPredicate.copy(jVariableRegistry vars)
jTerm	jTermTranslation.createTermFromObject(Object obj)
jTerm	iObjectToTerm.createTermFromObject(Object obj) Create a corresponding Prolog representation of the given object.
jTerm	jTermTranslation.createTermFromObject(Object obj, Object key)
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)
jTerm	jCompoundTerm.elementAt(int index)
jTerm	jListPair.getHead()
jTerm	jBinaryBuiltinPredicate.getLHS()
jTerm	jConjunctTerm.getLHS()
jTerm	jBinaryBuiltinPredicate.getRHS()
jTerm	jCommand.getRHS()
jTerm	jConjunctTerm.getRHS()
jTerm	jUnaryBuiltinPredicate.getRHS()
jTerm	jListPair.getTail()
jTerm	jVariable.getTerm()
jTerm	InvalidDCGFormException.getTerm()
jTerm	jTerm.getTerm() Returns the non-evaluated jTerm representation of this term.
jTerm	PredicateExpectedException.getTerm()
jTerm	iTerm.getTerm() Returns the non-evaluated jTerm representation of this term.
jTerm	jQuadaryBuiltinPredicate.getTerm1()
jTerm	jTrinaryBuiltinPredicate.getTerm1()
jTerm	jQuadaryBuiltinPredicate.getTerm2()
jTerm	jTrinaryBuiltinPredicate.getTerm2()
jTerm	jQuadaryBuiltinPredicate.getTerm3()
jTerm	jTrinaryBuiltinPredicate.getTerm3()
jTerm	jQuadaryBuiltinPredicate.getTerm4()
jTerm	jNaryBuiltinPredicate.getTermAt(int i)
jTerm	jListPair.getValue()
jTerm	jVariable.getValue()
jTerm	jTerm.getValue()
jTerm	iValue.getValue() Return the value of this object after.
jTerm	iTerm.getValue()
protected jTerm	jDCG.makeDCGBase(jTerm S0, jTerm SN)
protected jTerm	jDCG.makeDCGBaseTerm(jTerm r, Vector pr)
jTerm	jDCG.makeDCGTerm()
jTerm	jDCG.makeDCGTerm(jTerm S, jTerm E)
jTerm	iMakeUnmake.unmake() Produce a jTerm equivalent to this object.
jTerm	jCompoundTerm.unmake() Creates a jCons separated jTerms to represent this jCompoundTerm.
jTerm	jOrPredicate.unmake()
jTerm	jPredicateTerms.unmake() Creates a jCons and/or jOr separated jTerms to represent this jPredicateTerms.
jTerm	jCompoundTerm.unmakeCompoundTerm() Creates a jCons separated jTerms to represent this jCompoundTerm.
jTerm	jOrPredicate.unmakeOrPredicate()
jTerm	jPredicateTerms.unmakePredicateTerms() Creates a jCons and/or jOr separated jTerms to represent this jPredicateTerms.

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

void	jCompoundTerm.addTerm(jTerm t)
void	jPredicateTerms.addTerm(jTerm t)
void	jPredicate.addTerm(jTerm t)
protected jPredicate	jDCG.adjustPredicate(jPredicate src, jTerm t2, jTerm t3)
protected jListPair	jDCG.adjustTerminalList(jListPair src, jTerm SN)
int	jTerm.compare(jTerm term, boolean var_equal) The public interface for term comparision, it calls the protected compare that sub-classes must override.
int	iTerm.compare(jTerm term, boolean var_equal) The public interface for term comparision, it calls the protected compare that sub-classes must override.
protected int	jNullList.compare(jTerm term, boolean first_call, boolean var_equal)
protected int	jReal.compare(jTerm term, boolean first_call, boolean var_equal)
int	jCommand.compare(jTerm term, boolean first_call, boolean var_equal)
int	jCompoundTerm.compare(jTerm term, boolean first_call, boolean var_equal)
protected int	jListPair.compare(jTerm term, boolean first_call, boolean var_equal)
protected int	jVariable.compare(jTerm term, boolean first_call, boolean var_equal)
protected abstract int	jTerm.compare(jTerm term, boolean first_call, boolean var_equal) The private member function for term comparision.
protected int	iPredicate.compare(jTerm term, boolean first_call, boolean var_equal)
protected int	jInteger.compare(jTerm term, boolean first_call, boolean var_equal)
protected int	jConjunctTerm.compare(jTerm term, boolean first_call, boolean var_equal)
protected int	jObject.compare(jTerm term, boolean first_call, boolean var_equal)
Object	jTermTranslation.createObjectFromTerm(jTerm term)
Object	iTermToObject.createObjectFromTerm(jTerm term) Create a corresponding Java object representation from the given Prolog term.
Object	jTermTranslation.createObjectFromTerm(jTerm term, Object key)
protected abstract jUnaryBuiltinPredicate	jUnaryBuiltinPredicate.duplicate(jTerm r)
jConjunctTerm	jIf.duplicate(jTerm l, jTerm r)
protected abstract jBinaryBuiltinPredicate	jBinaryBuiltinPredicate.duplicate(jTerm l, jTerm r)
protected jBinaryBuiltinPredicate	jClause.duplicate(jTerm l, jTerm r)
jBinaryBuiltinPredicate	jUnify.duplicate(jTerm l, jTerm r)
jConjunctTerm	jOr.duplicate(jTerm l, jTerm r)
jBinaryBuiltinPredicate	jDCG.duplicate(jTerm l, jTerm r)
jConjunctTerm	jCons.duplicate(jTerm l, jTerm r)
protected abstract jConjunctTerm	jConjunctTerm.duplicate(jTerm l, jTerm r)
protected abstract jTrinaryBuiltinPredicate	jTrinaryBuiltinPredicate.duplicate(jTerm t1, jTerm t2, jTerm t3)
protected abstract jQuadaryBuiltinPredicate	jQuadaryBuiltinPredicate.duplicate(jTerm t1, jTerm t2, jTerm t3, jTerm t4)
boolean	jBuiltinPredicate.equivalence(jTerm term, jEquivalenceMapping v)
boolean	jNullList.equivalence(jTerm term, jEquivalenceMapping v)
boolean	jReal.equivalence(jTerm term, jEquivalenceMapping v)
boolean	jAtom.equivalence(jTerm term, jEquivalenceMapping v)
boolean	jCommand.equivalence(jTerm term, jEquivalenceMapping v)
boolean	jCompoundTerm.equivalence(jTerm term, jEquivalenceMapping v)
boolean	jListPair.equivalence(jTerm term, jEquivalenceMapping v)
boolean	jOrPredicate.equivalence(jTerm term, jEquivalenceMapping v)
boolean	jVariable.equivalence(jTerm term, jEquivalenceMapping v)
abstract boolean	jTerm.equivalence(jTerm term, jEquivalenceMapping v)
boolean	jPredicate.equivalence(jTerm term, jEquivalenceMapping v)
boolean	iTerm.equivalence(jTerm term, jEquivalenceMapping v) The public interface for evaluating term equivalence (i.e., structural similarity).
boolean	jInteger.equivalence(jTerm term, jEquivalenceMapping v)
boolean	jConjunctTerm.equivalence(jTerm term, jEquivalenceMapping v)
boolean	jObject.equivalence(jTerm term, jEquivalenceMapping v)
protected jPredicate	jClause.getPredicate(jTerm t)
boolean	jCompoundTerm.hasTerm(jTerm t)
protected boolean	jCompoundTerm.isHigherPriorityOperator(jTerm t) Determines if provided jTerm is of higher priority than ','.
void	iMakeUnmake.make(jTerm t) Make this object equivalent to jTerm.
void	jCompoundTerm.make(jTerm t) Makes this a representation of the provided jTerm.
void	jOrPredicate.make(jTerm t)
void	jPredicateTerms.make(jTerm t) Makes this a representation of the provided jTerm, which may include conjunction and disjunction operators.
void	jCompoundTerm.makeCompoundTerm(jTerm t) Add jCons separated jTerms to this jCompoundTerm.
protected void	jPredicateTerms.makeConsPredicateTerms(jTerm term) Add jCons separated jTerms to this jPredicateTerms instance.
protected jTerm	jDCG.makeDCGBase(jTerm S0, jTerm SN)
protected void	jDCG.makeDCGBaseCompoundTerm(jTerm r, jCompoundTerm terms, Vector pr)
protected jTerm	jDCG.makeDCGBaseTerm(jTerm r, Vector pr)
protected jPredicate	jDCG.makeDCGHead(jTerm S0, jTerm SN)
jTerm	jDCG.makeDCGTerm(jTerm S, jTerm E)
protected jPredicate	jDCG.makeDCGTERMINAL(jTerm t, Vector pr)
void	jOrPredicate.makeOrPredicate(jTerm t)
protected void	jPredicateTerms.makeOrPredicateTerms(jOrPredicate orpred, jTerm term) Add jOr separated jTerms to the provided jOrPredicate.
void	jPredicateTerms.makePredicateTerms(jTerm t) Add jCons and jOr separated jTerms to this jPredicateTerms.
void	jCompoundTerm.mutateElementAt(int index, jTerm term) Mutates a term element in the compount term.
void	jCompoundTerm.removeTerm(jTerm t)
void	jPredicateTerms.removeTerm(jTerm t)
void	jPredicate.removeTerm(jTerm t)
void	jVariable.setBinding(jTerm b)
void	jListPair.setHead(jTerm h)
void	jUnify.setLHS(jTerm l)
void	jConjunctTerm.setLHS(jTerm l)
void	jListPair.setNode(jTerm h, jTerm t)
void	jUnify.setRHS(jTerm r)
void	jConjunctTerm.setRHS(jTerm r)
void	jListPair.setTail(jTerm t)
protected void	jClause.throwError(jTerm t)
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 void	jDCG.updateDCGPredicateRegistry(Vector pr, jTerm S, jTerm E, jDCG.dcgVariableGenerator g)
void	jDCG.iPredicateUpdate.updatePredicate(jTerm S, jTerm E)
void	jDCG.dcgPredicateUpdate.updatePredicate(jTerm S, jTerm E)
void	jDCG.dcgTerminalPredicateUpdate.updatePredicate(jTerm S, jTerm E)
void	jDCG.dcgUnifyPredicateUpdate.updatePredicate(jTerm S, jTerm E)

Constructors in ubc.cs.JLog.Terms with parameters of type jTerm

InvalidDCGFormException(jTerm t)

InvalidDCGFormException(String s, jTerm t)

jBinaryBuiltinPredicate(jTerm l, jTerm r, int t)

jClause(jTerm l, jTerm r)

jCommand(jTerm r)

jConjunctTerm(jTerm l, jTerm r)

jCons(jTerm l, jTerm r)

jDCG.dcgTerminalPredicateUpdate(jPredicate p, jTerm t)

jDCG(jTerm r)

jDCG(jTerm l, jTerm r)

jIf(jTerm l, jTerm r)

jListPair(jTerm h, jTerm t)

jOr(jTerm l, jTerm r)

jQuadaryBuiltinPredicate(jTerm t1, jTerm t2, jTerm t3, jTerm t4, int t)

jTrinaryBuiltinPredicate(jTerm t1, jTerm t2, jTerm t3, int t)

jUnaryBuiltinPredicate(jTerm r, int t)

jUnify(jTerm l, jTerm r)

PredicateExpectedException(jTerm t)

PredicateExpectedException(String s, jTerm t)

Uses of jTerm in ubc.cs.JLog.Terms.Entries

Methods in ubc.cs.JLog.Terms.Entries that return jTerm

jTerm	pOrOperatorEntry.createOperator(jTerm l, jTerm r)
jTerm	pDCGOperatorEntry.createOperator(jTerm l, jTerm r)
jTerm	pCommandOperatorEntry.createOperator(jTerm l, jTerm r)
jTerm	pConsOperatorEntry.createOperator(jTerm l, jTerm r)
jTerm	pIfOperatorEntry.createOperator(jTerm l, jTerm r)

Methods in ubc.cs.JLog.Terms.Entries with parameters of type jTerm

jTerm	pOrOperatorEntry.createOperator(jTerm l, jTerm r)
jTerm	pDCGOperatorEntry.createOperator(jTerm l, jTerm r)
jTerm	pCommandOperatorEntry.createOperator(jTerm l, jTerm r)
jTerm	pConsOperatorEntry.createOperator(jTerm l, jTerm r)
jTerm	pIfOperatorEntry.createOperator(jTerm l, jTerm r)

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

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

jTerm	jClauseGoal.lhs
jTerm	jClauseGoal.rhs
jTerm	jTrinaryBuiltinPredicateGoal.term1
jTerm	jUnaryBuiltinPredicateGoal.term1
jTerm	jBinaryBuiltinPredicateGoal.term1
jTerm	jQuadaryBuiltinPredicateGoal.term1
jTerm	jTrinaryBuiltinPredicateGoal.term2
jTerm	jBinaryBuiltinPredicateGoal.term2
jTerm	jQuadaryBuiltinPredicateGoal.term2
jTerm	jTrinaryBuiltinPredicateGoal.term3
jTerm	jQuadaryBuiltinPredicateGoal.term3
jTerm	jQuadaryBuiltinPredicateGoal.term4

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

jBinaryBuiltinPredicateGoal(jBinaryBuiltinPredicate p, jTerm l, jTerm r)

jClauseGoal(jClause c, jTerm l, jTerm r)

jQuadaryBuiltinPredicateGoal(jQuadaryBuiltinPredicate p, jTerm t1, jTerm t2, jTerm t3, jTerm t4)

jTrinaryBuiltinPredicateGoal(jTrinaryBuiltinPredicate p, jTerm t1, jTerm t2, jTerm t3)

jUnaryBuiltinPredicateGoal(jUnaryBuiltinPredicate p, jTerm t)