meta declarations for thread stuff (from Paulo Moura).
This commit is contained in:
parent
dc4557c707
commit
a055cc4637
@ -16,12 +16,14 @@
|
|||||||
*************************************************************************/
|
*************************************************************************/
|
||||||
|
|
||||||
:- meta_predicate
|
:- meta_predicate
|
||||||
thread_create(:,-,:),
|
thread_initialization(0),
|
||||||
thread_create(:,-),
|
thread_at_exit(0),
|
||||||
thread_create(:),
|
thread_create(0, -, :),
|
||||||
thread_at_exit(:),
|
thread_create(0, -),
|
||||||
thread_signal(+,:),
|
thread_create(0),
|
||||||
with_mutex(+,:),
|
thread_signal(+, 0),
|
||||||
|
with_mutex(+, 0),
|
||||||
|
thread_signal(+,0),
|
||||||
volatile(:).
|
volatile(:).
|
||||||
|
|
||||||
volatile(P) :- var(P),
|
volatile(P) :- var(P),
|
||||||
|
Reference in New Issue
Block a user