|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--se.sics.jasper.SPPredicate
The SPPredicate class represents a predicate reference.
SICStus.query(se.sics.jasper.SPPredicate, se.sics.jasper.SPTerm[])
,
SICStus.queryCutFail(se.sics.jasper.SPPredicate, se.sics.jasper.SPTerm[])
,
SICStus.openQuery(se.sics.jasper.SPPredicate, se.sics.jasper.SPTerm[])
Constructor Summary | |
SPPredicate(SICStus sp,
SPCanonicalAtom name,
int arity,
SPCanonicalAtom module)
Creates a predicate reference given the predicate name and modules as canonical atoms, which is faster than using strings. |
|
SPPredicate(SICStus sp,
java.lang.String name,
int arity,
java.lang.String module)
Creates a predicate reference. |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
Constructor Detail |
public SPPredicate(SICStus sp, java.lang.String name, int arity, java.lang.String module) throws SPException
sp
- A reference to the SICStus object to which this
predicate belongs to.functor
- The predicate's functor.public SPPredicate(SICStus sp, SPCanonicalAtom name, int arity, SPCanonicalAtom module) throws SPException
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |