<< Prev | - Up - | Next >> |
Finite domain constraints are a very important class of constraints which is supported by the Oz standard library (see the Oz-reference manual on System Modules). They specify relations between variables denoting members of a finite set of integers. Possible values can be narrowed down by propagation, and there are standard distribution strategies for distinguishing cases if necessary.
Finite set constraints are an important class of constraints which is also supported by the Oz standard library (see the Oz-reference manual on System Modules). Finite set constraints provide propagators for the usual set operations.
A disjunction can be used as a propagator in Oz if it is expressed by an or
statement. An or-statement can be turned into a distributor by using a finite domain control variables and a finite domain distributor.
<< Prev | - Up - | Next >> |