Domain checking
- Last UpdatedOct 24, 2025
- 1 minute read
The process of making sure that the set elements appearing in the domains of a block actually belong to the sets used in the block declaration. MILANO does this check automatically.
The process of making sure that the set elements appearing in the domains of a block actually belong to the sets used in the block declaration. MILANO does this check automatically.