org.chocosolver.solver.variables.delta

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 and Description
static class	IIntDeltaMonitor.Default

Method Summary

Modifier and Type	Method and Description
void	forEachRemVal(IntProcedure proc)
void	forEachRemVal(SafeIntProcedure proc)
int	sizeApproximation()

Methods inherited from interface org.chocosolver.solver.variables.delta.IDeltaMonitor

freeze, unfreeze

Method Detail

forEachRemVal

void forEachRemVal(SafeIntProcedure proc)

forEachRemVal

void forEachRemVal(IntProcedure proc)
            throws ContradictionException

Throws:

ContradictionException

sizeApproximation

int sizeApproximation()

Returns:

a rough estimation of the number of removed values