org.chocosolver.solver.propagation

Class PropagationTrigger

java.lang.Object

org.chocosolver.solver.propagation.PropagationTrigger

All Implemented Interfaces:

Serializable

public class PropagationTrigger
extends Object
implements Serializable

A specific propagation engine for initial propagation and dynamic addition of propagators during the resolution.
It handles three different types of constraints: - constraints posted before solving the problem, - permanent constraints posted once the resolution has begun, - temporary constraints (removed upon backtrack) posted once the resolution has begun.

Since:

15/12/12

Author:

Charles Prud'homme

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
PropagationTrigger(IPropagationEngine engine, Solver solver)

Method Summary

Methods

Modifier and Type	Method and Description
void	addAll(Propagator... propagators)
void	clear()
void	dynAdd(Propagator propagator, boolean permanent)
static void	execute(Propagator toPropagate, IPropagationEngine engine)
boolean	needToRun()
void	propagate() Define a way to initialize the propagation engine.
void	remove(Propagator propagator)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PropagationTrigger

public PropagationTrigger(IPropagationEngine engine,
                  Solver solver)

Method Detail

addAll

public void addAll(Propagator... propagators)

dynAdd

public void dynAdd(Propagator propagator,
          boolean permanent)

remove

public void remove(Propagator propagator)

needToRun

public boolean needToRun()

clear

public void clear()

propagate

public void propagate()
               throws ContradictionException

Define a way to initialize the propagation engine. Loops over the propagator of the solver, then activate them one by one, if stateless, and call propagate after each propagator.

Throws:

ContradictionException - can throw a contradiction

execute

public static void execute(Propagator toPropagate,
           IPropagationEngine engine)
                    throws ContradictionException

Throws:

ContradictionException