Package owl.translations.modules
Class LTL2NBAModule
- java.lang.Object
-
- owl.translations.modules.LTL2NBAModule
-
- All Implemented Interfaces:
OwlModuleParser<Transformer>
,OwlModuleParser.TransformerParser
public final class LTL2NBAModule extends Object implements OwlModuleParser.TransformerParser
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface owl.run.modules.OwlModuleParser
OwlModuleParser.ReaderParser, OwlModuleParser.TransformerParser, OwlModuleParser.WriterParser
-
-
Field Summary
Fields Modifier and Type Field Description static LTL2NBAModule
INSTANCE
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description String
getDescription()
String
getKey()
static void
main(String... args)
Transformer
parse(org.apache.commons.cli.CommandLine commandLine)
-
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
getOptions
-
-
-
-
Field Detail
-
INSTANCE
public static final LTL2NBAModule INSTANCE
-
-
Method Detail
-
main
public static void main(String... args)
-
parse
public Transformer parse(org.apache.commons.cli.CommandLine commandLine)
- Specified by:
parse
in interfaceOwlModuleParser<Transformer>
-
getKey
public String getKey()
- Specified by:
getKey
in interfaceOwlModuleParser<Transformer>
-
getDescription
public String getDescription()
- Specified by:
getDescription
in interfaceOwlModuleParser<Transformer>
-
-