org.chocosolver.solver.search.loop.propagate

Interface Propagate

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

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).

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