net.automatalib.commons.util.mappings

Class ArrayMapping<K extends NumericID,V>

java.lang.Object

net.automatalib.commons.util.mappings.ArrayMapping<K,V>

All Implemented Interfaces:

Function<K,V>, Mapping<K,V>, MutableMapping<K,V>, IDChangeListener<K>

public final class ArrayMapping<K extends NumericID,V>
extends Object
implements MutableMapping<K,V>, IDChangeListener<K>

Constructor Summary

Constructors

Constructor and Description
ArrayMapping()
ArrayMapping(int initialSize)

Method Summary

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.commons.util.mappings.Mapping

apply

Methods inherited from interface java.util.function.Function

andThen, compose, identity

Constructor Detail

ArrayMapping

public ArrayMapping()

ArrayMapping

public ArrayMapping(int initialSize)

Method Detail

get

public V get(K elem)

Specified by:

get in interface Mapping<K extends NumericID,V>

put

public V put(K key,
             V value)

Specified by:

put in interface MutableMapping<K extends NumericID,V>

idChanged

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

Specified by:

idChanged in interface IDChangeListener<K extends NumericID>