5.70. clause_or
DESCRIPTION | LINKS | AUTOMATON |
- Origin
Logic
- Constraint
- Synonym
.
- Arguments
- Restrictions
- Purpose
Given a first collection of 0-1 variables , a second collection of 0-1 variables , and a variable , enforce .
- Example
- Typical
- Symmetries
Items of are permutable.
Items of are permutable.
- Arg. properties
Extensible wrt. when .
Extensible wrt. when .
- Remark
The constraint is called in Gecode (http://www.gecode.org/).
- Systems
- See also
- Keywords
characteristic of a constraint: automaton, automaton without counters, reified automaton constraint.
constraint network structure: Berge-acyclic constraint network.
- Automaton
FigureΒ 5.70.1 depicts the automaton associated with the constraint:
To the argument of the constraint corresponds the first signature variable.
To each variable of the argument corresponds a signature variable.
Finally, to each variable of the argument corresponds a signature variable that is the negation of .
Figure 5.70.1. Automaton of the constraint ( and respectively denote variables of and )
Figure 5.70.2. Hypergraph of the reformulation corresponding to the automaton of the constraint ( denotes )