Package owl.automaton

Interface Automaton.EdgeTreeVisitor<S>

    • Method Detail

      • visit

        void visit​(S state,
                   ValuationTree<Edge<S>> edgeTree)
        The edge map associated with the state. Called exactly once for each state.
        Parameters:
        state - the state
        edgeTree - the edge-tree