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

Class ConstraintModel

java.lang.Object

org.processmining.objectcentricconstraintchecking.algorithms.ocel.constraint.ConstraintModel

public class ConstraintModel
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
java.util.HashMap<java.lang.String,java.util.Map>	actToActMap
java.util.List<java.lang.String>	allObjectTyps
java.util.HashMap<java.lang.String,java.lang.Integer>	alreadySelected
java.util.ArrayList<java.util.ArrayList>	consLst
java.util.ArrayList<java.lang.String>	consNameLst
java.lang.String	leadObjType
java.util.HashMap<java.lang.String,java.util.Map>	objToObjCardinality
java.util.ArrayList<java.lang.String>	objTypeList
java.util.ArrayList<java.lang.String>	objTypeToConsider
OcelEventLog	ocelEventLog
java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>>	peDirectBeforeMap
java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>>	peMap
java.util.HashSet<java.lang.String>	revObjTypes
java.util.List<java.lang.String>	selObjTypeLst
java.lang.String	startEntityName
java.lang.String	targetEntityName
java.util.HashMap<java.lang.String,java.util.List>	timePerformance

Method Summary

Modifier and Type	Method	Description
void	appendViolatedSet(ViolatedSet newVs)
static ConstraintModel	getInstance()
OcelEventLog	getOcel()
ViolatedSet	getViolatedSet()
void	resetAll()
void	setActToAct(java.lang.String firstAct, java.lang.String secondAct, java.lang.String firstRefObj, java.lang.String secondRefObj, java.lang.String tempCons, java.lang.String minTime, java.lang.String maxTime, java.lang.String timeUnit)
void	setObjTypeList(java.util.ArrayList<java.lang.String> objTypeList)
void	setOCEL(OcelEventLog ocelEventLog)
void	setTimePerformance(java.lang.String targetActivity, java.lang.String timeType, long minTime, long maxTime, java.util.List<java.lang.String> objToConsider)

Methods inherited from class java.lang.Object

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

Field Detail

startEntityName

public java.lang.String startEntityName

targetEntityName

public java.lang.String targetEntityName

peDirectBeforeMap

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

allObjectTyps

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

selObjTypeLst

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

consNameLst

public java.util.ArrayList<java.lang.String> consNameLst

consLst

public java.util.ArrayList<java.util.ArrayList> consLst

alreadySelected

public java.util.HashMap<java.lang.String,java.lang.Integer> alreadySelected

actToActMap

public java.util.HashMap<java.lang.String,java.util.Map> actToActMap

objToObjCardinality

public java.util.HashMap<java.lang.String,java.util.Map> objToObjCardinality

timePerformance

public java.util.HashMap<java.lang.String,java.util.List> timePerformance

objTypeList

public java.util.ArrayList<java.lang.String> objTypeList

objTypeToConsider

public java.util.ArrayList<java.lang.String> objTypeToConsider

leadObjType

public java.lang.String leadObjType

revObjTypes

public java.util.HashSet<java.lang.String> revObjTypes

ocelEventLog

public OcelEventLog ocelEventLog

peMap

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

Method Detail

getInstance

public static ConstraintModel getInstance()

getViolatedSet

public ViolatedSet getViolatedSet()

appendViolatedSet

public void appendViolatedSet(ViolatedSet newVs)

resetAll

public void resetAll()

setObjTypeList

public void setObjTypeList(java.util.ArrayList<java.lang.String> objTypeList)

setOCEL

public void setOCEL(OcelEventLog ocelEventLog)

getOcel

public OcelEventLog getOcel()

setActToAct

public void setActToAct(java.lang.String firstAct,
                        java.lang.String secondAct,
                        java.lang.String firstRefObj,
                        java.lang.String secondRefObj,
                        java.lang.String tempCons,
                        java.lang.String minTime,
                        java.lang.String maxTime,
                        java.lang.String timeUnit)

Parameters:

firstAct - : the first activity

secondAct - : the second activity

firstRefObj - : the ref object type

secondRefObj - : the ref object type

tempCons - : the temporal constraint

minTime - : the min time in between

maxTime - : the max time in between

setTimePerformance

public void setTimePerformance(java.lang.String targetActivity,
                               java.lang.String timeType,
                               long minTime,
                               long maxTime,
                               java.util.List<java.lang.String> objToConsider)

Parameters:

targetActivity - : the first object type

timeType - : the second object type

minTime - : the ref object type

maxTime - : the ref object type

timeUnit - : the temporal constraint

objToConsider - : the temporal constraint