Package owl.automaton

Interface Automaton.EdgeMapVisitor<S>

    • Method Detail

      • visit

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