org.processmining.plugins.ltlchecker.declare2ltl

Class ConstraintParser

java.lang.Object

org.processmining.plugins.ltlchecker.declare2ltl.SimpleParser

org.processmining.plugins.ltlchecker.declare2ltl.ConstraintParser

public class ConstraintParser
extends SimpleParser

Title: DECLARE

Description:

Copyright: Copyright (c) 2006

Company: TU/e

Version:

1.0

Author:

not attributable

Constructor Summary

Constructors

Constructor and Description
ConstraintParser()

Method Summary

Modifier and Type	Method and Description
java.lang.String	createFormula(java.lang.Iterable<org.processmining.plugins.declareminer.visualizing.ConstraintDefinition> constraints)
java.lang.String	parse(org.processmining.plugins.declareminer.visualizing.ConstraintDefinition constraint)

Methods inherited from class org.processmining.plugins.ltlchecker.declare2ltl.SimpleParser

replaceParameterDefaultWithActivities

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstraintParser

public ConstraintParser()

Method Detail

createFormula

public java.lang.String createFormula(java.lang.Iterable<org.processmining.plugins.declareminer.visualizing.ConstraintDefinition> constraints)

parse

public java.lang.String parse(org.processmining.plugins.declareminer.visualizing.ConstraintDefinition constraint)
                       throws java.lang.Exception

Throws:

java.lang.Exception