Package owl.automaton

Interface Automaton.EdgeVisitor<S>

    • Method Detail

      • visit

        void visit​(S state,
                   BitSet valuation,
                   Edge<S> edge)
        An outgoing edge of the state, might be called several times.
        Parameters:
        state - the state
        valuation - the valuation for the edge
        edge - the edge