Package owl.translations
Class LTL2DPA
- java.lang.Object
-
- owl.translations.LTL2DPA
-
public final class LTL2DPA extends Object
-
-
Method Detail
-
main
public static void main(String... args)
-
-
public final class LTL2DPA extends Object
public static void main(String... args)