Package owl.automaton

Class AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<S,​B extends GeneralizedBuchiAcceptance>