public interface IVariableMonitor<V extends Variable> extends Serializable, ICause
Propagatorbecause it is not scheduled in the propagation engine. However, it assumes that
thisexecutes fast and low complexity operations. Otherwise, it should be a propagator. This also differs from
IViewbecause it is not a specific variable, and can connect two or more variables together. For instance, this can be used for logging issue.
|Modifier and Type||Method and Description|
Operations to execute after updating the domain variable
void onUpdate(V var, IEventType evt) throws ContradictionException
var- variable concerned
evt- modification event
this(which naturally adds it into
solver). IMonitor should be duplicated only if it is about modeling and not solving (ie: search).
solver- target solver
identitymap- a map to guarantee uniqueness of objects
Copyright © 2015. All rights reserved.