Package owl.automaton

Interface LabelledEdgesAutomatonMixin<S,A extends OmegaAcceptance>

    • Method Detail

      • successors

        default Set<S> successors​(S state)
        Description copied from interface: Automaton
        Returns all successors of the specified state.
        Specified by:
        successors in interface Automaton<S,A extends OmegaAcceptance>
        Parameters:
        state - The starting state of the transition.
        Returns:
        The successor set.
      • edges

        default Collection<Edge<S>> edges​(S state)
        Description copied from interface: Automaton
        Returns all successor edges of the specified state under any valuation.
        Specified by:
        edges in interface Automaton<S,A extends OmegaAcceptance>
        Parameters:
        state - The starting state of the edges.
        Returns:
        The set of edges originating from state
      • edges

        default Collection<Edge<S>> edges​(S state,
                                          BitSet valuation)
        Description copied from interface: Automaton
        Returns the successor edges of the specified state under the given valuation.
        Specified by:
        edges in interface Automaton<S,A extends OmegaAcceptance>
        Parameters:
        state - The starting state of the transition.
        valuation - The valuation.
        Returns:
        The successor edges, possibly empty.