Class LtlfParser


  • public final class LtlfParser
    extends Object
    • 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.