se.sics.jasper
Class SPPredicate

java.lang.Object
  |
  +--se.sics.jasper.SPPredicate

public class SPPredicate
extends java.lang.Object

The SPPredicate class represents a predicate reference.

See Also:
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

SPPredicate

public SPPredicate(SICStus sp,
                   java.lang.String name,
                   int arity,
                   java.lang.String module)
            throws SPException
Creates a predicate reference.
Parameters:
sp - A reference to the SICStus object to which this predicate belongs to.
functor - The predicate's functor.
Throws:
SPException - The predicate reference could not be created. The usual cause for this is that the predicate is not defined.
IllegalCallerException -  

SPPredicate

public SPPredicate(SICStus sp,
                   SPCanonicalAtom name,
                   int arity,
                   SPCanonicalAtom module)
            throws SPException
Creates a predicate reference given the predicate name and modules as canonical atoms, which is faster than using strings.