Class Hierarchy
- java.lang.Object
- owl.automaton.transformations.BuchiDegeneralization
- owl.automaton.transformations.ParityUtil
- owl.run.modules.Transformers.SimpleTransformer (implements owl.run.modules.Transformer, owl.run.modules.Transformer.Instance)
- owl.automaton.transformations.RabinDegeneralization