Package org.chocosolver.solver.constraints.nary.channeling
-
Class Summary Class Description PropBitChanneling A propagator which ensures that OCTET = 20*BIT_1 + 21*BIT_2 + ... 2n-1*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+OyPropInverseChannelBC X[i] = j+Ox <=> Y[j] = i+Oy