Package org.processmining.objectcentricconstraintchecking.algorithms.ocel.constraint

Class ConstraintTPCM

java.lang.Object

org.processmining.objectcentricconstraintchecking.algorithms.ocel.constraint.ConstraintTPCM

All Implemented Interfaces:

java.lang.Runnable

public class ConstraintTPCM
extends java.lang.Object
implements java.lang.Runnable

Field Summary

Fields

Modifier and Type	Field	Description
int	constraintId
long	maxTime
long	minTime
java.util.List<java.lang.String>	objTypeLst
OcelEventLog	ocel
java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>>	peMap
java.lang.String	targetActivity
java.lang.String	timeType
java.lang.String	timeUnit

Constructor Summary

Constructors

Constructor	Description
ConstraintTPCM()
ConstraintTPCM(OcelEventLog ocel, java.lang.String targetActivity, java.lang.String timeType, long minTime, long maxTime, java.lang.String timeUnit, java.util.List<java.lang.String> objTypeLst, int constraintId)

Method Summary

Modifier and Type	Method	Description
int	getAmount()
int	getCurrent()
ViolatedSet	getFlowTime(OcelEventLog ocel, java.lang.String targetActivity, long minTime, long maxTime, java.lang.String timeUnit, java.util.List<java.lang.String> objTypeLst)
ViolatedSet	getLaggingTime(OcelEventLog ocel, java.lang.String targetActivity, long minTime, long maxTime, java.lang.String timeUnit, java.util.List<java.lang.String> objTypeLst)
ViolatedSet	getPoolingTime(OcelEventLog ocel, java.lang.String targetActivity, long minTime, long maxTime, java.lang.String timeUnit, java.util.List<java.lang.String> objTypeLst)
ViolatedSet	getSynchronizationTime(OcelEventLog ocel, java.lang.String targetActivity, long minTime, long maxTime, java.lang.String timeUnit, java.util.List<java.lang.String> objTypeLst)
ViolatedSet	getViolationSet()
ViolatedSet	getWaitingTime(OcelEventLog ocel, java.lang.String targetActivity, long minTime, long maxTime, java.lang.String timeUnit, java.util.List<java.lang.String> objTypeLst)
void	run()

Methods inherited from class java.lang.Object

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

Field Detail

timeType

public java.lang.String timeType

minTime

public long minTime

maxTime

public long maxTime

timeUnit

public java.lang.String timeUnit

targetActivity

public java.lang.String targetActivity

ocel

public OcelEventLog ocel

constraintId

public int constraintId

peMap

public java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap

objTypeLst

public java.util.List<java.lang.String> objTypeLst

Constructor Detail

ConstraintTPCM

public ConstraintTPCM()

ConstraintTPCM

public ConstraintTPCM(OcelEventLog ocel,
                      java.lang.String targetActivity,
                      java.lang.String timeType,
                      long minTime,
                      long maxTime,
                      java.lang.String timeUnit,
                      java.util.List<java.lang.String> objTypeLst,
                      int constraintId)

Method Detail

getAmount

public int getAmount()

getCurrent

public int getCurrent()

getViolationSet

public ViolatedSet getViolationSet()
                            throws java.text.ParseException

Throws:

java.text.ParseException

getWaitingTime

public ViolatedSet getWaitingTime(OcelEventLog ocel,
                                  java.lang.String targetActivity,
                                  long minTime,
                                  long maxTime,
                                  java.lang.String timeUnit,
                                  java.util.List<java.lang.String> objTypeLst)
                           throws java.text.ParseException

Throws:

java.text.ParseException

getFlowTime

public ViolatedSet getFlowTime(OcelEventLog ocel,
                               java.lang.String targetActivity,
                               long minTime,
                               long maxTime,
                               java.lang.String timeUnit,
                               java.util.List<java.lang.String> objTypeLst)
                        throws java.text.ParseException

Throws:

java.text.ParseException

getPoolingTime

public ViolatedSet getPoolingTime(OcelEventLog ocel,
                                  java.lang.String targetActivity,
                                  long minTime,
                                  long maxTime,
                                  java.lang.String timeUnit,
                                  java.util.List<java.lang.String> objTypeLst)
                           throws java.text.ParseException

Throws:

java.text.ParseException

getLaggingTime

public ViolatedSet getLaggingTime(OcelEventLog ocel,
                                  java.lang.String targetActivity,
                                  long minTime,
                                  long maxTime,
                                  java.lang.String timeUnit,
                                  java.util.List<java.lang.String> objTypeLst)
                           throws java.text.ParseException

Throws:

java.text.ParseException

getSynchronizationTime

public ViolatedSet getSynchronizationTime(OcelEventLog ocel,
                                          java.lang.String targetActivity,
                                          long minTime,
                                          long maxTime,
                                          java.lang.String timeUnit,
                                          java.util.List<java.lang.String> objTypeLst)
                                   throws java.text.ParseException

Throws:

java.text.ParseException

run

public void run()

Specified by:

run in interface java.lang.Runnable