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 |
IStoredLongTrail.buildFakeHistory(StoredLong v,
long initValue,
int fromStamp) |
void |
IStoredLongTrail.savePreviousState(StoredLong v,
long oldValue,
int oldStamp) |
Modifier and Type | Method and Description |
---|---|
void |
ChunckedLongTrail.buildFakeHistory(StoredLong v,
long initValue,
int olderStamp) |
void |
LongWorld.savePreviousState(StoredLong v,
long oldValue,
int oldStamp)
Reacts when a StoredLong is modified: push the former value & timestamp
on the stacks.
|
void |
ChunckedLongTrail.savePreviousState(StoredLong v,
long oldValue,
int oldStamp) |
Modifier and Type | Method and Description |
---|---|
void |
StoredLongTrail.buildFakeHistory(StoredLong v,
long initValue,
int olderStamp) |
void |
StoredLongTrail.savePreviousState(StoredLong v,
long oldValue,
int oldStamp)
Reacts when a StoredInt is modified: push the former value & timestamp
on the stacks.
|
Copyright © 2017. All rights reserved.