public class StateIDDynamicMapping<S extends NumericID,V> extends Object implements MutableMapping<S,V>, IDChangeListener<S>
Constructor and Description |
---|
StateIDDynamicMapping(Automaton<S,?,?> automaton) |
Modifier and Type | Method and Description |
---|---|
V |
get(S elem) |
void |
idChanged(S obj,
int newId,
int oldId) |
V |
put(S key,
V value) |
public void idChanged(S obj, int newId, int oldId)
idChanged
in interface IDChangeListener<S extends NumericID>
Copyright © 2018. All rights reserved.