maintains enumerations of states in order to define indexing schemes
Maintains bijection between set of n unique states and range(n)
contains(states) -> bool_array
returns a boolean array of flags indicates which of the states stored in the array ‘states’ are contained in the state enumeration.
Adds the states in the array ‘sigma’ to the state enumeration.
These states must be disjoint to the existing states in this enumeration.
The indexing of existing states in this enumeration will be unchanged.
indices(states) -> index_array
returns an array of the enumeration indices for the states stored in the array ‘states’.
create(initial_states) -> StateEnum instance
instantiates a StateEnum instance using the provided ‘initial_states’.