Discrete constraints
A property is considered as discrete if the property reference is preceding with the type of discrete constraint.
Note: Discrete constraints have a negative impact on solver performance.
These discrete constraint types can be indicated for a property within the optimization definition:
- Multiple
- Threshold
These discrete constraints can be defined in the model using the property definition:
- Boolean: Posted property definitions containing a BOOL function with arguments posted as a discrete boolean constraint.
- Minimum: Posted property definitions containing a MIN function with arguments posted as a discrete minimum constraint.
- Maximum: Posted property definitions containing a MAX function arguments posted as a discrete maximum constraint.