Examples of solver.constraints.nary.PropKLoops

solver.constraints.nary.PropKLoops
Incremental propagator which restricts the number of loops: |{succs[i]=i+offSet}| = nbLoops @author Jean-Guillaume Fages

        IntVar nbLoops = VariableFactory.bounded("nLoops", 0, n, solver);
        return new Constraint("SubCircuit", ArrayUtils.append(
                alldifferent(VARS).getPropagators(),
                ArrayUtils.toArray(
                        new PropEqualXY_C(new IntVar[]{nbLoops, SUBCIRCUIT_SIZE}, n),
                        new PropKLoops(VARS, OFFSET, nbLoops),
                        new PropSubcircuit(VARS, OFFSET, SUBCIRCUIT_SIZE),
                        new PropSubcircuit_AntiArboFiltering(VARS, OFFSET),
                        new PropSubCircuitSCC(VARS, OFFSET)
                )
        ));

View Full Code Here

     * @return a tree constraint
     */
    public static Constraint tree(IntVar[] SUCCS, IntVar NBTREES, int OFFSET) {
        return new Constraint("tree",
                new PropAntiArborescences(SUCCS, OFFSET, false),
                new PropKLoops(SUCCS, OFFSET, NBTREES)
        );
    }

View Full Code Here

TOP

Related Classes of solver.constraints.nary.PropKLoops

memory.IEnvironment

solver.constraints.IntConstraintFactory

solver.variables.IntVar

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.