Package owl.automaton

Class Views.AutomatonView<S,A extends OmegaAcceptance>

    • Method Detail

      • prefersLabelled

        public boolean prefersLabelled()
        Description copied from interface: Automaton
        Indicate if the automaton implements a fast computation (e.g. symbolic) of labelled edges. Returns true, if the automaton advices to use Automaton.labelledEdges(Object) and Automaton.accept(LabelledEdgeVisitor) for accessing all outgoing edges of a state.
        Returns:
        The preferred traversal method.
      • edges

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

        public Collection<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
      • labelledEdges

        public Collection<LabelledEdge<S>> labelledEdges​(S state)
        Description copied from interface: Automaton
        Returns all labelled edges of the specified state.
        Parameters:
        state - The state.
        Returns:
        All labelled edges of the state.
      • successors

        public Set<S> successors​(S state)
        Description copied from interface: Automaton
        Returns all successors of the specified state.
        Parameters:
        state - The starting state of the transition.
        Returns:
        The successor set.