Package owl.ltl.parser

Class LtlfParser

java.lang.Object

owl.ltl.parser.LtlfParser

public final class LtlfParser
extends Object

Method Summary

Modifier and Type	Method	Description
static LabelledFormula	parse(String formula)	Parses the LTL formula of the given string as an LTL formula on finite words.
static LabelledFormula	parse(String formula, List<String> atomicPropositions)	Parses the LTL formula of the given string as an LTL formula on finite words.
static LabelledFormula	parseAndTranslateToLtl(String formula)
static LabelledFormula	parseAndTranslateToLtl(String formula, List<String> atomicPropositions)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

parse

public static LabelledFormula parse(String formula)

Parses the LTL formula of the given string as an LTL formula on finite words.

Parameters:

formula - the string containing the formula.

Returns:

the syntax tree of the formula annotated with a list of atomic propositions.

parse

public static LabelledFormula parse(String formula,
                                    @Nullable
                                    List<String> atomicPropositions)

Parses the LTL formula of the given string as an LTL formula on finite words.

Parameters:

formula - the string containing the formula.

atomicPropositions - the list of atomic propositions. If null is passed, then the list of atomic propositions is extracted from the formula string.

Returns:

the syntax tree of the formula annotated with a list of atomic propositions.

parseAndTranslateToLtl

public static LabelledFormula parseAndTranslateToLtl(String formula)

parseAndTranslateToLtl

public static LabelledFormula parseAndTranslateToLtl(String formula,
                                                     @Nullable
                                                     List<String> atomicPropositions)