@Test(groups="1s", timeOut=60000) public void test1() { for (int i = 1; i < 99; i++) { Random r = new Random(i); for (double d = 0.0; d <= 1.0; d += 0.125) { Model s = new Model(); IntVar[] vars = new IntVar[1]; int[][] values = buildFullDomains(2, 0, i, r, d, false); vars[0] = s.intVar("v", values[0]); s.member(vars[0], values[1]).post(); s.getSolver().setSearch(inputOrderLBSearch(vars)); while (s.getSolver().solve()) ; long sol = s.getSolver().getSolutionCount(); long nod = s.getSolver().getNodeCount(); assertEquals(sol, unionSize(values[0], values[1]), "nb sol incorrect"); assertEquals(nod, sol == 0 ? 0 : sol * 2 - 1, "nb sol incorrect"); } } }
@SuppressWarnings("WeakerAccess") protected Member(IntVar var, int lb, int ub, IntIterableRangeSet values, Propagator prop) { super(ConstraintsName.MEMBER, prop); this.var = var; this.values = values; this.lb = lb; this.ub = ub; }
Member extends Constraint { @SuppressWarnings("WeakerAccess") protected Member(IntVar var, int lb, int ub, IntIterableRangeSet values, Propagator prop) { super(ConstraintsName.MEMBER, prop); this.var = var; this.values = values; this.lb = lb; this.ub = ub; } }
Member extends Constraint { @SuppressWarnings("WeakerAccess") protected Member(IntVar var, int lb, int ub, IntIterableRangeSet values, Propagator prop) { super(ConstraintsName.MEMBER, prop); this.var = var; this.values = values; this.lb = lb; this.ub = ub; } @SuppressWarnings("WeakerAccess") protected  Member(IntVar var, int lb, int ub, IntIterableRangeSet values, Propagator prop);  Member(IntVar var, IntIterableRangeSet values);  Member(IntVar var, int lowerbound, int upperbound); }
Member extends Constraint { @SuppressWarnings("WeakerAccess") protected Member(IntVar var, int lb, int ub, IntIterableRangeSet values, Propagator prop) { super(ConstraintsName.MEMBER, prop); this.var = var; this.values = values; this.lb = lb; this.ub = ub; } @SuppressWarnings("WeakerAccess") protected  Member(IntVar var, int lb, int ub, IntIterableRangeSet values, Propagator prop);  Member(IntVar var, IntIterableRangeSet values);  Member(IntVar var, int lowerbound, int upperbound); @Override Constraint makeOpposite(); }
Member extends Constraint { @SuppressWarnings("WeakerAccess") protected Member(IntVar var, int lb, int ub, IntIterableRangeSet values, Propagator prop) { super(ConstraintsName.MEMBER, prop); this.var = var; this.values = values; this.lb = lb; this.ub = ub; } @SuppressWarnings("WeakerAccess") protected  Member(IntVar var, int lb, int ub, IntIterableRangeSet values, Propagator prop);  Member(IntVar var, IntIterableRangeSet values);  Member(IntVar var, int lowerbound, int upperbound); @Override Constraint makeOpposite();  }