@Test(groups = "1s") public void testIsInstantiatedTo0() throws ContradictionException { Assert.assertFalse(b.isInstantiatedTo(0)); x.updateLowerBound(4, Cause.Null); Assert.assertTrue(b.isInstantiatedTo(0)); }
@Override public boolean isInstantiatedTo(int value) { if (value == 0) { return cste < var.getLB(); } else if (value == 1) { return var.getUB() <= cste; } return false; }
LeqView extends IntBoolView { @Override public boolean isInstantiatedTo(int value) { if (value == 0) { return cste < var.getLB(); } else if (value == 1) { return var.getUB() <= cste; } return false; } }
LeqView extends IntBoolView { @Override public boolean isInstantiatedTo(int value) { if (value == 0) { return cste < var.getLB(); } else if (value == 1) { return var.getUB() <= cste; } return false; } LeqView(final IntVar var, final int cste); }
LeqView extends IntBoolView { @Override public boolean isInstantiatedTo(int value) { if (value == 0) { return cste < var.getLB(); } else if (value == 1) { return var.getUB() <= cste; } return false; } 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 boolean isInstantiatedTo(int value) { if (value == 0) { return cste < var.getLB(); } else if (value == 1) { return var.getUB() <= cste; } return false; } 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);  }