net.automatalib.automata.concepts

Interface StateLocalInput<S,I>

Type Parameters:

S - state type

I - input symbol type

All Known Subinterfaces:

StateLocalInputMealyMachine<S,I,T,O>

All Known Implementing Classes:

AbstractCompact, AbstractCompactDeterministic, AbstractCompactSimpleDeterministic, AbstractCompactSimpleNondet, AbstractFastMutable, AbstractFastMutableDet, AbstractFastMutableNondet, CompactDFA, CompactMealy, CompactMoore, CompactNFA, FastDFA, FastMealy, FastMoore, FastNFA, FastProbMealy, UniversalCompactSimpleDet

public interface StateLocalInput<S,I>

Concept for transition systems, that can for each state return the set of input symbols for which successor states are defined. Providing this information can prove useful in situations where managing a global input alphabet may not be possible or (blindly) checking the existence of a transitions using a global alphabet is an expensive operation.

Author:

Maren Geske, frohme

Method Summary

Modifier and Type	Method and Description
Collection<I>	getLocalInputs(S state) Returns the collection of input symbols for which a successor state is defined.

Method Detail

getLocalInputs

Collection<I> getLocalInputs(S state)

Returns the collection of input symbols for which a successor state is defined.

Parameters:

state - the state for which the defined inputs should be returned

Returns:

the collection of input symbols for which a successor state is defined.