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(String string)
static LabelledFormula
parse(String string, List<String> atomicPropositions)
-
-
-
Method Detail
-
parse
public static LabelledFormula parse(String string)
-
parse
public static LabelledFormula parse(String string, @Nullable List<String> atomicPropositions)
-
-