5.212. k_used_by_interval
DESCRIPTION | LINKS | GRAPH |
- Origin
- Constraint
- Type
- Arguments
- Restrictions
- Purpose
Given sets of domain variables, the constraint forces a constraint between each pair of consecutive sets.
- Example
-
In the example, the second argument defines the following family of intervals , where is an integer. Consequently, the constraint holds since:
The first collection of variables is assigned 4 values in the interval as well as 2 values in the interval , while the second collection of variables is assigned no more values in the previous two intervals.
The second collection of variables is assigned 2 values in the interval as well as 2 values in the interval , while the third collection of variables is assigned no more values in the previous two intervals.
- Typical
- Symmetries
Items of are permutable.
Items of are permutable.
An occurrence of a value of that belongs to the -th interval, of size , can be replaced by any other value of the same interval.
- Arg. properties
Contractible wrt. .
- See also
common keyword: Β (system of constraints).
- Keywords
characteristic of a constraint: sort based reformulation.
- Arc input(s)
- Arc generator
-
- Arc arity
- Arc constraint(s)
- Graph property(ies)
-
- Graph model
PartsΒ (A) andΒ (B) of FigureΒ 5.212.1 respectively show the initial and final graph associated with the Example slot. To each vertex corresponds a collection of variables, while to each arc corresponds a constraint.
Figure 5.212.1. Initial and final graph of the constraint
(a) (b)