Package owl.automaton

Interface EdgesAutomatonMixin<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
      • 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.
      • 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.