org.processmining.ltl2automaton.plugins.cup_parser

Class CupParser

java.lang.Object

org.processmining.ltl2automaton.plugins.cup_parser.CupParser

public class CupParser
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
CupParser()

Method Summary

Modifier and Type	Method and Description
static Formula	parse(java.lang.String ltl)

Methods inherited from class java.lang.Object

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

Constructor Detail

CupParser

public CupParser()

Method Detail

parse

public static Formula parse(java.lang.String ltl)
                     throws java.lang.Exception

Throws:

java.lang.Exception