Package net.automatalib.automaton.helper
Class SimpleStateIDs<S>
- java.lang.Object
-
- net.automatalib.automaton.helper.SimpleStateIDs<S>
-
-
Constructor Summary
Constructors Constructor Description SimpleStateIDs(SimpleAutomaton<S,?> automaton)
-
Method Summary
All Methods Instance Methods Concrete 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.
-
-
-
Constructor Detail
-
SimpleStateIDs
public SimpleStateIDs(SimpleAutomaton<S,?> automaton)
-
-
Method Detail
-
getStateId
public int getStateId(S state)
Description copied from interface:StateIDs
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.- Specified by:
getStateId
in interfaceStateIDs<S>
- Parameters:
state
- the state whose id should be retrieved- Returns:
- the (positive) id of the given automaton state
-
-