Class  Description 

PropBitChanneling 
A propagator which ensures that OCTET = 2^{0}*BIT_1 + 2^{1}*BIT_2 + ... 2^{n1}*BIT_n.

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
AC propagator for enumerated domain variables

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 © 2015. All rights reserved.