public class StateIDDynamicMapping<S extends NumericID,V> extends Object implements MutableMapping<S,V>, IDChangeListener<S>
| Constructor and Description |
|---|
StateIDDynamicMapping(Automaton<S,?,?> automaton) |
public StateIDDynamicMapping(Automaton<S,?,?> automaton)
Copyright © 2013. All Rights Reserved.