
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