Undefined operators
Undefined operators must be of countable type for random and exhaustive simulation
- Boolean
- Enumerated
- Bounded integer
Undefined operators should not be used
- In axioms
- In algorithmic operator definitions
- In provided clauses
- In decision answers