*/
public static Constraint element(IntVar VALUE, IntVar[] TABLE, IntVar INDEX, int OFFSET) {
// uses two propagator to perform a fix point
return new Constraint(
"Element",
new PropElementV_fast(VALUE, TABLE, INDEX, OFFSET, true),
new PropElementV_fast(VALUE, TABLE, INDEX, OFFSET, true));
}