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)
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)

Specified by:

get in interface Mapping<S,V>

put

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

Specified by:

put in interface MutableMapping<S,V>