Uses of Interface
org.maxicp.state.StateManager

Packages that use StateManager

Package	Description
org.maxicp.cp.engine.core	Solver objects
org.maxicp.cp.modeling	CP Instantiation of the Symbolic Modeling API
org.maxicp.modeling.concrete	Concrete modeling API
org.maxicp.search	Search API
org.maxicp.state	State Management (trailer, copier, etc.)
org.maxicp.state.copy	Copier strategy for state restoration
org.maxicp.state.datastructures	Backtrackable data structures (e.g., sparse-sets, maps, stack, intervals, bitsets)
org.maxicp.state.trail	Trail strategy for state restoration

Uses of StateManager in org.maxicp.cp.engine.core

Methods in org.maxicp.cp.engine.core that return StateManager

Modifier and Type	Method	Description
StateManager	MaxiCP.getStateManager()

Constructors in org.maxicp.cp.engine.core with parameters of type StateManager

Modifier	Constructor	Description
	MaxiCP(StateManager sm)
	MaxiCP(StateManager sm, ModelProxy modelProxy)
	SparseSetDomain(StateManager sm, int min, int max)
	TriPartitionSetDomain(StateManager sm, int n)	Creates a tripartition domain with elements {0..n-1} possible

Uses of StateManager in org.maxicp.cp.modeling

Methods in org.maxicp.cp.modeling that return StateManager

Modifier and Type	Method	Description
StateManager	ConcreteCPModel.getStateManager()

Methods in org.maxicp.cp.modeling that return types with arguments of type StateManager

Modifier and Type	Method	Description
Supplier<StateManager>	CPModelInstantiator.Instantiator.stateManagerSupplier()	Returns the value of the stateManagerSupplier record component.

Constructor parameters in org.maxicp.cp.modeling with type arguments of type StateManager

Modifier	Constructor	Description
	Instantiator(Supplier<StateManager> stateManagerSupplier)	Creates an instance of a Instantiator record class.

Uses of StateManager in org.maxicp.modeling.concrete

Methods in org.maxicp.modeling.concrete that return StateManager

Modifier and Type	Method	Description
StateManager	ConcreteModelProxy.getStateManager()

Uses of StateManager in org.maxicp.search

Fields in org.maxicp.search declared as StateManager

Modifier and Type	Field	Description
protected StateManager	AbstractSearchMethod.sm

Methods in org.maxicp.search with parameters of type StateManager

Modifier and Type	Method	Description
void	DFSLinearizer.restoreState(StateManager sm)
default void	DFSListener.restoreState(StateManager sm)
void	DFSLinearizer.saveState(StateManager sm)
default void	DFSListener.saveState(StateManager sm)

Constructors in org.maxicp.search with parameters of type StateManager

Modifier	Constructor	Description
	AbstractConcurrentSearchMethod(StateManager sm, Supplier<SymbolicModel[]> branching)
	AbstractSearchMethod(StateManager sm, Supplier<T[]> branching)
	DFSearch(StateManager sm, Supplier<Runnable[]> branching)
	RunnableSearchMethod(StateManager sm, Supplier<Runnable[]> branching)
	SymbolicSearchMethod(StateManager sm, Supplier<SymbolicModel[]> branching)

Uses of StateManager in org.maxicp.state

Methods in org.maxicp.state that return StateManager

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

Uses of StateManager in org.maxicp.state.copy

Classes in org.maxicp.state.copy that implement StateManager

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

Uses of StateManager in org.maxicp.state.datastructures

Constructors in org.maxicp.state.datastructures with parameters of type StateManager

Modifier	Constructor	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 {ofs,ofs+1,...,ofs+n-1}.
	StateSparseBitSet(StateManager sm, int n)	Creates a StateSparseSet with n bits, initially all set (value 1 for all)
	StateSparseSet(StateManager sm, int n, int ofs)	Creates a set containing the elements {ofs,ofs+1,...,ofs+n-1}.
	StateSparseSet(StateManager sm, Set<Integer> values)	Creates a set containing the elements of values.
	StateStack(StateManager sm)	Creates a restorable stack.
	StateTriPartition(StateManager sm, int n)	Creates a tri-partition with the elements {I : {}, P: {0,...,n-1}, E: {}}.
	StateTriPartition(StateManager sm, int minInclusive, int maxInclusive)	Creates a tri-partition with the elements {I : {}, P: {min,...,max}, E: {}}.
	StateTriPartition(StateManager sm, Set<Integer> values)	Creates a tri-partition with the elements {R : {}, P: values, E: {}}

Uses of StateManager in org.maxicp.state.trail

Classes in org.maxicp.state.trail that implement StateManager

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