net.automatalib.automata.base

Class StateIDDynamicMapping<S extends NumericID,V>

java.lang.Object

net.automatalib.automata.base.StateIDDynamicMapping<S,V>

All Implemented Interfaces:

Mapping<S,V>, MutableMapping<S,V>, IDChangeListener<S>

public class StateIDDynamicMapping<S extends NumericID,V>
extends Object
implements MutableMapping<S,V>, IDChangeListener<S>

Constructor Summary

Constructors

Constructor and Description
StateIDDynamicMapping(Automaton<S,?,?> automaton)

Method Summary

Methods

Modifier and Type	Method and Description
V	get(S elem)
void	idChanged(S obj, int newId, int oldId)
V	put(S key, V value)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StateIDDynamicMapping

public StateIDDynamicMapping(Automaton<S,?,?> automaton)

Method Detail

get

public V get(S elem)

Specified by:

get in interface Mapping<S extends NumericID,V>

idChanged

public void idChanged(S obj,
             int newId,
             int oldId)

Specified by:

idChanged in interface IDChangeListener<S extends NumericID>

put

public V put(S key,
    V value)

Specified by:

put in interface MutableMapping<S extends NumericID,V>