@Test(groups="1s", timeOut=60000) public void testIvalue(){ int[] values = {0, 1, -1, 10, -10, 181, -181, 210, -210}; for(int value: values) { long eqvalue = value; long ltvalue = leq(value); Assert.assertEquals(ivalue(eqvalue), value, "ivalue eq: " + value + ", " + eqvalue + ""); Assert.assertEquals(ivalue(ltvalue), value, "ivalue leq: " + value + ", " + ltvalue + ""); } }
static int ivalue(long v) { return (int) (iseq(v) ? v : v - BITOP); }
PropNogoods extends Propagator<Variable> { static int ivalue(long v) { return (int) (iseq(v) ? v : v - BITOP); } }
PropNogoods extends Propagator<Variable> { static int ivalue(long v) { return (int) (iseq(v) ? v : v - BITOP); } PropNogoods(Model model); }
PropNogoods extends Propagator<Variable> { static int ivalue(long v) { return (int) (iseq(v) ? v : v - BITOP); } PropNogoods(Model model); @Override void propagate(int evtmask); @Override void propagate(int idxVarInProp, int mask); @Override ESat isEntailed(); void initialize(); int Literal(IntVar ivar, int value, boolean eq); int Literal(SetVar svar, int value, boolean in); @SuppressWarnings("unused") boolean addNogood(int p); @SuppressWarnings("unused") boolean addNogood(TIntList lits); void addLearnt(int... lits); }
PropNogoods extends Propagator<Variable> { static int ivalue(long v) { return (int) (iseq(v) ? v : v - BITOP); } PropNogoods(Model model); @Override void propagate(int evtmask); @Override void propagate(int idxVarInProp, int mask); @Override ESat isEntailed(); void initialize(); int Literal(IntVar ivar, int value, boolean eq); int Literal(SetVar svar, int value, boolean in); @SuppressWarnings("unused") boolean addNogood(int p); @SuppressWarnings("unused") boolean addNogood(TIntList lits); void addLearnt(int... lits);  }