Package owl.automaton

Class ImplicitCachedStatesAutomaton<S,A extends OmegaAcceptance>

    • Constructor Detail

      • ImplicitCachedStatesAutomaton

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