Constructor and Description |
---|
PropagateBasic() |
Modifier and Type | Method and Description |
---|---|
void |
execute(Solver solver)
Basic propagation:
First, prepare the decision (to ensure good behavior of the
Move.repair(Solver) call)
then, a first propagation ensures that, if learning is on,
the unit nogood learnt on failure filters,
the cut is posted before applying the decision to ensure good nogood,
and a second propagation ensures the cut is taken into account
the decision is applied (if learning is on and the decision is refuted,
it is bypassed by the learnt unit nogood),
finally, a fix point is reached.
|
public void execute(Solver solver) throws ContradictionException
Move.repair(Solver)
call)execute
in interface Propagate
solver
- the underlying solverContradictionException
- if a contradiction occursCopyright © 2018. All rights reserved.