|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use iPredicate | |
|---|---|
| ubc.cs.JLog.Builtins | |
| ubc.cs.JLog.Builtins.Entries | |
| ubc.cs.JLog.Parser | |
| ubc.cs.JLog.Terms | |
| ubc.cs.JLog.Terms.Entries | |
| Uses of iPredicate in ubc.cs.JLog.Builtins |
|---|
| Uses of iPredicate in ubc.cs.JLog.Builtins.Entries |
|---|
| Methods in ubc.cs.JLog.Builtins.Entries that return iPredicate | |
|---|---|
iPredicate |
pCallPredicateEntry.createPredicate(jCompoundTerm cterm)
|
| Uses of iPredicate in ubc.cs.JLog.Parser |
|---|
| Methods in ubc.cs.JLog.Parser that return iPredicate | |
|---|---|
iPredicate |
pPredicateEntry.createPredicate()
Public interface for generating the real prolog term objects. |
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. |
| Uses of iPredicate in ubc.cs.JLog.Terms |
|---|
| Subclasses of iPredicate in ubc.cs.JLog.Terms | |
|---|---|
class |
jAtom
|
class |
jBinaryBuiltinPredicate
|
class |
jBuiltinPredicate
This is the abstract base for builtin predicates. |
class |
jClause
|
class |
jDCG
|
class |
jFail
|
class |
jNaryBuiltinPredicate
|
class |
jOrPredicate
|
class |
jPredicate
This is the base class for Prolog predicates. |
class |
jQuadaryBuiltinPredicate
|
class |
jTrinaryBuiltinPredicate
|
class |
jTrue
|
class |
jUnaryBuiltinPredicate
|
class |
jUnify
|
| Fields in ubc.cs.JLog.Terms declared as iPredicate | |
|---|---|
protected iPredicate |
UnknownPredicateException.predicate
|
| Methods in ubc.cs.JLog.Terms that return iPredicate | |
|---|---|
iPredicate |
UnknownPredicateException.getPredicate()
|
| Methods in ubc.cs.JLog.Terms with parameters of type iPredicate | |
|---|---|
void |
jPredicateTerms.addPredicate(iPredicate p)
|
protected int |
jBuiltinPredicate.compareArguments(iPredicate ipred,
boolean first_call,
boolean var_equal)
Compares predicate aguments. |
protected int |
jBinaryBuiltinPredicate.compareArguments(iPredicate ipred,
boolean first_call,
boolean var_equal)
|
protected int |
jAtom.compareArguments(iPredicate ipred,
boolean first_call,
boolean var_equal)
|
protected int |
jOrPredicate.compareArguments(iPredicate ipred,
boolean first_call,
boolean var_equal)
|
protected abstract int |
iPredicate.compareArguments(iPredicate ipred,
boolean first_call,
boolean var_equal)
Compares the arguments for predicates. |
protected int |
jPredicate.compareArguments(iPredicate ipred,
boolean first_call,
boolean var_equal)
|
protected int |
jNaryBuiltinPredicate.compareArguments(iPredicate ipred,
boolean first_call,
boolean var_equal)
|
protected int |
jQuadaryBuiltinPredicate.compareArguments(iPredicate ipred,
boolean first_call,
boolean var_equal)
|
protected int |
jTrinaryBuiltinPredicate.compareArguments(iPredicate ipred,
boolean first_call,
boolean var_equal)
|
protected int |
jUnaryBuiltinPredicate.compareArguments(iPredicate ipred,
boolean first_call,
boolean var_equal)
|
void |
jPredicateTerms.removePredicate(iPredicate p)
|
| Constructors in ubc.cs.JLog.Terms with parameters of type iPredicate | |
|---|---|
UnknownPredicateException(iPredicate p)
|
|
UnknownPredicateException(String s,
iPredicate p)
|
|
| Uses of iPredicate in ubc.cs.JLog.Terms.Entries |
|---|
| Methods in ubc.cs.JLog.Terms.Entries that return iPredicate | |
|---|---|
iPredicate |
pDCGPredicateEntry.createPredicate(jCompoundTerm cterm)
|
iPredicate |
pOrPredicateEntry.createPredicate(jCompoundTerm cterm)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||