public class OneValueDeltaMonitor extends TimeStampedObject implements IIntDeltaMonitor
IIntDeltaMonitor.Default
Modifier and Type | Field and Description |
---|---|
protected IEnumDelta |
delta |
protected ICause |
propagator |
protected boolean |
used |
Constructor and Description |
---|
OneValueDeltaMonitor(IEnumDelta delta,
ICause propagator) |
Modifier and Type | Method and Description |
---|---|
void |
forEachRemVal(IntProcedure proc) |
void |
forEachRemVal(SafeIntProcedure proc) |
void |
freeze() |
int |
sizeApproximation() |
void |
unfreeze() |
getEnvironment, getTimeStamp, needReset, resetStamp
protected final IEnumDelta delta
protected boolean used
protected ICause propagator
public OneValueDeltaMonitor(IEnumDelta delta, ICause propagator)
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
Copyright © 2017. All rights reserved.