Package | Description |
---|---|
org.chocosolver.memory.trailing.trail | |
org.chocosolver.memory.trailing.trail.chunck | |
org.chocosolver.memory.trailing.trail.flatten |
Modifier and Type | Method and Description |
---|---|
void |
IStoredIntTrail.buildFakeHistory(StoredInt v,
int initValue,
int fromStamp) |
void |
IStoredIntTrail.savePreviousState(StoredInt v,
int oldValue,
int oldStamp) |
Modifier and Type | Method and 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.
|
Modifier and Type | Method and 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.
|
Copyright © 2018. All rights reserved.