Uses of Class
choco.kernel.memory.trailing.StoredDouble

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.
 



Copyright © 2012. All Rights Reserved.