public abstract class ViewDeltaMonitor extends Object implements IIntDeltaMonitor
IIntDeltaMonitor.Default
Constructor and Description |
---|
ViewDeltaMonitor(IIntDeltaMonitor deltamonitor) |
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.
|
void |
freeze()
Freeze the delta for iteration
|
int |
sizeApproximation() |
protected abstract int |
transform(int value) |
void |
unfreeze()
Release the delta
|
public ViewDeltaMonitor(IIntDeltaMonitor deltamonitor)
public void freeze()
IDeltaMonitor
freeze
in interface IDeltaMonitor
public void unfreeze()
IDeltaMonitor
unfreeze
in interface IDeltaMonitor
public void forEachRemVal(SafeIntProcedure proc)
IIntDeltaMonitor
forEachRemVal
in interface IIntDeltaMonitor
proc
- a procedurepublic void forEachRemVal(IntProcedure proc) throws ContradictionException
IIntDeltaMonitor
forEachRemVal
in interface IIntDeltaMonitor
proc
- a procedureContradictionException
- if contradiction occurspublic int sizeApproximation()
sizeApproximation
in interface IIntDeltaMonitor
protected abstract int transform(int value)
Copyright © 2018. All rights reserved.