Class Hierarchy
- java.lang.Object
- owl.translations.modules.LTL2DAModule
- owl.translations.modules.LTL2DGRAModule
- owl.translations.modules.LTL2DPAModule (implements owl.run.modules.OwlModuleParser.TransformerParser)
- owl.translations.modules.LTL2DRAModule
- owl.translations.modules.LTL2LDBAModule
- owl.translations.modules.LTL2LDGBAModule
- owl.translations.modules.LTL2NAModule
- owl.translations.modules.LTL2NBAModule (implements owl.run.modules.OwlModuleParser.TransformerParser)
- owl.translations.modules.LTL2NGBAModule (implements owl.run.modules.OwlModuleParser.TransformerParser)