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

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

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

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()

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