'SUSP-_78-susp' | sleeping suspension with id _78 |
'SUSP-_78-sched' | scheduled suspension with id _78 |
'SUSP-_78-dead' | dead suspension with id _78 |
'SUSP-123-susp' | sleeping suspension with invocation number 123 |
'SUSP-123-sched' | scheduled suspension with invocation number 123 |
'SUSP-123-dead' | dead suspension with id invocation number 123 |
goal
, module
, priority
, state
or invoc
(debugger invocation number).priority
and invoc
(debugger invocation number) fields
of a suspension can be changed using this primitive.
If the priority of a sleeping suspension is changed,
this will only have an effect at the time the suspension gets
scheduled. If the suspension is already scheduled, changing
priority has no effect, except for future schedulings of demons
(see 17.9).inserts the suspension into the instlist of the (system-predefined) suspend attribute of all variables that occur in Vars, andinsert_suspension(Vars, Susp, inst of suspend, suspend)
would insert the suspension into the max list of the finite-domain attribute of all variables in Vars.insert_suspension(Vars, Susp, max of fd, fd)