| 122 | | |
| | 122 | === Types |
| | 123 | * `$domain_strategy` |
| | 124 | * An enumeration type used to specify how domains are decomposed. There are three options: `ALL`, `RANDOM`, and `ROUND_ROBIN`. |
| | 125 | * `$domain_decomposition` |
| | 126 | * A data structure representing the decomposition result of a domain. |
| | 127 | |
| | 128 | === Functions |
| | 129 | * `$system $domain_decomposition $domain_partition($domain domain, $domain_strategy strategy, int n)` |
| | 130 | * Takes a domain and some n>0 and returns some partition of the domain into n sub-domains, according to the decomposition strategy specified. |
| | 131 | * `$system $range $range_of_rectangular_domain($domain dom, int index)` |
| | 132 | * Returns the `index`-th range of the given domain `dom`. Requires `index` to be between 1 and the dimension of `dom` minus 1. |
| | 133 | * `$system int $high_of_regular_range($range range)` |
| | 134 | * Returns the upper bound of a regular range. |
| | 135 | * `$system int $low_of_regular_range($range range)` |
| | 136 | * Returns the lower bound of a regular range. |
| | 137 | * `$system int $step_of_regular_range($range range)` |
| | 138 | * Returns the step of a regular range |
| | 139 | * `$system _Bool $is_rectangular_domain($domain domain)` |
| | 140 | * Returns true if this `domain` is a rectangular domain. |
| | 141 | * `$system _Bool $is_regular_range($range range)` |
| | 142 | * Returns true if this `range` is a regular range, i.e., it is composed of a lower bound, a higher bound and a step. |
| | 143 | * `$system int $dimension_of($domain domain)` |
| | 144 | * Returns the dimension of the given domain. |
