Module org.maxicp
Package org.maxicp.state.datastructures
package org.maxicp.state.datastructures
Backtrackable data structures (e.g., sparse-sets, maps, stack, intervals, bitsets)
-
ClassesClassDescriptionBitset abstract classImplementation of an interval that can saved and restored through the
StateManager.saveState()/StateManager.restoreState()methods.A sparse-set that lazily switch from a dense interval representation to a sparse-set representation when a hole is created in the interval.Class to represent a bit-set that can be saved and restored through theStateManager.saveState()/StateManager.restoreState()Set implemented using a sparse-set data structure that can be saved and restored through theStateManager.saveState()/StateManager.restoreState()methods.StateStack<E>Generic Stack that can be saved and restored through theStateManager.saveState()/StateManager.restoreState()methods.Tri-partition sparse-set data structure that can be saved and restored through theStateManager.saveState()/StateManager.restoreState()methods.