Package owl.ltl.parser
Class LtlParser
- java.lang.Object
-
- owl.ltl.parser.LtlParser
-
public final class LtlParser extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static LabelledFormula
parse(InputStream input)
static LabelledFormula
parse(String input)
static LabelledFormula
parse(String input, List<String> literals)
static Formula
syntax(String input)
static Formula
syntax(String input, List<String> literals)
-
-
-
Method Detail
-
parse
public static LabelledFormula parse(String input)
-
parse
public static LabelledFormula parse(InputStream input) throws IOException
- Throws:
IOException
-
parse
public static LabelledFormula parse(String input, @Nullable List<String> literals)
-
-