Package owl.translations.modules
Class LTL2DAModule
- java.lang.Object
-
- owl.translations.modules.LTL2DAModule
-
public final class LTL2DAModule extends Object
-
-
Field Summary
Fields Modifier and Type Field Description static OwlModuleParser.TransformerParser
CLI
-
-
-
Field Detail
-
CLI
public static final OwlModuleParser.TransformerParser CLI
-
-
Method Detail
-
main
public static void main(String... args)
-
-