Package owl.automaton.acceptance.degeneralization
-
Class Summary Class Description BuchiDegeneralization This class provides a conversion from generalised Büchi automata into Büchi automata.BuchiDegeneralization.IndexedState<S> RabinDegeneralization RabinDegeneralization.DegeneralizedRabinState<S>