Package | Description |
---|---|
org.chocosolver.memory |
A package devoted to backtrackable data structures.
|
org.chocosolver.memory.trailing | |
org.chocosolver.memory.trailing.trail | |
org.chocosolver.memory.trailing.trail.chunck | |
org.chocosolver.memory.trailing.trail.flatten |
Modifier and Type | Method and Description |
---|---|
void |
IEnvironment.save(IOperation operation)
Save this operation onto the stack of operations to undo on backtrack.
|
Modifier and Type | Method and Description |
---|---|
void |
EnvironmentTrailing.save(IOperation oldValue) |
Modifier and Type | Method and Description |
---|---|
void |
IOperationTrail.savePreviousState(IOperation oldValue) |
Modifier and Type | Method and Description |
---|---|
void |
OperationWorld.savePreviousState(IOperation v)
Reacts when a StoredInt is modified: push the former value & timestamp
on the stacks.
|
void |
ChunckedOperationTrail.savePreviousState(IOperation oldValue) |
Modifier and Type | Method and Description |
---|---|
void |
OperationTrail.savePreviousState(IOperation oldValue)
Reacts when a StoredInt is modified: push the former value & timestamp
on the stacks.
|
Copyright © 2017. All rights reserved.