@Test(groups = "1s", timeOut=60000, expectedExceptions = ContradictionException.class) public void testBadDomainFilteringKO() throws ContradictionException { IntVar start = model.intVar(5, 6); IntVar end = model.intVar(1, 2); task = new Task(start, duration, end); task.ensureBoundConsistency(); }
public void ensureBoundConsistency() throws ContradictionException { update.onUpdate(start, IntEventType.REMOVE); }
Task { public void ensureBoundConsistency() throws ContradictionException { update.onUpdate(start, IntEventType.REMOVE); } }
Task { public void ensureBoundConsistency() throws ContradictionException { update.onUpdate(start, IntEventType.REMOVE); } Task(Model model, int est, int lst, int d, int ect, int lct);  Task(IntVar s, int d);  Task(IntVar s, int d, IntVar e);  Task(IntVar s, IntVar d, IntVar e); }
Task { public void ensureBoundConsistency() throws ContradictionException { update.onUpdate(start, IntEventType.REMOVE); } Task(Model model, int est, int lst, int d, int ect, int lct);  Task(IntVar s, int d);  Task(IntVar s, int d, IntVar e);  Task(IntVar s, IntVar d, IntVar e); void ensureBoundConsistency(); IntVar getStart(); IntVar getDuration(); IntVar getEnd(); IVariableMonitor<IntVar> getMonitor(); @Override String toString(); }
Task { public void ensureBoundConsistency() throws ContradictionException { update.onUpdate(start, IntEventType.REMOVE); } Task(Model model, int est, int lst, int d, int ect, int lct);  Task(IntVar s, int d);  Task(IntVar s, int d, IntVar e);  Task(IntVar s, IntVar d, IntVar e); void ensureBoundConsistency(); IntVar getStart(); IntVar getDuration(); IntVar getEnd(); IVariableMonitor<IntVar> getMonitor(); @Override String toString();  }