| ... | ... | @@ -35,7 +35,7 @@ NDL model defines structure of the constraint programming problem and is compile |
|
|
|
* `constant(+Name:string, -Value:integer)` - allows to get constant value by it's name. **Used in the NDL query**.
|
|
|
|
* Range related
|
|
|
|
* `range_definition(+Name:string, -Range:range)` - analogically to the integer constant, this defines a type with a range of possible values.
|
|
|
|
* `range(+Name:string, -Value:integer) is nondet` - allows to non-deterministically get one of the type inhibitants. **Used in the NDL query.**
|
|
|
|
* `range_element(+Name:string, -Value:integer) is nondet` - allows to non-deterministically get one of the type inhibitants. **Used in the NDL query.**
|
|
|
|
* Variable related:
|
|
|
|
* `fixed(+Name:string)` - variables with this name shouldn't be modified by the NDL query. Used only during compilation.
|
|
|
|
* `auxillary(+Name:string)` - variables with this name should be calculated in run-time based on one-directional constrants, used to define complex constraints
|
| ... | ... | |
