net.automatalib.automata.helpers

Class StateIDGrowingMapping<S,V>

java.lang.Object

net.automatalib.automata.helpers.StateIDGrowingMapping<S,V>

All Implemented Interfaces:

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

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
V	get(S elem)
V	put(S 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

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,
             V value)

Specified by:

put in interface MutableMapping<S,V>