Uses of Interface
minicp.state.StateManager

Packages that use StateManager

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

Uses of StateManager in minicp.engine.core

Methods in minicp.engine.core that return StateManager

Modifier and Type	Method and Description
StateManager	MiniCP.getStateManager()
StateManager	Solver.getStateManager() Returns the state manager in charge of the global state of the solver.

Constructors in minicp.engine.core with parameters of type StateManager

Constructor and Description
MiniCP(StateManager sm)
SparseSetDomain(StateManager sm, int min, int max)

Uses of StateManager in minicp.search

Constructors in minicp.search with parameters of type StateManager

Constructor and Description
DFSearch(StateManager sm, Supplier<Procedure[]> branching) Creates a Depth First Search object with a given branching that defines the search tree dynamically.

Uses of StateManager in minicp.state

Classes in minicp.state that implement StateManager

Modifier and Type	Class and Description
class	Copier StateManager that will store the state of every created elements at each Copier.saveState() call.
class	Trailer StateManager that will lazily store the state of state object at each Trailer.saveState() call.

Constructors in minicp.state with parameters of type StateManager

Constructor and Description
StateInterval(StateManager sm, int min, int max) Creates an interval that can be saved and restored with the saveState() / restoreState() methods.
StateLazySparseSet(StateManager sm, int n, int ofs) Creates a set containing the elements {@code {ofs,ofs+1,...
StateSparseSet(StateManager sm, int n, int ofs) Creates a set containing the elements {@code {ofs,ofs+1,...
StateStack(StateManager sm) Creates a restorable stack.