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

Thread(): Duplication

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

Specification: Defines a thread handle t bound to the same thread as s. If s is not bound to any thread, t is also unbound.

Note: This definition is more efficient than the otherwise equivalent form

Thread<R> t = s
Author: Wolfgang Schreiner
Last Modification: April 12, 1997