org.chocosolver.solver.variables

Interface IVariableMonitor<V extends Variable>

All Superinterfaces:

ICause

All Known Implementing Classes:

ActivityBased

public interface IVariableMonitor<V extends Variable>
extends ICause

A monitor for Variable, to observe variable modification (for integer variable : value removals, bounds modification or instantiation) and do something right after the modification.

This differs from Propagator because it is not scheduled in the propagation engine. However, it assumes that this executes fast and low complexity operations. Otherwise, it should be a propagator.

This also differs from IView because it is not a specific variable, and can connect two or more variables together. For instance, this can be used for logging issue.

Since:

14/11/11

Author:

Charles Prud'homme

Method Summary

Modifier and Type	Method and Description
void	onUpdate(V var, IEventType evt) Operations to execute after updating the domain variable

Methods inherited from interface org.chocosolver.solver.ICause

explain, forEachIntVar

Method Detail

onUpdate

void onUpdate(V var,
              IEventType evt)
       throws ContradictionException

Operations to execute after updating the domain variable

Parameters:

var - variable concerned

evt - modification event

Throws:

ContradictionException