owl.automaton.transformations
Classes
ParityUtil
RabinDegeneralization
RabinDegeneralization.DegeneralizedRabinState