- java.lang.Object
-
- org.chocosolver.solver.variables.view.ViewDeltaMonitor
-
- All Implemented Interfaces:
IDeltaMonitor
,IIntDeltaMonitor
public abstract class ViewDeltaMonitor extends Object implements IIntDeltaMonitor
A delta monitor dedicated to views- Since:
- 11/01/13
- 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 ViewDeltaMonitor(IIntDeltaMonitor deltamonitor)
-
Method Summary
All Methods Instance Methods Abstract 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()
protected abstract int
transform(int value)
void
unfreeze()
Release the delta
-
-
-
Constructor Detail
-
ViewDeltaMonitor
public ViewDeltaMonitor(IIntDeltaMonitor deltamonitor)
-
-
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
-
transform
protected abstract int transform(int value)
-
-