@Test(groups = "1s") public void testGetUB0() throws ContradictionException { Assert.assertEquals(b.getUB(), 1); x.updateUpperBound(3, Cause.Null); Assert.assertEquals(b.getUB(), 1); }
@Override public int getUB() { if (var.getLB() <= cste) { return 1; } return 0; }
LeqView extends IntBoolView { @Override public int getUB() { if (var.getLB() <= cste) { return 1; } return 0; } }
LeqView extends IntBoolView { @Override public int getUB() { if (var.getLB() <= cste) { return 1; } return 0; } LeqView(final IntVar var, final int cste); }
LeqView extends IntBoolView { @Override public int getUB() { if (var.getLB() <= cste) { return 1; } return 0; } 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 getUB() { if (var.getLB() <= cste) { return 1; } return 0; } 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);  }