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

Packages that use jRuleDefinitions

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

Uses of jRuleDefinitions in ubc.cs.JLog.Foundation

Subclasses of jRuleDefinitions in ubc.cs.JLog.Foundation

class

jDynamicRuleDefinitions This class represents an ordered collection of jRules of the same name and arity.

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

jRuleDefinitions

jKnowledgeBase.getRuleDefinitionsMatch(iNameArity r) Access the set of rules matching the given name and arity.

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

void	jKnowledgeBase.addRuleDefinitions(jRuleDefinitions rds) Use this method to set all the rules for a particular predicate definition at once.

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

jDynamicRuleDefinitions(jRuleDefinitions rd)
Construct dynamic rule based on static rule definitions.

Uses of jRuleDefinitions in ubc.cs.JLog.Terms

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

protected jRuleDefinitions	jAtom.cached_ruledefs
protected jRuleDefinitions	jPredicate.cached_ruledefs

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

jRuleDefinitions	jAtom.getCachedRuleDefinitions()
jRuleDefinitions	jPredicate.getCachedRuleDefinitions()

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

protected void

jPredefined.addRuleDefinitions(jRuleDefinitions rds)

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

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

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

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

protected jRuleDefinitions

jPredicateGoal.rules

Methods in ubc.cs.JLog.Terms.Goals that return jRuleDefinitions

jRuleDefinitions

jPredicateGoal.getRules()

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

jPredicateGoal(jRuleDefinitions rs, jCompoundTerm in)