Module org.chocosolver.solver
Package org.chocosolver.solver.constraints.nary.channeling
-
Class Summary Class Description 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