Examples of com.exigen.ie.constrainer.Constrainer.distribute()

com.exigen.ie.constrainer.Constrainer.distribute()

All elements of an array are associated with their domains. The union of the domains makes up the array "domain" that is the set of all values that may occur in the array. An instance of {@link IntArrayCards} classis associated with each instance of {@link IntExpArray}. The instance keeps track the possible number of the value occurrences in the array that is it has an element(constrained integer expression) per value from the array "domain". For each value from the array "domain" the method {@link #distribute(IntExpArray,IntExpArray)} creates the constraint"equals" to the number of occurrences of values. The number of occurrences for each value of array "domain" is specified in cards parameter. @param vars The array of constrained integer expressions. @param cards The array of value occurences. @return The array of value cardinalities. @throws Failure

    Problem problem = (Problem) vars[0].getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntExpArray cVars = problem.getExpArray(vars);    
    IntExpArray cCardinalityVars = problem.getExpArray(cardVars);
    try {
      IntExpArray cards = constrainer.distribute(cVars,values);
      Constraint newC = new ConstrainerIntExpArrayEq(cards,cCardinalityVars);
      setImpl(constrainer.addConstraint(newC));
    } catch (Exception f) {
      throw new RuntimeException(
          "Failure to create GlobalCardinality constraint");

    IntExpArray cVars = problem.getExpArray(vars);
    IntExpArray cValueVars = problem.getExpArray(valueVars);
    IntExpArray cCardVars = problem.getExpArray(valueVars);
    try {
      IntArrayCards givenCards = cCardVars.cards();
      IntArrayCards distributedCards = constrainer.distribute(cVars,cValueVars);
      Constraint newC = new ConstrainerArrayCardsEq(distributedCards,givenCards);
      setImpl(constrainer.addConstraint(newC));
    } catch (Exception f) {
      throw new RuntimeException(
          "Failure to create GlobalCardinality constraint");

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.