Examples of solver.constraints.nary.channeling.PropInverseChannelBC

Package solver.constraints.nary.channeling

Examples of solver.constraints.nary.channeling.PropInverseChannelBC

solver.constraints.nary.channeling.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 @author Jean-Guillaume Fages @since Nov 2012

            if (!(VARS1[i].hasEnumeratedDomain() && VARS2[i].hasEnumeratedDomain())) {
                allEnum = false;
            }
        }
        Propagator ip = allEnum ? new PropInverseChannelAC(VARS1, VARS2, OFFSET1, OFFSET2)
                : new PropInverseChannelBC(VARS1, VARS2, OFFSET1, OFFSET2);
        return new Constraint("InverseChanneling", ArrayUtils.append(
                alldifferent(VARS1).getPropagators(),
                alldifferent(VARS2).getPropagators(),
                new Propagator[]{ip}
        ));

View Full Code Here

TOP

Related Classes of solver.constraints.nary.channeling.PropInverseChannelBC

solver.constraints.IntConstraintFactory

java.util.BitSet

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.