|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use pPredicateRegistry | |
|---|---|
| ubc.cs.JLog.Builtins | |
| ubc.cs.JLog.Foundation | |
| ubc.cs.JLog.Parser | |
| Uses of pPredicateRegistry in ubc.cs.JLog.Builtins |
|---|
| Methods in ubc.cs.JLog.Builtins with parameters of type pPredicateRegistry | |
|---|---|
boolean |
jFunctor.prove(jFunctorGoal fg,
pPredicateRegistry pr)
|
boolean |
jTermToList.prove(jTermToListGoal tg,
pPredicateRegistry pr,
pOperatorRegistry or)
|
| Uses of pPredicateRegistry in ubc.cs.JLog.Foundation |
|---|
| Fields in ubc.cs.JLog.Foundation declared as pPredicateRegistry | |
|---|---|
protected pPredicateRegistry |
jPrologServices.predicates
|
| Methods in ubc.cs.JLog.Foundation that return pPredicateRegistry | |
|---|---|
pPredicateRegistry |
jPrologServices.getPredicateRegistry()
|
| Constructors in ubc.cs.JLog.Foundation with parameters of type pPredicateRegistry | |
|---|---|
jPrologServices(jKnowledgeBase kb,
pPredicateRegistry pr,
pOperatorRegistry or)
|
|
| Uses of pPredicateRegistry in ubc.cs.JLog.Parser |
|---|
| Constructors in ubc.cs.JLog.Parser with parameters of type pPredicateRegistry | |
|---|---|
pParseStream(Reader r,
jKnowledgeBase kb,
pPredicateRegistry pr,
pOperatorRegistry or)
|
|
pParseStream(String s,
jKnowledgeBase kb,
pPredicateRegistry pr,
pOperatorRegistry or)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||