owl.automaton.transformations
Classes
BuchiDegeneralization
ParityUtil
RabinDegeneralization