Examples of javax.constraints.impl.constraint.GlobalCardinality$ConstrainerIntExpArrayEq

javax.constraints.impl.constraint.GlobalCardinality

This constraint states that the number of constrained variables in the array "cardinalities" is equal to the number of occurrences of the values in the array "values" in the array "vars". More precisely, for each i, cardinalities[i] is equal to the number of occurrences of values[i] in the array vars. After propagation of this constraint, the minimum of cardinalities[i] is at least equal to the number of variables contained in vars bound to the value at values[i]; and the maximum of cardinalities[i] is at most equal to the number of variables in vars that contain the value at values[i] in their domain. The arrays cardinalities and values must be the same length, otherwise an exception will be thrown. This implementation should at least overload the method "post" to avoid a primitive implementation from the super class

    c.post();
    return c;
  }
  
  public Constraint constraintGlobalCardinality(Var[] vars, Var[] cardinalityVars) {
    Constraint c = add(new GlobalCardinality(vars,cardinalityVars));
    c.post();
    return c;
  }

    c.post();
    return c;
  }
  
  public Constraint constraintGlobalCardinality(Var[] vars, Var[] cardinalityVars, Var[] valueVars) {
    Constraint c = add(new GlobalCardinality(vars,cardinalityVars,valueVars));
    c.post();
    return c;
  }

Examples of javax.constraints.impl.constraint.GlobalCardinality$ConstrainerIntExpArrayEq

Related Classes of javax.constraints.impl.constraint.GlobalCardinality$ConstrainerIntExpArrayEq