net.automatalib.automata.base

Class StateIDGrowingMapping<S,V>

java.lang.Object

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

All Implemented Interfaces:

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

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

Constructor Summary

Constructors

Constructor and Description
StateIDGrowingMapping(Automaton<S,?,?> automaton, StateIDs<S> stateIds)

Method Summary

Methods

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

Constructor Detail

StateIDGrowingMapping

public StateIDGrowingMapping(Automaton<S,?,?> automaton,
                     StateIDs<S> stateIds)

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>