Uses of Package
org.maxicp.state
Packages that use org.maxicp.state
Package
Description
Constraints implementation (propagators)
Constraints implementation for Scheduling over Interval Variables and Cumulative Functions
Solver objects
CP Instantiation of the Symbolic Modeling API
Concrete modeling API
Search API
State Management (trailer, copier, etc.)
Copier strategy for state restoration
Backtrackable data structures (e.g., sparse-sets, maps, stack, intervals, bitsets)
Trail strategy for state restoration
-
Classes in org.maxicp.state used by org.maxicp.cp.engine.constraintsClassDescriptionObject that wraps an integer value that can be saved and restored through the
StateManager.saveState()/StateManager.restoreState()methods. -
Classes in org.maxicp.state used by org.maxicp.cp.engine.constraints.schedulingClassDescriptionObject that wraps an integer value that can be saved and restored through the
StateManager.saveState()/StateManager.restoreState()methods. -
Classes in org.maxicp.state used by org.maxicp.cp.engine.coreClassDescriptionThe StateManager exposes all the mechanisms and data-structures needed to implement a depth-first-search with reversible states.
-
Classes in org.maxicp.state used by org.maxicp.cp.modelingClassDescriptionThe StateManager exposes all the mechanisms and data-structures needed to implement a depth-first-search with reversible states.
-
Classes in org.maxicp.state used by org.maxicp.modeling.concreteClassDescriptionThe StateManager exposes all the mechanisms and data-structures needed to implement a depth-first-search with reversible states.
-
Classes in org.maxicp.state used by org.maxicp.searchClassDescriptionThe StateManager exposes all the mechanisms and data-structures needed to implement a depth-first-search with reversible states.
-
Classes in org.maxicp.state used by org.maxicp.stateClassDescriptionObject that wraps a reference and can be saved and restored through the
StateManager.saveState()/StateManager.restoreState()methods.A StateEntry is aimed to be stored by a StateManager to revert some stateObject that wraps an integer value that can be saved and restored through theStateManager.saveState()/StateManager.restoreState()methods.Object that wraps an integer value that can be saved and restored through theStateManager.saveState()/StateManager.restoreState()methods.The StateManager exposes all the mechanisms and data-structures needed to implement a depth-first-search with reversible states.A generic map that can revert its state withStateManager.saveState()/StateManager.restoreState()methods. -
Classes in org.maxicp.state used by org.maxicp.state.copyClassDescriptionObject that wraps a reference and can be saved and restored through the
StateManager.saveState()/StateManager.restoreState()methods.A StateEntry is aimed to be stored by a StateManager to revert some stateObject that wraps an integer value that can be saved and restored through theStateManager.saveState()/StateManager.restoreState()methods.Object that wraps an integer value that can be saved and restored through theStateManager.saveState()/StateManager.restoreState()methods.The StateManager exposes all the mechanisms and data-structures needed to implement a depth-first-search with reversible states.A generic map that can revert its state withStateManager.saveState()/StateManager.restoreState()methods.Object that can be saved by theCopier. -
Classes in org.maxicp.state used by org.maxicp.state.datastructuresClassDescriptionObject that wraps an integer value that can be saved and restored through the
StateManager.saveState()/StateManager.restoreState()methods.The StateManager exposes all the mechanisms and data-structures needed to implement a depth-first-search with reversible states. -
Classes in org.maxicp.state used by org.maxicp.state.trailClassDescriptionObject that wraps a reference and can be saved and restored through the
StateManager.saveState()/StateManager.restoreState()methods.A StateEntry is aimed to be stored by a StateManager to revert some stateObject that wraps an integer value that can be saved and restored through theStateManager.saveState()/StateManager.restoreState()methods.Object that wraps an integer value that can be saved and restored through theStateManager.saveState()/StateManager.restoreState()methods.The StateManager exposes all the mechanisms and data-structures needed to implement a depth-first-search with reversible states.A generic map that can revert its state withStateManager.saveState()/StateManager.restoreState()methods.