Package owl.translations.ltl2ldba
Class LTL2LDGBAModule
- java.lang.Object
-
- owl.translations.ltl2ldba.AbstractLTL2LDBAModule
-
- owl.translations.ltl2ldba.LTL2LDGBAModule
-
- All Implemented Interfaces:
OwlModuleParser<Transformer>,OwlModuleParser.TransformerParser
public final class LTL2LDGBAModule extends AbstractLTL2LDBAModule
-
-
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 LTL2LDGBAModuleINSTANCE
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description StringgetDescription()StringgetKey()static voidmain(String... args)Transformerparse(org.apache.commons.cli.CommandLine commandLine)-
Methods inherited from class owl.translations.ltl2ldba.AbstractLTL2LDBAModule
getOptions, guessF, simple
-
-
-
-
Field Detail
-
INSTANCE
public static final LTL2LDGBAModule INSTANCE
-
-
Method Detail
-
main
public static void main(String... args)
-
parse
public Transformer parse(org.apache.commons.cli.CommandLine commandLine)
-
getKey
public String getKey()
-
getDescription
public String getDescription()
-
-