StateLocalInput (AutomataLib 0.11.0 API)

Type Parameters:

S - state type

I - input symbol type

All Known Subinterfaces:

StateLocalInputMealyMachine<S,I,T,O>

All Known Implementing Classes:

AbstractCompact, AbstractCompactDeterministic, AbstractCompactMTS, AbstractCompactSimpleDeterministic, AbstractCompactSimpleNondet, AbstractFastMutable, AbstractFastMutableDet, AbstractFastMutableNondet, CompactDFA, CompactMealy, CompactMoore, CompactMTS, CompactNFA, CompactSST, FastDFA, FastMealy, FastMoore, FastNFA, FastProbMealy, UniversalCompactDet, 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.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	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.