public class SimpleStateIDs<S> extends Object implements StateIDs<S>
| Constructor and Description |
|---|
SimpleStateIDs(Automaton<S,?,?> automaton) |
public SimpleStateIDs(Automaton<S,?,?> automaton)
public int getStateId(S state)
getStateId in interface StateIDs<S>Copyright © 2013. All Rights Reserved.