Class Hierarchy
- java.lang.Object
- owl.automaton.acceptance.optimizations.AcceptanceOptimizations
- owl.automaton.acceptance.optimizations.GeneralizedRabinAcceptanceOptimizations
- owl.automaton.acceptance.optimizations.OmegaAcceptanceOptimizations
- owl.automaton.acceptance.optimizations.ParityAcceptanceOptimizations
- owl.run.modules.Transformers.SimpleTransformer (implements owl.run.modules.Transformer, owl.run.modules.Transformer.Instance)
- owl.automaton.acceptance.optimizations.AcceptanceOptimizations.AcceptanceOptimizationTransformer