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)
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() |
void |
unfreeze()
Release the delta
|
getEnvironment, getTimeStamp, needReset, resetStamp
protected final IEnumDelta delta
protected boolean used
protected ICause propagator
public OneValueDeltaMonitor(IEnumDelta delta, ICause propagator)
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
Copyright © 2018. All rights reserved.