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 |
IStoredBoolTrail.buildFakeHistory(StoredBool v,
boolean initValue,
int fromStamp) |
void |
IStoredBoolTrail.savePreviousState(StoredBool v,
boolean oldValue,
int oldStamp) |
Modifier and Type | Method and Description |
---|---|
void |
ChunckedBoolTrail.buildFakeHistory(StoredBool v,
boolean initValue,
int olderStamp) |
void |
BoolWorld.savePreviousState(StoredBool v,
boolean oldValue,
int oldStamp)
Reacts when a StoredBool is modified: push the former value & timestamp
on the stacks.
|
void |
ChunckedBoolTrail.savePreviousState(StoredBool v,
boolean oldValue,
int oldStamp) |
Modifier and Type | Method and Description |
---|---|
void |
StoredBoolTrail.buildFakeHistory(StoredBool v,
boolean initValue,
int olderStamp) |
void |
StoredBoolTrail.savePreviousState(StoredBool v,
boolean oldValue,
int oldStamp)
Reacts when a StoredInt is modified: push the former value & timestamp
on the stacks.
|
Copyright © 2018. All rights reserved.