Please enable JavaScript.
Coggle requires JavaScript to display documents.
Nondeterminism - Coggle Diagram
Nondeterminism
Commands
ANY
ANY x WHERE Q THEN T END
Allows an arbitrary choice of a value to x that satisfies the predicate Q and then executes the command T based on that value
-
-
LET
LET it BE it=E IN S END
Declares a local variable it whose initial value is defined by E and executes S with it in its scope
-
-
-
-