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

Field Summary

Fields

Modifier and Type	Field and Description
protected ISetDelta	delta
protected int[]	first
protected int[]	frozenFirst
protected int[]	frozenLast
protected int[]	last
protected ICause	propagator

Constructor Summary

Constructors

Constructor and Description
SetDeltaMonitor(ISetDelta delta, ICause propagator)

Method Summary

Modifier and Type	Method and 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

Field Detail

delta

protected final ISetDelta delta

first

protected int[] first

last

protected int[] last

frozenFirst

protected int[] frozenFirst

frozenLast

protected int[] frozenLast

propagator

protected ICause propagator

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