Package owl.translations.ltl2ldba
Class AbstractLTL2LDBAModule
- java.lang.Object
-
- owl.translations.ltl2ldba.AbstractLTL2LDBAModule
-
- All Implemented Interfaces:
OwlModuleParser<Transformer>
,OwlModuleParser.TransformerParser
- Direct Known Subclasses:
LTL2LDBAModule
,LTL2LDGBAModule
public abstract class AbstractLTL2LDBAModule extends Object implements OwlModuleParser.TransformerParser
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface owl.run.modules.OwlModuleParser
OwlModuleParser.ReaderParser, OwlModuleParser.TransformerParser, OwlModuleParser.WriterParser
-
-
Constructor Summary
Constructors Constructor Description AbstractLTL2LDBAModule()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description org.apache.commons.cli.Options
getOptions()
static org.apache.commons.cli.Option
guessF()
static org.apache.commons.cli.Option
simple()
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface owl.run.modules.OwlModuleParser
getDescription, getKey, parse
-
-
-
-
Method Detail
-
guessF
public static org.apache.commons.cli.Option guessF()
-
simple
public static org.apache.commons.cli.Option simple()
-
getOptions
public org.apache.commons.cli.Options getOptions()
- Specified by:
getOptions
in interfaceOwlModuleParser<Transformer>
-
-