Constructor and Description |
---|
PropagateBasic() |
Modifier and Type | Method and Description |
---|---|
void |
execute(Solver solver)
Propagate information throughout the constraint network, that is, apply decision and post dynamic cut (if any).
|
public void execute(Solver solver) throws ContradictionException
Propagate
execute
in interface Propagate
ContradictionException
- if a dead-end is encounteredCopyright © 2018. All rights reserved.