Examples of solver.constraints.nary.count.PropCount_AC

solver.constraints.nary.count.PropCount_AC
Define a COUNT constraint setting size{forall v in lvars | v = occval} = occVar assumes the occVar variable to be the last of the variables of the constraint: vars = [lvars | occVar] Arc Consistent algorithm with lvars = list of variables for which the occurrence of occval in their domain is constrained
@author Jean-Guillaume Fages

     * @param VALUE an int
     * @param VARS  a vector of variables
     * @param LIMIT a variable
     */
    public static Constraint count(int VALUE, IntVar[] VARS, IntVar LIMIT) {
        return new Constraint("Count", new PropCount_AC(VARS, VALUE, LIMIT));
    }

View Full Code Here

TOP

Related Classes of solver.constraints.nary.count.PropCount_AC

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.