Package owl.automaton

Interface EdgeMapAutomatonMixin<S,​A extends OmegaAcceptance>

    • Method Detail

      • 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.
      • edgeTree

        default ValuationTree<Edge<S>> edgeTree​(S state)
        Description copied from interface: Automaton
        Returns a decision-tree with nodes labelled by literals and sets of edges as leaves.
        Specified by:
        edgeTree in interface Automaton<S,​A extends OmegaAcceptance>
        Parameters:
        state - The state.
        Returns:
        A tree.