RT++ --- Tutorial and Reference Manual -- \code{Null()}: Test for Unbound Thread

$\"\"$ $\"\"$ $\"\"$
Go backward to init(): Unbinding a Threads
Go up to General
Go forward to Thread(): Duplication

`Null()`: Test for Unbound Thread

empty = Null(t)
      int empty
      Thread<R> t
empty = Null(t)
      int empty
      Thread $n$ <R, A₁, ..., A_n> t

Specification: Returns 1 if t is not bound to any thread and 1 else.

Complexity: $O(1)$ .

Author: Wolfgang Schreiner
Last Modification: April 12, 1997

Null(): Test for Unbound Thread

`Null()`: Test for Unbound Thread