The type "ThreadQueue" is defined in /pliant/language/schedule/threads_engine.pli module.


Field Type
first (Pointer ThreadHeader)

Method name
Arguments
Result
add_current_thread
Name
queue
priority
restart_cost
  
Type
ThreadQueue
Int
Int
Access
Arw
Arv
Arv
is_empty
Name
q
  
Type
ThreadQueue
CBool
Access
Ar
AwvR
restart_some_threads
Name
queue
quantity
variable
value
 
Type
ThreadQueue
Int
uInt
uInt
Access
Arw
Arv
Arw
Arv
restart_some_threads
Name
queue
quantity
  
Type
ThreadQueue
Int
Access
Arw
Arv