Please enable JavaScript.

Coggle requires JavaScript to display documents.

Non-determinism - Coggle Diagram

- - - - There is a shortcut to this operation: xx :: S This means a random value of S will be assigned to xx
    - - team :: {tt | tt <: squad and card(tt) = 11}
        
        team is a random subset of squad, which has 11 elements
  - - - Q is a predicate, which types x
      - T is a machine command, in other words, the body of the command
      - x is a new variable, whose scope is within the common "ANY"
      - It is possible to have more than one variable
  - - - Each option has a condition called guard that enables the option if the condition is true
  - - - xx is a new variable, whose scope is within the common "LET"
      - The value of xx is defined by the expression E
      - S is executed with xx in scope