Next:
User-defined equality and comparison
, Previous:
Unique modes
, Up:
Top
6 Determinism
Determinism categories
Determinism checking and inference
Replacing compile-time checking with run-time checking
Interfacing nondeterministic code with the real world
Committed choice nondeterminism