Interface SimpleTS<S,​I>

    • Method Detail

      • getSuccessors

        default Set<S> getSuccessors​(S state,
                                     Iterable<? extends I> input)
        Retrieves the set of successors for the given sequence of input symbols.
        Parameters:
        state - the source state.
        input - the sequence of input symbols.
        Returns:
        the set of successors reachable by this input.
      • getSuccessors

        default Set<S> getSuccessors​(Collection<? extends S> states,
                                     Iterable<? extends I> input)
        Retrieves the set of all successors that can be reached from any of the given source states by the specified sequence of input symbols.
        Parameters:
        states - the source states.
        input - the sequence of input symbols.
        Returns:
        the set of successors reachable by this input, or null if no successor states are reachable.
      • getSuccessors

        Set<S> getSuccessors​(S state,
                             I input)
        Retrieves the set of successors for the given input symbol.
        Parameters:
        state - the source state.
        input - the input symbol.
        Returns:
        the set of successors reachable by this input.
      • getStates

        default Set<S> getStates​(Iterable<? extends I> input)
        Retrieves the set of all states reachable by the given sequence of input symbols from an initial state. Calling this method is equivalent to getSuccessors(getInitialStates(), input).
        Parameters:
        input - the sequence of input symbols.
        Returns:
        the set of states reachable by this input from an initial state, or null if no successor state is reachable.
      • getInitialStates

        Set<S> getInitialStates()
        Retrieves the set of initial states of the transition system.
        Returns:
        the initial states.
      • createStaticStateMapping

        default <@Nullable V> MutableMapping<S,​V> createStaticStateMapping()
        Creates a MutableMapping allowing to associate arbitrary data with this transition system's states. The returned mapping is however only guaranteed to work correctly if the transition system is not modified.
        Type Parameters:
        V - the value type of the mapping
        Returns:
        the mutable mapping
      • createDynamicStateMapping

        default <@Nullable V> MutableMapping<S,​V> createDynamicStateMapping()
        Creates a MutableMapping allowing to associate arbitrary data with this transition system's states. The returned mapping maintains the association even when the transition system is modified.
        Type Parameters:
        V - the value type of the mapping
        Returns:
        the mutable mapping