org.chocosolver.solver.variables.delta.monitor

Class IntervalDeltaMonitor

java.lang.Object

org.chocosolver.solver.search.loop.TimeStampedObject

org.chocosolver.solver.variables.delta.monitor.IntervalDeltaMonitor

All Implemented Interfaces:

Serializable, IDeltaMonitor, IIntDeltaMonitor

public class IntervalDeltaMonitor
extends TimeStampedObject
implements IIntDeltaMonitor

Since:

07/12/11

Author:

Charles Prud'homme

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface org.chocosolver.solver.variables.delta.IIntDeltaMonitor

IIntDeltaMonitor.Default

Field Summary

Fields

Modifier and Type	Field and Description
protected IIntervalDelta	delta
protected int	first
protected int	frozenFirst
protected int	frozenLast
protected int	last
protected ICause	propagator

Constructor Summary

Constructors

Constructor and Description
IntervalDeltaMonitor(IIntervalDelta delta, ICause propagator)

Method Summary

Methods

Modifier and Type	Method and Description
void	forEachRemVal(IntProcedure proc)
void	forEachRemVal(SafeIntProcedure proc)
void	freeze()
String	toString()
void	unfreeze()

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, wait, wait, wait

Field Detail

delta

protected final IIntervalDelta delta

first

protected int first

last

protected int last

frozenFirst

protected int frozenFirst

frozenLast

protected int frozenLast

propagator

protected ICause propagator

Constructor Detail

IntervalDeltaMonitor

public IntervalDeltaMonitor(IIntervalDelta delta,
                    ICause propagator)

Method Detail

freeze

public void freeze()

Specified by:

freeze in interface IDeltaMonitor

unfreeze

public void unfreeze()

Specified by:

unfreeze in interface IDeltaMonitor

forEachRemVal

public void forEachRemVal(SafeIntProcedure proc)

Specified by:

forEachRemVal in interface IIntDeltaMonitor

forEachRemVal

public void forEachRemVal(IntProcedure proc)
                   throws ContradictionException

Specified by:

forEachRemVal in interface IIntDeltaMonitor

Throws:

ContradictionException

toString

public String toString()

Overrides:

toString in class Object