public class EngineManager
extends java.lang.Object
implements java.io.Serializable
Constructor and Description |
---|
EngineManager() |
Modifier and Type | Method and Description |
---|---|
boolean |
createLock(java.lang.String name) |
boolean |
createQueue(java.lang.String name) |
void |
destroyLock(java.lang.String name) |
void |
destroyQueue(java.lang.String name) |
void |
detach(int id) |
Engine |
getEnv() |
boolean |
getMsg(int id,
Term msg) |
boolean |
getMsg(java.lang.String name,
Term msg) |
boolean |
hasNext(int id) |
void |
identify(Term t) |
void |
initialize(Prolog vm) |
boolean |
isLocked(java.lang.String name) |
SolveInfo |
join(int id) |
boolean |
mutexLock(java.lang.String name) |
boolean |
mutexTryLock(java.lang.String name) |
boolean |
mutexUnlock(java.lang.String name) |
boolean |
nextSolution(int id) |
boolean |
peekMsg(int id,
Term msg) |
boolean |
peekMsg(java.lang.String name,
Term msg) |
int |
queueSize(int id) |
int |
queueSize(java.lang.String name) |
SolveInfo |
read(int id) |
boolean |
removeMsg(int id,
Term msg) |
boolean |
removeMsg(java.lang.String name,
Term msg) |
int |
runnerId() |
boolean |
sendMsg(int dest,
Term msg) |
boolean |
sendMsg(java.lang.String name,
Term msg) |
void |
serializeQueryState(AbstractEngineState brain) |
SolveInfo |
solve(Term query) |
void |
solveEnd() |
void |
solveHalt() |
SolveInfo |
solveNext() |
boolean |
threadCreate(Term threadID,
Term goal) |
void |
unlockAll() |
boolean |
waitMsg(int id,
Term msg) |
boolean |
waitMsg(java.lang.String name,
Term msg) |
public void initialize(Prolog vm)
public SolveInfo join(int id)
public SolveInfo read(int id)
public boolean hasNext(int id)
public boolean nextSolution(int id)
public void detach(int id)
public boolean sendMsg(int dest, Term msg)
public boolean sendMsg(java.lang.String name, Term msg)
public boolean getMsg(int id, Term msg)
public boolean getMsg(java.lang.String name, Term msg)
public boolean waitMsg(int id, Term msg)
public boolean waitMsg(java.lang.String name, Term msg)
public boolean peekMsg(int id, Term msg)
public boolean peekMsg(java.lang.String name, Term msg)
public boolean removeMsg(int id, Term msg)
public boolean removeMsg(java.lang.String name, Term msg)
public void solveEnd()
public void solveHalt()
public SolveInfo solveNext() throws NoMoreSolutionException
NoMoreSolutionException
public int runnerId()
public boolean createQueue(java.lang.String name)
public void destroyQueue(java.lang.String name)
public int queueSize(int id)
public int queueSize(java.lang.String name)
public boolean createLock(java.lang.String name)
public void destroyLock(java.lang.String name)
public boolean mutexLock(java.lang.String name)
public boolean mutexTryLock(java.lang.String name)
public boolean mutexUnlock(java.lang.String name)
public boolean isLocked(java.lang.String name)
public void unlockAll()
public Engine getEnv()
public void identify(Term t)
public void serializeQueryState(AbstractEngineState brain)