org.chocosolver.solver.variables

Interface IVariableMonitor<V extends Variable>

All Superinterfaces:

ICause, Serializable

All Known Implementing Classes:

ActivityBased, DomOverWDeg

public interface IVariableMonitor<V extends Variable>
extends Serializable, 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

Methods

Modifier and Type	Method and Description
void	duplicate(Solver solver, gnu.trove.map.hash.THashMap<Object,Object> identitymap) Duplicate this (which naturally adds it into solver).
void	onUpdate(V var, IEventType evt) Operations to execute after updating the domain variable

Methods inherited from interface org.chocosolver.solver.ICause

why

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

duplicate

void duplicate(Solver solver,
             gnu.trove.map.hash.THashMap<Object,Object> identitymap)

Duplicate this (which naturally adds it into solver). IMonitor should be duplicated only if it is about modeling and not solving (ie: search).

Parameters:

solver - target solver

identitymap - a map to guarantee uniqueness of objects