public class StateIDDynamicMapping<S extends NumericID,V> extends Object implements MutableMapping<S,V>, IDChangeListener<S>
StateIDDynamicMapping(Automaton<S,?,?> automaton)
V
get(S elem)
elem
void
idChanged(S obj, int newId, int oldId)
put(S key, V value)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public StateIDDynamicMapping(Automaton<S,?,?> automaton)
public V get(S elem)
Mapping
get
Mapping<S extends NumericID,V>
public void idChanged(S obj, int newId, int oldId)
idChanged
IDChangeListener<S extends NumericID>
public V put(S key, V value)
put
MutableMapping<S extends NumericID,V>
Copyright © 2015. All rights reserved.