Interface IIntDeltaMonitor
-
- All Superinterfaces:
IDeltaMonitor
- All Known Implementing Classes:
EnumDeltaMonitor
,IIntDeltaMonitor.Default
,IntervalDeltaMonitor
,OneValueDeltaMonitor
,ViewDeltaMonitor
public interface IIntDeltaMonitor extends IDeltaMonitor
- Since:
- 25/05/12
- Author:
- Charles Prud'homme
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static class
IIntDeltaMonitor.Default
-
Method Summary
All Methods Instance Methods Abstract 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.int
sizeApproximation()
-
Methods inherited from interface org.chocosolver.solver.variables.delta.IDeltaMonitor
freeze, unfreeze
-
-
-
-
Method Detail
-
forEachRemVal
void forEachRemVal(SafeIntProcedure proc)
Apply 'proc' on each value removed. No filtering allowed- Parameters:
proc
- a procedure
-
forEachRemVal
void forEachRemVal(IntProcedure proc) throws ContradictionException
Apply 'proc' on each value removed. Filtering allowed- Parameters:
proc
- a procedure- Throws:
ContradictionException
- if contradiction occurs
-
sizeApproximation
int sizeApproximation()
- Returns:
- a rough estimation of the number of removed values
-
-