\"\" \"\" \"\"
Go up to General
Go forward to Null(): Test for Unbound Thread
RISC-Linz logo

init(): Unbinding a Threads

t.init()
      Thread<R> t
      Threadn<R, A1, ..., An> t

Specification: Resolves any binding of t.

Complexity: O(1).


Author: Wolfgang Schreiner
Last Modification: April 12, 1997