public class ThreadLibrary extends Library
Modifier and Type | Field and Description |
---|---|
protected EngineManager |
engineManager |
Constructor and Description |
---|
ThreadLibrary() |
Modifier and Type | Method and Description |
---|---|
String |
getTheory()
Gets the theory provided with the library
Empty theory is provided by default.
|
boolean |
msg_queue_create_1(Term q) |
boolean |
msg_queue_destroy_1(Term q) |
boolean |
msg_queue_size_2(Term id,
Term n) |
boolean |
mutex_create_1(Term mutex) |
boolean |
mutex_destroy_1(Term mutex) |
boolean |
mutex_isLocked_1(Term mutex) |
boolean |
mutex_lock_1(Term mutex) |
boolean |
mutex_trylock_1(Term mutex) |
boolean |
mutex_unlock_1(Term mutex) |
boolean |
mutex_unlock_all_0() |
void |
setEngine(Prolog en) |
boolean |
thread_create_2(Term id,
Term goal) |
boolean |
thread_detach_1(Term id) |
boolean |
thread_get_msg_2(Term id,
Term msg) |
boolean |
thread_has_next_1(Term id) |
boolean |
thread_id_1(Term t) |
boolean |
thread_join_2(Term id,
Term result) |
boolean |
thread_next_sol_1(Term id) |
boolean |
thread_peek_msg_2(Term id,
Term msg) |
boolean |
thread_read_2(Term id,
Term result) |
boolean |
thread_remove_msg_2(Term id,
Term msg) |
boolean |
thread_send_msg_2(Term id,
Term msg) |
boolean |
thread_sleep_1(Term millisecs) |
boolean |
thread_wait_msg_2(Term id,
Term msg) |
dismiss, evalExpression, getEngine, getName, getPrimitives, getSynonymMap, getTheory, match, onSolveBegin, onSolveEnd, onSolveHalt, unify
protected EngineManager engineManager
public boolean thread_id_1(Term t) throws PrologError
PrologError
public boolean thread_join_2(Term id, Term result) throws PrologError
PrologError
public boolean thread_read_2(Term id, Term result) throws PrologError
PrologError
public boolean thread_has_next_1(Term id) throws PrologError
PrologError
public boolean thread_next_sol_1(Term id) throws PrologError
PrologError
public boolean thread_detach_1(Term id) throws PrologError
PrologError
public boolean thread_sleep_1(Term millisecs) throws PrologError
PrologError
public boolean thread_send_msg_2(Term id, Term msg) throws PrologError
PrologError
public boolean thread_get_msg_2(Term id, Term msg) throws PrologError
PrologError
public boolean thread_peek_msg_2(Term id, Term msg) throws PrologError
PrologError
public boolean thread_wait_msg_2(Term id, Term msg) throws PrologError
PrologError
public boolean thread_remove_msg_2(Term id, Term msg) throws PrologError
PrologError
public boolean msg_queue_create_1(Term q) throws PrologError
PrologError
public boolean msg_queue_destroy_1(Term q) throws PrologError
PrologError
public boolean msg_queue_size_2(Term id, Term n) throws PrologError
PrologError
public boolean mutex_create_1(Term mutex) throws PrologError
PrologError
public boolean mutex_destroy_1(Term mutex) throws PrologError
PrologError
public boolean mutex_lock_1(Term mutex) throws PrologError
PrologError
public boolean mutex_trylock_1(Term mutex) throws PrologError
PrologError
public boolean mutex_unlock_1(Term mutex) throws PrologError
PrologError
public boolean mutex_isLocked_1(Term mutex) throws PrologError
PrologError
public boolean mutex_unlock_all_0()