All Methods Instance Methods Concrete Methods
Modifier and Type
Method and Description
(int id) getState
Return for a given id the state of the automaton identified by it.
( 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
public int getStateId(
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.
getStateId StateIDs< S>
state - the state whose id should be retrieved
Returns: the (positive) id of the given automaton state
Copyright © 2020. All rights reserved.