Package net.automatalib.common.util.mapping

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

Modifier and Type	Method	Description
V	get(K elem)	Get the range object elem maps to.
void	idChanged(K obj, int newId, int oldId)
V	put(K key, @Nullable V value)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.Function

andThen, compose

Methods inherited from interface net.automatalib.common.util.mapping.Mapping

apply

Constructor Detail

ArrayMapping

public ArrayMapping()

ArrayMapping

public ArrayMapping(int initialSize)

Method Detail

get

public V get(K elem)

Description copied from interface: Mapping

Get the range object elem maps to.

Specified by:

get in interface Mapping<K extends NumericID,V>

Parameters:

elem - object from the domain.

Returns:

the object from the range corresponding to elem.

put

public V put(K key,
             @Nullable 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>