Package owl.automaton

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

    • Constructor Detail

      • NonDeterministicEdgeMapAutomaton

        public NonDeterministicEdgeMapAutomaton​(ValuationSetFactory factory,
                                                Set<S> initialStates,
                                                A acceptance)