Class Hierarchy
- java.lang.Object
- owl.automaton.acceptance.optimization.AcceptanceOptimizations
- owl.automaton.acceptance.optimization.AcceptanceOptimizations.AcceptanceOptimizationTransformer (implements owl.run.modules.OwlModule.AutomatonTransformer)
- owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations
- owl.automaton.acceptance.optimization.ParityAcceptanceOptimizations