Package owl.automaton

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

    • Constructor Detail

      • NonDeterministicEdgesAutomaton

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