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