Interface StateLocalInput<S,I>
-
- Type Parameters:
S
- state typeI
- input symbol type
- All Known Subinterfaces:
StateLocalInputMealyMachine<S,I,T,O>
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.
-
-