public class EngineRunner extends Object implements Serializable, 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 |
clearSinfoSetOf() |
void |
detach() |
Term |
getBagOFBag() |
Term |
getBagOFgoal() |
ArrayList<Term> |
getBagOFres() |
ArrayList<String> |
getBagOFresString() |
Term |
getBagOFvarSet() |
EngineManager |
getEngineMan() |
int |
getId() |
boolean |
getMsg(Term t) |
int |
getPid() |
boolean |
getRelinkVar() |
String |
getSetOfSolution() |
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 |
setBagOFBag(Term l) |
void |
setBagOFgoal(Term l) |
void |
setBagOFres(ArrayList<Term> l) |
void |
setBagOFresString(ArrayList<String> l) |
void |
setBagOFvarSet(Term l) |
void |
setGoal(Term goal) |
void |
setRelinkVar(boolean b) |
void |
setSetOfSolution(String s) |
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 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 boolean getRelinkVar()
public void setRelinkVar(boolean b)
public Term getBagOFvarSet()
public void setBagOFvarSet(Term l)
public Term getBagOFgoal()
public void setBagOFgoal(Term l)
public Term getBagOFBag()
public void setBagOFBag(Term l)
public EngineManager getEngineMan()
public String getSetOfSolution()
public void setSetOfSolution(String s)
public void clearSinfoSetOf()