org.processmining.ltl2automaton.plugins.formula

Class DefaultParser

java.lang.Object

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

org.processmining.ltl2automaton.plugins.formula.DefaultParser

public class DefaultParser
extends Parser<Formula>

Constructor Summary

Constructors

Constructor and Description
DefaultParser(java.lang.String ltl)

Method Summary

Methods inherited from class org.processmining.ltl2automaton.plugins.ltl.Parser

parse

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultParser

public DefaultParser(java.lang.String ltl)