LtlParser (owl 21.0 API)

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 formula)`	Parses the LTL formula of the given string as an LTL formula on infinite words.
`static LabelledFormula`	`parse(String formula, List<String> atomicPropositions)`	Parses the LTL formula of the given string as an LTL formula on infinite words.

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 infinite 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 infinite 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.