net.automatalib.automata.helpers

Class SimpleStateIDs<S>

java.lang.Object

net.automatalib.automata.helpers.SimpleStateIDs<S>

All Implemented Interfaces:

StateIDs<S>

public class SimpleStateIDs<S>
extends Object
implements StateIDs<S>

Constructor Summary

Constructors

Constructor and Description
SimpleStateIDs(SimpleAutomaton<S,?> automaton)

Method Summary

Modifier and Type	Method and 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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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 interface StateIDs<S>

Parameters:

state - the state whose id should be retrieved

Returns:

the (positive) id of the given automaton state

getState

public S getState(int id)

Description copied from interface: StateIDs

Return for a given id the state of the automaton identified by it.

Specified by:

getState in interface StateIDs<S>

Parameters:

id - the id of the state to be returned

Returns:

the automaton state identified by the given id.