public final class LtlParser
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
static LabelledFormula |
parse(java.io.InputStream input) |
|
static LabelledFormula |
parse(java.lang.String input) |
|
static LabelledFormula |
parse(java.lang.String input,
java.util.List<java.lang.String> literals) |
|
static Formula |
syntax(java.lang.String input) |
|
static Formula |
syntax(java.lang.String input,
java.util.List<java.lang.String> literals) |
public static LabelledFormula parse(java.lang.String input)
public static LabelledFormula parse(java.io.InputStream input) throws java.io.IOException
java.io.IOException
public static LabelledFormula parse(java.lang.String input, @Nullable java.util.List<java.lang.String> literals)
public static Formula syntax(java.lang.String input)
public static Formula syntax(java.lang.String input, @Nullable java.util.List<java.lang.String> literals)