public interface IIntDeltaMonitor extends IDeltaMonitor
Modifier and Type | Interface and Description |
---|---|
static class |
IIntDeltaMonitor.Default |
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.
|
int |
sizeApproximation() |
freeze, unfreeze
void forEachRemVal(SafeIntProcedure proc)
proc
- a procedurevoid forEachRemVal(IntProcedure proc) throws ContradictionException
proc
- a procedureContradictionException
- if contradiction occursint sizeApproximation()
Copyright © 2018. All rights reserved.