|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use StoredDouble | |
---|---|
choco.kernel.memory.trailing.trail |
Uses of StoredDouble in choco.kernel.memory.trailing.trail |
---|
Methods in choco.kernel.memory.trailing.trail with parameters of type StoredDouble | |
---|---|
void |
StoredDoubleTrail.savePreviousState(StoredDouble v,
double oldValue,
int oldStamp)
Reacts when a StoredInt is modified: push the former value & timestamp on the stacks. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |