Package owl.automaton

Interface EdgeTreeAutomatonMixin<S,​A extends OmegaAcceptance>

    • Method Detail

      • edgeMap

        default Map<Edge<S>,​ValuationSet> edgeMap​(S state)
        Description copied from interface: Automaton
        Returns a mapping from all outgoing edges to their valuations of the specified state.
        Specified by:
        edgeMap in interface Automaton<S,​A extends OmegaAcceptance>
        Parameters:
        state - The state.
        Returns:
        All labelled edges of the state.
      • edges

        default Set<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 Set<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.