Next:
User-defined equality and comparison
, Previous:
Unique modes
, Up:
Top
[
Contents
]
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
: