Module org.chocosolver

Package org.chocosolver.solver.variables.delta.monitor

Class SetDeltaMonitor

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

Modifier and Type	Method	Description
void	forEach(IntProcedure proc, SetEventType evt)	Apply 'proc' on each value store
void	freeze()	Freeze the delta for iteration
void	unfreeze()	Release the delta

Methods inherited from class org.chocosolver.solver.search.loop.TimeStampedObject

getEnvironment, getTimeStamp, needReset, resetStamp

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SetDeltaMonitor

public SetDeltaMonitor(ISetDelta delta,
                       ICause propagator)

Method Detail

freeze

public void freeze()

Description copied from interface: IDeltaMonitor

Freeze the delta for iteration

Specified by:

freeze in interface IDeltaMonitor

unfreeze

public void unfreeze()

Description copied from interface: IDeltaMonitor

Release the delta

Specified by:

unfreeze in interface IDeltaMonitor

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 interface ISetDeltaMonitor

Parameters:

proc - a procedure

evt - event mask

Throws:

ContradictionException - if a contradiction occurs