@Test(groups="1s", timeOut=60000) public void testApplyEarlyDeductions() throws Exception { }
private void applyEarlyDeductions() throws ContradictionException { for (int i = 0; i < early_deductions_.size(); ++i) { int lit = early_deductions_.get(i); doReduce(lit); } }
PropNogoods extends Propagator<Variable> { private void applyEarlyDeductions() throws ContradictionException { for (int i = 0; i < early_deductions_.size(); ++i) { int lit = early_deductions_.get(i); doReduce(lit); } } }
PropNogoods extends Propagator<Variable> { private void applyEarlyDeductions() throws ContradictionException { for (int i = 0; i < early_deductions_.size(); ++i) { int lit = early_deductions_.get(i); doReduce(lit); } } PropNogoods(Model model); }
PropNogoods extends Propagator<Variable> { private void applyEarlyDeductions() throws ContradictionException { for (int i = 0; i < early_deductions_.size(); ++i) { int lit = early_deductions_.get(i); doReduce(lit); } } 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> { private void applyEarlyDeductions() throws ContradictionException { for (int i = 0; i < early_deductions_.size(); ++i) { int lit = early_deductions_.get(i); doReduce(lit); } } 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);  }