Go up to General
Go forward to Null(): Test for Unbound Thread

init(): Unbinding a Threads

t.init()
      Thread<R> t
      Threadn<R, A_1, ..., A_n> t

Specification: Resolves any binding of t.

Complexity: O(1).


Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: main.tex,v 1.10 1996/04/04 11:45:47 schreine Exp

Up Next