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 © 2015. All Rights Reserved.