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 interfaceInputReaders.CheckedCallbackstatic classInputReaders.HoaReader
-
Field Summary
Fields Modifier and Type Field Description static InputReaderHOAstatic OwlModuleParser.ReaderParserHOA_CLIstatic InputReaderLTLstatic OwlModuleParser.ReaderParserLTL_CLIstatic InputReaderTLSFstatic OwlModuleParser.ReaderParserTLSF_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
-
TLSF
public static final InputReader TLSF
-
TLSF_CLI
public static final OwlModuleParser.ReaderParser TLSF_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)
-
-