Package owl.ltl.parser
Class LtlfParser
- java.lang.Object
-
- owl.ltl.parser.LtlfParser
-
public final class LtlfParser 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)
static LabelledFormula
parseAndTranslateToLtl(String string)
static LabelledFormula
parseAndTranslateToLtl(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)
-
parseAndTranslateToLtl
public static LabelledFormula parseAndTranslateToLtl(String string)
-
parseAndTranslateToLtl
public static LabelledFormula parseAndTranslateToLtl(String string, @Nullable List<String> atomicPropositions)
-
-