Package owl.run.modules
Class InputReaders
- java.lang.Object
-
- owl.run.modules.InputReaders
-
public final class InputReaders extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static interface
InputReaders.CheckedCallback
-
Field Summary
Fields Modifier and Type Field Description static InputReader
HOA
static OwlModuleParser.ReaderParser
HOA_CLI
static InputReader
LTL
static OwlModuleParser.ReaderParser
LTL_CLI
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static Consumer<Object>
checkedCallback(InputReaders.CheckedCallback consumer)
-
-
-
Field Detail
-
HOA
public static final InputReader HOA
-
HOA_CLI
public static final OwlModuleParser.ReaderParser HOA_CLI
-
LTL
public static final InputReader LTL
-
LTL_CLI
public static final OwlModuleParser.ReaderParser LTL_CLI
-
-
Method Detail
-
checkedCallback
public static Consumer<Object> checkedCallback(InputReaders.CheckedCallback consumer)
-
-