|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectalice.tuprolog.EngineManager
Field Summary | |
static int |
FALSE
|
static int |
HALT
|
static int |
TRUE
|
static int |
TRUE_CP
|
Constructor Summary | |
EngineManager()
|
Method Summary | |
SolveInfo |
solve(Term query)
Solves a query |
void |
solveEnd()
Accepts current solution |
void |
solveHalt()
Halts current solve computation |
SolveInfo |
solveNext()
Gets next solution |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final int HALT
public static final int FALSE
public static final int TRUE
public static final int TRUE_CP
Constructor Detail |
public EngineManager()
Method Detail |
public SolveInfo solve(Term query)
SolveInfo
public SolveInfo solveNext() throws NoMoreSolutionException
NoMoreSolutionException
- if no more solutions are presentSolveInfo
public void solveHalt()
public void solveEnd()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |