Package owl.automaton

Class AbstractImmutableAutomaton.SemiDeterministicEdgesAutomaton<S,​A extends OmegaAcceptance>

    • Constructor Detail

      • SemiDeterministicEdgesAutomaton

        public SemiDeterministicEdgesAutomaton​(ValuationSetFactory factory,
                                               Set<S> initialStates,
                                               A acceptance)
    • Method Detail

      • edge

        public abstract Edge<S> edge​(S state,
                                     BitSet valuation)
        Description copied from interface: Automaton
        Returns the successor edge of the specified state under the given valuation. Returns some edge if there is a non-deterministic choice in this state for the specified valuation.

        If you want to check if this is the unique edge use the Automaton.edges(Object, BitSet) method.

        Specified by:
        edge in interface Automaton<S,​A extends OmegaAcceptance>
        Parameters:
        state - The starting state of the transition.
        valuation - The valuation.
        Returns:
        A successor edge or null if none.
        See Also:
        Automaton.edgeMap(Object)
      • edges

        public final 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.