|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectubc.cs.JLog.Parser.pPredicateEntry
ubc.cs.JLog.Builtins.Entries.pCallPredicateEntry
public class pCallPredicateEntry
Field Summary |
---|
Fields inherited from class ubc.cs.JLog.Parser.pPredicateEntry |
---|
arity, library, name, NARY_ARITY |
Constructor Summary | |
---|---|
pCallPredicateEntry()
|
Method Summary | |
---|---|
iPredicate |
createPredicate(jCompoundTerm cterm)
The internal method for creating the iPredicate representation of this
predicate representation. |
boolean |
isArity(int a)
Tests the arity of this entry. |
Methods inherited from class ubc.cs.JLog.Parser.pPredicateEntry |
---|
createPredicate, createPredicate, getArity, getLibrary, getName, sameLibrary, setLibrary, toString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public pCallPredicateEntry()
Method Detail |
---|
public boolean isArity(int a)
pPredicateEntry
isArity
in class pPredicateEntry
a
- The arity to test this entry for.
boolean
which is true if entry can be of this arity.public iPredicate createPredicate(jCompoundTerm cterm)
pPredicateEntry
iPredicate
representation of this
predicate representation. Subclasses must override. The terms are provided, already created.
The caller is responsible to ensure that arity and cterm.size match.
createPredicate
in class pPredicateEntry
cterm
- The collection of jTerm
s.
iPredicate
representing this predicate and its terms.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |