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) |
void |
forEachRemVal(SafeIntProcedure proc) |
void |
freeze() |
int |
sizeApproximation() |
protected abstract int |
transform(int value) |
void |
unfreeze() |
public ViewDeltaMonitor(IIntDeltaMonitor deltamonitor)
public void freeze()
freeze
in interface IDeltaMonitor
public void unfreeze()
unfreeze
in interface IDeltaMonitor
public void forEachRemVal(SafeIntProcedure proc)
forEachRemVal
in interface IIntDeltaMonitor
public void forEachRemVal(IntProcedure proc) throws ContradictionException
forEachRemVal
in interface IIntDeltaMonitor
ContradictionException
public int sizeApproximation()
sizeApproximation
in interface IIntDeltaMonitor
protected abstract int transform(int value)
Copyright © 2017. All rights reserved.