Package owl.run.modules
Interface OwlModuleParser.TransformerParser
-
- All Superinterfaces:
OwlModuleParser<Transformer>
- All Known Implementing Classes:
AbstractLTL2LDBAModule
,LTL2DPACliParser
,LTL2DRACliParser
,LTL2LDBAModule
,LTL2LDGBAModule
,RabinizerCliParser
- Enclosing interface:
- OwlModuleParser<M extends OwlModule>
public static interface OwlModuleParser.TransformerParser extends OwlModuleParser<Transformer>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface owl.run.modules.OwlModuleParser
OwlModuleParser.ReaderParser, OwlModuleParser.TransformerParser, OwlModuleParser.WriterParser
-
-
Method Summary
-
Methods inherited from interface owl.run.modules.OwlModuleParser
getDescription, getKey, getOptions, parse
-
-