Package owl.automaton

Class Views.AutomatonView<S,​A extends OmegaAcceptance>

    • Method Detail

      • preferredEdgeAccess

        public List<Automaton.PreferredEdgeAccess> preferredEdgeAccess()
        Description copied from interface: Automaton
        Indicate if the automaton implements a fast (e.g. symbolic) computation of edges. Returns a List containing all supported PreferredEdgeAccess ordered by their preference. Meaning the element at first position (index 0) is the most preferred. Accordingly algorithms can change the use of Automaton.edges(Object, BitSet), Automaton.edgeMap(Object), or Automaton.edgeTree(Object) for accessing all outgoing edges of a state. This information is also used to dispatch to the right visitor style.
        Returns:
        An ordered list of the traversal methods. It always contains a complete list
      • edges

        public 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.
        Parameters:
        state - The starting state of the transition.
        valuation - The valuation.
        Returns:
        The successor edges, possibly empty.
      • edges

        public Set<Edge<S>> edges​(S state)
        Description copied from interface: Automaton
        Returns all successor edges of the specified state under any valuation.
        Parameters:
        state - The starting state of the edges.
        Returns:
        The set of edges originating from state
      • edgeMap

        public 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.
        Parameters:
        state - The state.
        Returns:
        All labelled edges of the state.
      • edgeTree

        public 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.
        Parameters:
        state - The state.
        Returns:
        A tree.