Package owl.run.modules
Class InputReaders
- java.lang.Object
-
- owl.run.modules.InputReaders
-
public final class InputReaders extends Object
-
-
Field Summary
Fields Modifier and Type Field Description static OwlModule<OwlModule.InputReader>
HOA_INPUT_MODULE
static OwlModule<OwlModule.InputReader>
LTL_INPUT_MODULE
-
-
-
Field Detail
-
HOA_INPUT_MODULE
public static final OwlModule<OwlModule.InputReader> HOA_INPUT_MODULE
-
LTL_INPUT_MODULE
public static final OwlModule<OwlModule.InputReader> LTL_INPUT_MODULE
-
-