Package net.automatalib.automaton.helper

Class StateIDGrowingMapping<S,V>

java.lang.Object

net.automatalib.automaton.helper.StateIDGrowingMapping<S,V>

All Implemented Interfaces:

Function<S,V>, Mapping<S,V>, MutableMapping<S,V>

public class StateIDGrowingMapping<S,@Nullable V>
extends Object
implements MutableMapping<S,V>

Constructor Summary

Constructors

Constructor	Description
StateIDGrowingMapping(StateIDs<S> stateIds, int size)

Method Summary

Modifier and Type	Method	Description
V	get(S elem)	Get the range object elem maps to.
V	put(S 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

StateIDGrowingMapping

public StateIDGrowingMapping(StateIDs<S> stateIds,
                             int size)

Method Detail

get

public V get(S elem)

Description copied from interface: Mapping

Get the range object elem maps to.

Specified by:

get in interface Mapping<S,V>

Parameters:

elem - object from the domain.

Returns:

the object from the range corresponding to elem.

put

public V put(S key,
             @Nullable V value)

Specified by:

put in interface MutableMapping<S,V>