Class ArrayMapping<K extends NumericID,V>
- java.lang.Object
-
- net.automatalib.common.util.mapping.ArrayMapping<K,V>
-
- All Implemented Interfaces:
Function<K,V>
,Mapping<K,V>
,MutableMapping<K,V>
,IDChangeListener<K>
public final class ArrayMapping<K extends NumericID,@Nullable V> extends Object implements MutableMapping<K,V>, IDChangeListener<K>
-
-
Constructor Summary
Constructors Constructor Description ArrayMapping()
ArrayMapping(int initialSize)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description V
get(K elem)
Get the range objectelem
maps to.void
idChanged(K obj, int newId, int oldId)
V
put(K key, @Nullable V value)
-
-
-
Method Detail
-
get
public V get(K elem)
Description copied from interface:Mapping
Get the range objectelem
maps to.
-
put
public V put(K key, @Nullable V value)
- Specified by:
put
in interfaceMutableMapping<K extends NumericID,V>
-
idChanged
public void idChanged(K obj, int newId, int oldId)
- Specified by:
idChanged
in interfaceIDChangeListener<K extends NumericID>
-
-