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

Packages that use jCompoundTerm

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 jCompoundTerm in ubc.cs.JLog.Builtins

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

jCallN(jCompoundTerm c)

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

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

iPredicate

pCallPredicateEntry.createPredicate(jCompoundTerm cterm)

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

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

jCallNGoal(jCompoundTerm c)

Uses of jCompoundTerm in ubc.cs.JLog.Foundation

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

void	jVariableVector.appendVariables(jCompoundTerm ct)
jPredicateGoal	jDynamicRuleDefinitions.createGoal(jCompoundTerm t)
jPredicateGoal	jRuleDefinitions.createGoal(jCompoundTerm t)
jTerm	jRule.getUnifiedBase(jCompoundTerm input_goal, jUnifiedVector unified) Test if rule head will unify.

Uses of jCompoundTerm in ubc.cs.JLog.Parser

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

iPredicate	pGenericPredicateEntry.createPredicate(jCompoundTerm cterm)
abstract iPredicate	pPredicateEntry.createPredicate(jCompoundTerm cterm) The internal method for creating the iPredicate representation of this predicate representation.
iPredicate	pPredicateEntry.createPredicate(ubc.cs.JLog.Parser.pToken pt, jCompoundTerm cterm) Public interface for generating the real prolog term objects.
protected Object[]	pGenericPredicateEntry.getConstructorArgsArray(jCompoundTerm cterm)

Uses of jCompoundTerm in ubc.cs.JLog.Terms

Subclasses of jCompoundTerm in ubc.cs.JLog.Terms

class

jPredicateTerms This class represents a collection of predicates.

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

protected static jCompoundTerm	jAtom.arguments
protected jCompoundTerm	jPredicate.arguments
protected jCompoundTerm	jNaryBuiltinPredicate.arguments

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

jCompoundTerm	jPredicate.duplicateArguments(jVariable[] vars)
jCompoundTerm	jBinaryBuiltinPredicate.getArguments()
jCompoundTerm	jAtom.getArguments()
jCompoundTerm	jOrPredicate.getArguments()
jCompoundTerm	iPredicate.getArguments() Accessor for the arguments for this predicate.
jCompoundTerm	jPredicate.getArguments()
jCompoundTerm	jNaryBuiltinPredicate.getArguments() The arugments for this predicate.
jCompoundTerm	jQuadaryBuiltinPredicate.getArguments()
jCompoundTerm	jTrinaryBuiltinPredicate.getArguments()
jCompoundTerm	jUnaryBuiltinPredicate.getArguments()
protected jCompoundTerm	jDCG.makeCompoundTerm(jCompoundTerm t)

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

void	jCompoundTerm.copyCompoundTerm(jCompoundTerm ct) Makes this a copy of the provided jCompoundTerm.
protected abstract jNaryBuiltinPredicate	jNaryBuiltinPredicate.duplicate(jCompoundTerm args)
boolean	jPredicate.equivalenceArguments(jCompoundTerm term, jEquivalenceMapping v)
void	jCompoundTerm.intersectionCompoundTerm(jCompoundTerm ct) Adds all jTerms in given jCompoundTerm to this.
protected jCompoundTerm	jDCG.makeCompoundTerm(jCompoundTerm t)
protected void	jDCG.makeDCGBaseCompoundTerm(jTerm r, jCompoundTerm terms, Vector pr)
protected void	jDCG.makeDCGConsList(jListPair src, jCompoundTerm terms, Vector pr)
void	jCompoundTerm.subtractCompoundTerm(jCompoundTerm ct) Removes all jTerms in given jCompoundTerm from this.
boolean	jPredicate.unifyArguments(jCompoundTerm term, jUnifiedVector v)
void	jCompoundTerm.unionCompoundTerm(jCompoundTerm ct) Removes all jTerms not in given jCompoundTerm from this.

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

jNaryBuiltinPredicate(jCompoundTerm args, int t)
jNaryBuiltinPredicate constructor.

jPredicate(String n, jCompoundTerm args)
jPredicate constructor.

jPredicate(String n, jCompoundTerm args, int ar, jRuleDefinitions crds)

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

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

iPredicate	pDCGPredicateEntry.createPredicate(jCompoundTerm cterm)
iPredicate	pOrPredicateEntry.createPredicate(jCompoundTerm cterm)

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

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

jCompoundTerm	jNaryBuiltinPredicateGoal.arguments
jCompoundTerm	jPredicateGoal.input_goal
jCompoundTerm	jPredicateGoal.rule_goal

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

jNaryBuiltinPredicateGoal(jNaryBuiltinPredicate p, jCompoundTerm args)

jPredicateGoal(jRuleDefinitions rs, jCompoundTerm in)