public class Parser<F extends LTLFormula>
extends java.lang.Object
| Constructor and Description |
|---|
Parser(java.lang.String ltl,
FormulaFactory<F> fact) |
| Modifier and Type | Method and Description |
|---|---|
F |
parse() |
public Parser(java.lang.String ltl,
FormulaFactory<F> fact)
public F parse() throws SyntaxParserException
SyntaxParserException