public final class InputReaders
extends java.lang.Object
Modifier and Type | Class | Description |
---|---|---|
static class |
InputReaders.HoaReader |
Modifier and Type | Field | Description |
---|---|---|
static InputReader |
HOA |
|
static OwlModuleParser.ReaderParser |
HOA_CLI |
|
static InputReader |
LTL |
|
static OwlModuleParser.ReaderParser |
LTL_CLI |
|
static InputReader |
TLSF |
|
static OwlModuleParser.ReaderParser |
TLSF_CLI |
public static final InputReader HOA
public static final OwlModuleParser.ReaderParser HOA_CLI
public static final InputReader TLSF
public static final InputReader LTL
public static final OwlModuleParser.ReaderParser LTL_CLI
public static final OwlModuleParser.ReaderParser TLSF_CLI