|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--se.sics.jasper.SPQuery
This class is used for holding a query-reference which is used to find multiple solutions to a query. This class is never instantiated explicitly by the user.
SICStus.openQuery(se.sics.jasper.SPPredicate, se.sics.jasper.SPTerm[])
Method Summary | |
void |
close()
Closes a query. |
void |
cut()
Discard choices made since this query object was created, like the goal ! . |
boolean |
nextSolution()
Gets the next solution for the query. |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
Method Detail |
public void close() throws IllegalCallerException
If you need to keep data created by the query (i.e. data referred to by SPTerm objects), you need to convert it to Java datatypes before calling this function.
public boolean nextSolution() throws SPException
false
when there are no more solutions. When no
more solutions are needed, the query must be closed using the
method close()
. Multiple queries can be open at the same time, but the calls to nextSolution must be nested, i.e. refer to the most recently opened query.
close()
public void cut() throws SPException
!
.
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |