Uses of Package
minicp.state

Packages that use minicp.state

Package	Description
minicp.engine.core	Solver objects
minicp.search	State Management
minicp.state	State Management

Classes in minicp.state used by minicp.engine.core

Class and Description
StateManager The StateManager exposes all the mechanisms and data-structures needed to implement a depth-first-search with reversible states.
StateStack Generic Stack that can be saved and restored through the StateManager.saveState() / StateManager.restoreState() methods.

Classes in minicp.state used by minicp.search

Class and Description
StateManager The StateManager exposes all the mechanisms and data-structures needed to implement a depth-first-search with reversible states.

Classes in minicp.state used by minicp.state

Class and Description
StateBool Object that wraps a boolean value that can be saved and restored through the StateManager.saveState() / StateManager.restoreState() methods.
StateEntry A StateEntry is aimed to be stored by a StateManager to revert some state
StateInt Object that wraps an integer value that can be saved and restored through the StateManager.saveState() / StateManager.restoreState() methods.
StateManager The StateManager exposes all the mechanisms and data-structures needed to implement a depth-first-search with reversible states.
StateMap A generic map that can revert its state with StateManager.saveState() / StateManager.restoreState() methods.
Storage Object that can be saved by the Copier.
Trailer StateManager that will lazily store the state of state object at each Trailer.saveState() call.