- java.lang.Object
-
- org.chocosolver.solver.search.loop.TimeStampedObject
-
- org.chocosolver.solver.variables.delta.monitor.SetDeltaMonitor
-
- All Implemented Interfaces:
IDeltaMonitor
,ISetDeltaMonitor
public class SetDeltaMonitor extends TimeStampedObject implements ISetDeltaMonitor
- Since:
- Oct 2012
- Author:
- Jean-Guillaume Fages
-
-
Constructor Summary
Constructors Constructor Description SetDeltaMonitor(ISetDelta delta, ICause propagator)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
forEach(IntProcedure proc, SetEventType evt)
Apply 'proc' on each value storevoid
freeze()
Freeze the delta for iterationvoid
unfreeze()
Release the delta-
Methods inherited from class org.chocosolver.solver.search.loop.TimeStampedObject
getEnvironment, getTimeStamp, needReset, resetStamp
-
-
-
-
Method Detail
-
freeze
public void freeze()
Description copied from interface:IDeltaMonitor
Freeze the delta for iteration- Specified by:
freeze
in interfaceIDeltaMonitor
-
unfreeze
public void unfreeze()
Description copied from interface:IDeltaMonitor
Release the delta- Specified by:
unfreeze
in interfaceIDeltaMonitor
-
forEach
public void forEach(IntProcedure proc, SetEventType evt) throws ContradictionException
Description copied from interface:ISetDeltaMonitor
Apply 'proc' on each value store- Specified by:
forEach
in interfaceISetDeltaMonitor
- Parameters:
proc
- a procedureevt
- event mask- Throws:
ContradictionException
- if a contradiction occurs
-
-