Package owl.automaton

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

    • Constructor Detail

      • NonDeterministicEdgeTreeAutomaton

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