5.23. and
| DESCRIPTION | LINKS | AUTOMATON |
- Origin
Logic
- Constraint
- Synonym
.
- Arguments
- Restrictions
- Purpose
Let be a collection of 0-1 variables . Enforce .
- Example
-
- Symmetry
Items of are permutable.
- Systems
reifiedAnd in Choco, rel in Gecode, andbool in JaCoP, #/\ in SICStus.
- See also
common keyword: , , , , , , Β (Boolean constraint).
implies: .
- Keywords
characteristic of a constraint: automaton, automaton without counters, reified automaton constraint.
constraint network structure: Berge-acyclic constraint network.
- Automaton
FigureΒ 5.23.1 depicts the automaton associated with the constraint. To the first argument of the constraint corresponds the first signature variable. To each variable of the second argument of the constraint corresponds the next signature variable. There is no signature constraint.
Figure 5.23.1. Automaton of the constraint
Figure 5.23.2. Hypergraph of the reformulation corresponding to the automaton of the constraint
