public class SetDeltaMonitor extends TimeStampedObject implements ISetDeltaMonitor
ISetDeltaMonitor.Default
Modifier and Type | Field and Description |
---|---|
protected ISetDelta |
delta |
protected int[] |
first |
protected int[] |
frozenFirst |
protected int[] |
frozenLast |
protected int[] |
last |
protected ICause |
propagator |
Constructor and Description |
---|
SetDeltaMonitor(ISetDelta delta,
ICause propagator) |
Modifier and Type | Method and Description |
---|---|
void |
forEach(IntProcedure proc,
SetEventType evt) |
void |
freeze() |
void |
unfreeze() |
getEnvironment, getTimeStamp, needReset, resetStamp
protected final ISetDelta delta
protected int[] first
protected int[] last
protected int[] frozenFirst
protected int[] frozenLast
protected ICause propagator
public void freeze()
freeze
in interface IDeltaMonitor
public void unfreeze()
unfreeze
in interface IDeltaMonitor
public void forEach(IntProcedure proc, SetEventType evt) throws ContradictionException
forEach
in interface ISetDeltaMonitor
ContradictionException
Copyright © 2017. All rights reserved.