10.35.3 Available Constraints

This section describes the classes of constraints that can be used with this solver.

Caveat

In case of variable aliasing, i.e. if a variable occurs more than once in a global constraint that is being posted, or due to a subsequent variable-variable unification, any guarantee to maintain arc-consistency no longer holds.


Send feedback on this subject.