Uses of Class
org.chocosolver.memory.trailing.StoredInt
-
Packages that use StoredInt Package Description org.chocosolver.memory.trailing.trail org.chocosolver.memory.trailing.trail.chunck org.chocosolver.memory.trailing.trail.flatten -
-
Uses of StoredInt in org.chocosolver.memory.trailing.trail
Methods in org.chocosolver.memory.trailing.trail with parameters of type StoredInt Modifier and Type Method Description void
IStoredIntTrail. buildFakeHistory(StoredInt v, int initValue, int fromStamp)
void
IStoredIntTrail. savePreviousState(StoredInt v, int oldValue, int oldStamp)
-
Uses of StoredInt in org.chocosolver.memory.trailing.trail.chunck
Methods in org.chocosolver.memory.trailing.trail.chunck with parameters of type StoredInt Modifier and Type Method Description void
ChunckedIntTrail. buildFakeHistory(StoredInt v, int initValue, int olderStamp)
void
ChunckedIntTrail. savePreviousState(StoredInt v, int oldValue, int oldStamp)
void
IntWorld. savePreviousState(StoredInt v, int oldValue, int oldStamp)
Reacts when a StoredInt is modified: push the former value & timestamp on the stacks. -
Uses of StoredInt in org.chocosolver.memory.trailing.trail.flatten
Methods in org.chocosolver.memory.trailing.trail.flatten with parameters of type StoredInt Modifier and Type Method Description void
StoredIntTrail. buildFakeHistory(StoredInt v, int initValue, int olderStamp)
void
StoredIntTrail. savePreviousState(StoredInt v, int oldValue, int oldStamp)
Reacts when a StoredInt is modified: push the former value & timestamp on the stacks.
-