/**
* This method is similar to the one above but instead of �value�
* the �cardinality(vars,cardValue)� is being constrained by �var�.
*/
public Constraint postCardinality(Var[] vars, int cardValue, String oper, Var var) {
Constraint c = add(new Cardinality(vars, cardValue, oper, var));
c.post();
return c;
}