QuantifierEnum
Enum CDM 7.2.0Represents the enumerated values to specify a logical quantification, i.e. either All or Any.
Values 2
Namespace cdm.base.math
Values
2 permitted values.
| Value | Description |
|---|---|
| All | Specifies that the condition in the scope of the quantifier is true of every member of the domain i.e. every one of the elements in scope. |
| Any | Specifies that the condition in the scope of the quantifier is true of at least one member of the domain i.e. one or more of the elements in scope. |
Referenced by
2 types hold a QuantifierEnum as an attribute.
Functions
Model functions that produce or consume this type. These are the CDM's own behaviour — the logic a correct implementation has to match.
| Function | Role | Description |
|---|---|---|
| MapQuantifierEnum | returns | — |
Open QuantifierEnum in the Model Browser
Walk the tree and the reference graph interactively, and switch releases to see how the enumeration has changed. Free, no signup.