StateIDs (AutomataLib 0.12.0 API)

Type Parameters:

S - state type of the automaton

All Known Implementing Classes:

AbstractCompact, AbstractCompactDeterministic, AbstractCompactMTS, AbstractCompactSimpleDeterministic, AbstractCompactSimpleNondet, AbstractFastMutable, AbstractFastMutableDet, AbstractFastMutableNondet, CompactDFA, CompactMealy, CompactMoore, CompactMTS, CompactNFA, CompactSimpleAutomaton, CompactSST, FastDFA, FastMealy, FastMoore, FastNFA, FastProbMealy, SimpleStateIDs, UniversalCompactDet, UniversalCompactSimpleDet
```
public interface StateIDs<S>
```
An interface for translating between automaton states and their primitive representations as integers.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`S`	`getState(int id)`	Return for a given id the state of the automaton identified by it.
`int`	`getStateId(S state)`	Returns for a given state of the automaton an integer uniquely identifying the state.

- Method Detail
  - getStateId
```
int getStateId(S state)
```
    Returns for a given state of the automaton an integer uniquely identifying the state. The returned ids should be within the range of the number of states of the automaton so that they can be used for array-based indexing.
    
    Parameters:
    
    state - the state whose id should be retrieved
    
    Returns:
    
    the (positive) id of the given automaton state
    
    Throws:
    
    IllegalArgumentException - if state does not belong to the automaton.
  - getState
```
S getState(int id)
```
    Return for a given id the state of the automaton identified by it.
    
    Parameters:
    
    id - the id of the state to be returned
    
    Returns:
    
    the automaton state identified by the given id.
    
    Throws:
    
    IndexOutOfBoundsException - if the given id does not identify a state of the automaton.