|
|||||||||
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.Extras.FileSystem.pFSisFilePredicateEntry
public class pFSisFilePredicateEntry
Field Summary |
---|
Fields inherited from class ubc.cs.JLog.Parser.pPredicateEntry |
---|
arity, library, name, NARY_ARITY |
Constructor Summary | |
---|---|
pFSisFilePredicateEntry()
|
Method Summary | |
---|---|
iPredicate |
createPredicate(jCompoundTerm cterm)
The internal method for creating the iPredicate representation of this
predicate representation. |
Methods inherited from class ubc.cs.JLog.Parser.pPredicateEntry |
---|
createPredicate, createPredicate, getArity, getLibrary, getName, isArity, sameLibrary, setLibrary, toString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public pFSisFilePredicateEntry()
Method Detail |
---|
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 |