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

Class ConstraintPFTCM

java.lang.Object

org.processmining.objectcentricconstraintchecking.algorithms.ocel.constraint.ConstraintPFTCM

All Implemented Interfaces:

java.lang.Runnable

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

Field Summary

Fields

Modifier and Type	Field	Description
int	constraintId
java.lang.String	firstPattern
java.util.List	objTypeLst
java.lang.String	preAct
java.lang.String	secondPatten
java.lang.String	sucAct
long	timeMax
long	timeMin

Constructor Summary

Constructors

Constructor	Description
ConstraintPFTCM()
ConstraintPFTCM(java.lang.String preAct, java.lang.String sucAct, long timeMin, long timeMax, java.lang.String firstPattern, java.lang.String secondPatten, java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap, int constraintId)

Method Summary

Modifier and Type	Method	Description
int	getAmount()
int	getCurrent()
ViolatedSet	getFirstToFirstConstraint(java.lang.String preAct, java.lang.String sucAct, long timeMin, long timeMax, java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap, int constraintId)
ViolatedSet	getFirstToLastConstraint(java.lang.String preAct, java.lang.String sucAct, long timeMin, long timeMax, java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap, int constraintId)
ViolatedSet	getLastToFirstConstraint(java.lang.String preAct, java.lang.String sucAct, long timeMin, long timeMax, java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap, int constraintId)
ViolatedSet	getLastToLastConstraint(java.lang.String preAct, java.lang.String sucAct, long timeMin, long timeMax, java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap, int constraintId)
java.util.Set<OcelEvent>	getSucTarActSet(java.util.Set<OcelEvent> sucActSet, OcelEvent preEvt, java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>> evtMap, java.lang.String sucAct, java.util.List<java.lang.String> objTypeLst)
ViolatedSet	getTemporalConstraint(java.lang.String preAct, java.lang.String sucAct, long timeMin, long timeMax, java.lang.String firstPattern, java.lang.String secondPatten, java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap, int constraintId)
ViolatedSet	getViolationSet()
void	run()

Methods inherited from class java.lang.Object

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

Field Detail

preAct

public java.lang.String preAct

sucAct

public java.lang.String sucAct

timeMin

public long timeMin

timeMax

public long timeMax

constraintId

public int constraintId

firstPattern

public java.lang.String firstPattern

secondPatten

public java.lang.String secondPatten

objTypeLst

public java.util.List objTypeLst

Constructor Detail

ConstraintPFTCM

public ConstraintPFTCM()

ConstraintPFTCM

public ConstraintPFTCM(java.lang.String preAct,
                       java.lang.String sucAct,
                       long timeMin,
                       long timeMax,
                       java.lang.String firstPattern,
                       java.lang.String secondPatten,
                       java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap,
                       int constraintId)

Method Detail

getAmount

public int getAmount()

getCurrent

public int getCurrent()

getViolationSet

public ViolatedSet getViolationSet()
                            throws java.text.ParseException

Throws:

java.text.ParseException

getTemporalConstraint

public ViolatedSet getTemporalConstraint(java.lang.String preAct,
                                         java.lang.String sucAct,
                                         long timeMin,
                                         long timeMax,
                                         java.lang.String firstPattern,
                                         java.lang.String secondPatten,
                                         java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap,
                                         int constraintId)
                                  throws java.text.ParseException

Throws:

java.text.ParseException

getFirstToFirstConstraint

public ViolatedSet getFirstToFirstConstraint(java.lang.String preAct,
                                             java.lang.String sucAct,
                                             long timeMin,
                                             long timeMax,
                                             java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap,
                                             int constraintId)
                                      throws java.text.ParseException

Throws:

java.text.ParseException

getFirstToLastConstraint

public ViolatedSet getFirstToLastConstraint(java.lang.String preAct,
                                            java.lang.String sucAct,
                                            long timeMin,
                                            long timeMax,
                                            java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap,
                                            int constraintId)
                                     throws java.text.ParseException

Throws:

java.text.ParseException

getLastToFirstConstraint

public ViolatedSet getLastToFirstConstraint(java.lang.String preAct,
                                            java.lang.String sucAct,
                                            long timeMin,
                                            long timeMax,
                                            java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap,
                                            int constraintId)
                                     throws java.text.ParseException

Throws:

java.text.ParseException

getLastToLastConstraint

public ViolatedSet getLastToLastConstraint(java.lang.String preAct,
                                           java.lang.String sucAct,
                                           long timeMin,
                                           long timeMax,
                                           java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap,
                                           int constraintId)
                                    throws java.text.ParseException

Throws:

java.text.ParseException

getSucTarActSet

public java.util.Set<OcelEvent> getSucTarActSet(java.util.Set<OcelEvent> sucActSet,
                                                OcelEvent preEvt,
                                                java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>> evtMap,
                                                java.lang.String sucAct,
                                                java.util.List<java.lang.String> objTypeLst)

run

public void run()

Specified by:

run in interface java.lang.Runnable