Module org.chocosolver
Class EnumDeltaMonitor
- java.lang.Object
-
- org.chocosolver.solver.search.loop.TimeStampedObject
-
- org.chocosolver.solver.variables.delta.monitor.EnumDeltaMonitor
-
- All Implemented Interfaces:
IDeltaMonitor
,IIntDeltaMonitor
public class EnumDeltaMonitor 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 EnumDeltaMonitor(IEnumDelta delta, ICause propagator)
-
Method Summary
All Methods Instance Methods Concrete Methods 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 iterationint
sizeApproximation()
String
toString()
void
unfreeze()
Release the delta-
Methods inherited from class org.chocosolver.solver.search.loop.TimeStampedObject
getEnvironment, getTimeStamp, needReset, resetStamp
-
-
-
-
Constructor Detail
-
EnumDeltaMonitor
public EnumDeltaMonitor(IEnumDelta delta, ICause propagator)
-
-
Method Detail
-
freeze
public void freeze()
Description copied from interface:IDeltaMonitor
Freeze the delta for iteration- Specified by:
freeze
in interfaceIDeltaMonitor
-
unfreeze
public void unfreeze()
Description copied from interface:IDeltaMonitor
Release the delta- Specified by:
unfreeze
in interfaceIDeltaMonitor
-
forEachRemVal
public void forEachRemVal(SafeIntProcedure proc)
Description copied from interface:IIntDeltaMonitor
Apply 'proc' on each value removed. No filtering allowed- Specified by:
forEachRemVal
in interfaceIIntDeltaMonitor
- 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 interfaceIIntDeltaMonitor
- Parameters:
proc
- a procedure- Throws:
ContradictionException
- if contradiction occurs
-
sizeApproximation
public int sizeApproximation()
- Specified by:
sizeApproximation
in interfaceIIntDeltaMonitor
- Returns:
- a rough estimation of the number of removed values
-
-