org.processmining.ltl2automaton.plugins.ltl

Class Parser<F extends LTLFormula>

java.lang.Object

org.processmining.ltl2automaton.plugins.ltl.Parser<F>

Direct Known Subclasses:

DefaultParser

public class Parser<F extends LTLFormula>
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Parser(java.lang.String ltl, FormulaFactory<F> fact)

Method Summary

Modifier and Type	Method and Description
F	parse()

Methods inherited from class java.lang.Object

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

Constructor Detail

Parser

public Parser(java.lang.String ltl,
              FormulaFactory<F> fact)

Method Detail

parse

public F parse()
        throws SyntaxParserException

Throws:

SyntaxParserException