Module org.chocosolver

Package 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:

IDeltaMonitor, IIntDeltaMonitor

public class IntervalDeltaMonitor
extends TimeStampedObject
implements IIntDeltaMonitor

Since:

07/12/11

Author:

Charles Prud'homme

Nested Class Summary

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

IIntDeltaMonitor.Default

Constructor Summary

Constructors

Constructor	Description
IntervalDeltaMonitor(IIntervalDelta delta, ICause propagator)

Method Summary

Modifier and Type	Method	Description
void	forEachRemVal(IntProcedure proc)	Apply 'proc' on each value removed.
void	forEachRemVal(SafeIntProcedure proc)	Apply 'proc' on each value removed.
void	freeze()	Freeze the delta for iteration
int	sizeApproximation()
String	toString()
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, wait, wait, wait

Constructor Detail

IntervalDeltaMonitor

public IntervalDeltaMonitor(IIntervalDelta 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

forEachRemVal

public void forEachRemVal(SafeIntProcedure proc)

Description copied from interface: IIntDeltaMonitor

Apply 'proc' on each value removed. No filtering allowed

Specified by:

forEachRemVal in interface IIntDeltaMonitor

Parameters:

proc - a procedure

forEachRemVal

public void forEachRemVal(IntProcedure proc)
                   throws ContradictionException

Description copied from interface: IIntDeltaMonitor

Apply 'proc' on each value removed. Filtering allowed

Specified by:

forEachRemVal in interface IIntDeltaMonitor

Parameters:

proc - a procedure

Throws:

ContradictionException - if contradiction occurs

toString

public String toString()

Overrides:

toString in class Object

sizeApproximation

public int sizeApproximation()

Specified by:

sizeApproximation in interface IIntDeltaMonitor

Returns:

a rough estimation of the number of removed values