Interface StateLocalInput<S,​I>

  • Type Parameters:
    S - state type
    I - 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 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.