org.processmining.plugins.log.abstraction.mapping
Class EventContextCondition

java.lang.Object
  org.processmining.plugins.log.abstraction.mapping.EventContextCondition

public class EventContextCondition
extends java.lang.Object

Author:

Thomas Baier

Field Summary

protected java.lang.String	ltlFormula
protected org.processmining.plugins.ltlchecker.parser.LTLParser	ltlParser
protected java.lang.String	relativePosition

Constructor Summary

EventContextCondition()

EventContextCondition(java.lang.String ltlFormula, java.lang.String relativePosition)

Method Summary

java.lang.String	getLtlFormula()
org.processmining.plugins.ltlchecker.parser.LTLParser	getLtlParser()
java.lang.String	getRelativePosition()
void	setLtlFormula(java.lang.String ltlFormula)
void	setLtlParser(org.processmining.plugins.ltlchecker.parser.LTLParser ltlParser)
void	setRelativePosition(java.lang.String relativePosition)

Methods inherited from class java.lang.Object

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

Field Detail

ltlFormula

protected java.lang.String ltlFormula

ltlParser

protected org.processmining.plugins.ltlchecker.parser.LTLParser ltlParser

relativePosition

protected java.lang.String relativePosition

Constructor Detail

EventContextCondition

public EventContextCondition(java.lang.String ltlFormula,
                             java.lang.String relativePosition)
                      throws java.lang.Exception

Parameters:

ltlFormula -

ltlParser -

Throws:

org.processmining.plugins.ltlchecker.parser.ParseException

java.lang.Exception

EventContextCondition

public EventContextCondition()

Method Detail

getLtlFormula

public java.lang.String getLtlFormula()

Returns:

the ltlFormula

setLtlFormula

public void setLtlFormula(java.lang.String ltlFormula)
                   throws java.lang.Exception

Parameters:

ltlFormula - the ltlFormula to set

Throws:

org.processmining.plugins.ltlchecker.parser.ParseException

java.lang.Exception

getLtlParser

public org.processmining.plugins.ltlchecker.parser.LTLParser getLtlParser()

Returns:

the ltlParser

setLtlParser

public void setLtlParser(org.processmining.plugins.ltlchecker.parser.LTLParser ltlParser)

Parameters:

ltlParser - the ltlParser to set

getRelativePosition

public java.lang.String getRelativePosition()

Returns:

the relativePosition

setRelativePosition

public void setRelativePosition(java.lang.String relativePosition)

Parameters:

relativePosition - the relativePosition to set