public interface StateIndex<S>
int
getId(S state)
getNumberOfStates()
S
getState(int id)
default boolean
isEmpty()
int getNumberOfStates()
int getId(S state)
S getState(int id)
default boolean isEmpty()