@Test(groups = "1s") public void testNextValue3() throws ContradictionException { x.updateLowerBound(4, Cause.Null); Assert.assertEquals(b.nextValue(-1), 0); Assert.assertEquals(b.nextValue(0), Integer.MAX_VALUE); Assert.assertEquals(b.nextValue(1), Integer.MAX_VALUE); }
@Override public int nextValue(int v) { if (v < 0 && contains(0)) { return 0; } return v <= 0 && contains(1) ? 1 : Integer.MAX_VALUE; }
LeqView extends IntBoolView { @Override public int nextValue(int v) { if (v < 0 && contains(0)) { return 0; } return v <= 0 && contains(1) ? 1 : Integer.MAX_VALUE; } }
LeqView extends IntBoolView { @Override public int nextValue(int v) { if (v < 0 && contains(0)) { return 0; } return v <= 0 && contains(1) ? 1 : Integer.MAX_VALUE; } LeqView(final IntVar var, final int cste); }
LeqView extends IntBoolView { @Override public int nextValue(int v) { if (v < 0 && contains(0)) { return 0; } return v <= 0 && contains(1) ? 1 : Integer.MAX_VALUE; } LeqView(final IntVar var, final int cste); @Override ESat getBooleanValue(); @Override boolean instantiateTo(int value, ICause cause); @Override int getDomainSize(); @Override boolean isInstantiated(); @Override boolean contains(int value); @Override boolean isInstantiatedTo(int value); @Override int getLB(); @Override int getUB(); @Override int nextValue(int v); @Override int nextValueOut(int v); @Override int previousValue(int v); @Override int previousValueOut(int v); @Override void justifyEvent(IntEventType mask, int one, int two, int three); @Override void explain(int p, ExplanationForSignedClause explanation); }
LeqView extends IntBoolView { @Override public int nextValue(int v) { if (v < 0 && contains(0)) { return 0; } return v <= 0 && contains(1) ? 1 : Integer.MAX_VALUE; } LeqView(final IntVar var, final int cste); @Override ESat getBooleanValue(); @Override boolean instantiateTo(int value, ICause cause); @Override int getDomainSize(); @Override boolean isInstantiated(); @Override boolean contains(int value); @Override boolean isInstantiatedTo(int value); @Override int getLB(); @Override int getUB(); @Override int nextValue(int v); @Override int nextValueOut(int v); @Override int previousValue(int v); @Override int previousValueOut(int v); @Override void justifyEvent(IntEventType mask, int one, int two, int three); @Override void explain(int p, ExplanationForSignedClause explanation);  }