| Package | Description |
|---|---|
| minicp.state |
State Management
|
| Modifier and Type | Class and Description |
|---|---|
class |
CopyInt
Implementation of
StateInt with copy strategy |
class |
TrailInt
Implementation of
StateInt with trail strategy |
| Modifier and Type | Method and Description |
|---|---|
StateInt |
Copier.makeStateInt(int initValue) |
StateInt |
StateManager.makeStateInt(int initValue)
Creates a Stateful integer (restorable)
|
StateInt |
Trailer.makeStateInt(int initValue) |
Copyright © 2018 Laurent Michel, Pierre Schaus, Pascal Van Hentenryck. All rights reserved.