-
- All Known Implementing Classes:
PropagateBasic
public interface Propagate
The "Propagate" component (Inspired from "Unifying search algorithms for CSP" N. Jussien and O. Lhomme, Technical report 02-3-INFO, EMN).The aim of the component is to propagate information throughout the constraint network when a decision is made.
Created by cprudhom on 01/09/15. Project: choco.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
execute(Solver solver)
Propagate information throughout the constraint network, that is, apply decision and post dynamic cut (if any).
-
-
-
Method Detail
-
execute
void execute(Solver solver) throws ContradictionException
Propagate information throughout the constraint network, that is, apply decision and post dynamic cut (if any).- Throws:
ContradictionException
- if a dead-end is encountered
-
-