Please enable JavaScript.
Coggle requires JavaScript to display documents.
Non Determinism - Coggle Diagram
Non Determinism
Commands
-
SELECT
-
Functions like CHOICE, but only considering operations with true p. ELSE's operation is executed when no p is true.
-
-
ANY
-
x = variable, p = predicate, t = machine command
LET
-
x = variable, e = expression (initial value of x), s = executed operations with x in scope
-