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

Packages that use jPredicateTerms

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

Uses of jPredicateTerms in ubc.cs.JLog.Builtins

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

protected boolean	jAssert.assertPredicate(jPredicate h, jPredicateTerms b, jKnowledgeBase kb, boolean addlast)
protected boolean	jRetract.retractPredicate(jPredicate h, jPredicateTerms b, jKnowledgeBase kb, jUnifiedVector unified)

Uses of jPredicateTerms in ubc.cs.JLog.Foundation

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

protected jPredicateTerms	jRule.base
protected jPredicateTerms	jUserQueryThread.query
protected jPredicateTerms	jAPIQueryThread.query

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

jPredicateTerms

jRule.getBase()

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

boolean	jProver.prove(jPredicateTerms goal) Initiate a proof of the provided goal.
boolean	jDebugProver.prove(jPredicateTerms goal)

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

jRule(jPredicate h, jPredicateTerms b)

Uses of jPredicateTerms in ubc.cs.JLog.Parser

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

jPredicateTerms	pParseStream.parseQuery() Parse the source stream as a query, producing a term representation.
jPredicateTerms	pParseStream.parseQuery(Hashtable assignments) Parse the source stream as a query, producing a term representation.

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

protected void

pParseStream.query(jPredicateTerms q)

Uses of jPredicateTerms in ubc.cs.JLog.Terms

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

jPredicateTerms

jOrPredicate.elementAt(int index)

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

void	jOrPredicate.addPredicateTerms(jPredicateTerms t)
void	jOrPredicate.removePredicateTerms(jPredicateTerms t)

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

jBuiltinRule(jPredicate h, jPredicateTerms b)