Package 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 fromPropagator
because it is not scheduled in the propagation engine. However, it assumes thatthis
executes fast and low complexity operations. Otherwise, it should be a propagator. This also differs fromIView
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
All Methods Instance Methods Abstract Methods Modifier and Type Method 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 concernedevt
- modification event- Throws:
ContradictionException
-
-