Class | Description |
---|---|
PropBitChanneling |
A propagator which ensures that OCTET = 20*BIT_1 + 21*BIT_2 + ...
|
PropClauseChanneling |
A propagator which links an IntVar with two arrays of BoolVar, one for EQ relations, the other for LQ relations.
|
PropEnumDomainChanneling |
Constraints that map the boolean assignments variables (bvars) with the standard assignment variables (var).
|
PropInverseChannelAC |
X[i] = j+Ox <=> Y[j] = i+Oy
|
PropInverseChannelBC |
X[i] = j+Ox <=> Y[j] = i+Oy
Propagator for bounded variables
it ensures :
LB(X[i]) = j+Ox => Y[j].contains(i+Oy)
UB(X[i]) = j+Ox => Y[j].contains(i+Oy)
and reciprocally for Y
It however does not performs BC on the conjunction
of this and the allDifferent constraint implied by InverseChanneling constraint
Such a consistency would require to know somehow holes in (bounded) domains
Again, AC is strongly advised
|
Copyright © 2018. All rights reserved.