public class EngineRunner
extends java.lang.Object
implements java.io.Serializable, java.lang.Runnable
Modifier and Type | Field and Description |
---|---|
static int |
FALSE |
static int |
HALT |
static int |
TRUE |
static int |
TRUE_CP |
Constructor and Description |
---|
EngineRunner(int id) |
Modifier and Type | Method and Description |
---|---|
void |
detach() |
EngineManager |
getEngineMan() |
int |
getId() |
boolean |
getMsg(Term t) |
int |
getPid() |
Term |
getQuery() |
SolveInfo |
getSolution() |
boolean |
isDetached() |
int |
msgQSize() |
boolean |
nextSolution() |
boolean |
peekMsg(Term t) |
SolveInfo |
read() |
boolean |
removeMsg(Term t) |
void |
run() |
void |
sendMsg(Term t) |
void |
setGoal(Term goal) |
void |
setSolving(boolean solved) |
SolveInfo |
solve() |
void |
solveEnd()
Accepts current solution
|
void |
solveHalt()
Halts current solve computation
|
SolveInfo |
solveNext() |
boolean |
waitMsg(Term msg) |
public static final int HALT
public static final int FALSE
public static final int TRUE
public static final int TRUE_CP
public void detach()
public boolean isDetached()
public SolveInfo solve()
public SolveInfo solveNext() throws NoMoreSolutionException
NoMoreSolutionException
public void solveHalt()
public void solveEnd()
public void run()
run
in interface java.lang.Runnable
public int getId()
public int getPid()
public SolveInfo getSolution()
public void setGoal(Term goal)
public boolean nextSolution()
public SolveInfo read()
public void setSolving(boolean solved)
public void sendMsg(Term t)
public boolean getMsg(Term t)
public boolean peekMsg(Term t)
public boolean removeMsg(Term t)
public boolean waitMsg(Term msg)
public int msgQSize()
public EngineManager getEngineMan()
public Term getQuery()