Package owl.translations.modules
Class LTL2DRAModule
- java.lang.Object
-
- owl.translations.modules.LTL2DRAModule
-
public final class LTL2DRAModule extends Object
-
-
Field Summary
Fields Modifier and Type Field Description static OwlModule<OwlModule.Transformer>
MODULE
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static void
main(String... args)
static Function<LabelledFormula,Automaton<?,RabinAcceptance>>
translation(Environment environment, boolean useSymmetric, boolean usePortfolio, RabinizerConfiguration configuration)
-
-
-
Field Detail
-
MODULE
public static final OwlModule<OwlModule.Transformer> MODULE
-
-
Method Detail
-
main
public static void main(String... args) throws IOException
- Throws:
IOException
-
translation
public static Function<LabelledFormula,Automaton<?,RabinAcceptance>> translation(Environment environment, boolean useSymmetric, boolean usePortfolio, @Nullable RabinizerConfiguration configuration)
-
-