262263264265266267268269270
c.post(); return c; } public Constraint postElement(int[] array, Var indexVar, String oper, Var var) { Constraint c = add(new Element(array, indexVar, oper, var)); c.post(); return c; }
268269270271272273274275276
c.post(); return c; } public Constraint postElement(Var[] array, Var indexVar, String oper, int value) { Constraint c = add(new Element(array, indexVar, oper, value)); c.post(); return c; }
274275276277278279280281282
c.post(); return c; } public Constraint postElement(Var[] array, Var indexVar, String oper, Var var) { Constraint c = add(new Element(array, indexVar, oper, var)); c.post(); return c; }