Methods
Modifier and Type |
Method and Description |
void |
clearSinfoSetOf() |
boolean |
createLock(String name) |
boolean |
createQueue(String name) |
void |
destroyLock(String name) |
void |
destroyQueue(String name) |
void |
detach(int id) |
Term |
getBagOFbag() |
Term |
getBagOFgoal() |
ArrayList<Term> |
getBagOFres() |
ArrayList<String> |
getBagOFresString() |
Term |
getBagOFvarSet() |
boolean |
getMsg(int id,
Term msg) |
boolean |
getMsg(String name,
Term msg) |
boolean |
getRelinkVar() |
String |
getSetOfSolution() |
boolean |
hasNext(int id) |
void |
identify(Term t) |
void |
initialize(Prolog vm) |
boolean |
isLocked(String name) |
SolveInfo |
join(int id) |
boolean |
mutexLock(String name) |
boolean |
mutexTryLock(String name) |
boolean |
mutexUnlock(String name) |
boolean |
nextSolution(int id) |
boolean |
peekMsg(int id,
Term msg) |
boolean |
peekMsg(String name,
Term msg) |
int |
queueSize(int id) |
int |
queueSize(String name) |
SolveInfo |
read(int id) |
boolean |
removeMsg(int id,
Term msg) |
boolean |
removeMsg(String name,
Term msg) |
int |
runnerId() |
boolean |
sendMsg(int dest,
Term msg) |
boolean |
sendMsg(String name,
Term msg) |
void |
setBagOFbag(Term l) |
void |
setBagOFgoal(Term l) |
void |
setBagOFres(ArrayList<Term> l) |
void |
setBagOFresString(ArrayList<String> l) |
void |
setBagOFvarSet(Term l) |
void |
setRelinkVar(boolean b) |
void |
setSetOfSolution(String s) |
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(String name,
Term msg) |