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

Class ConstraintPFCCM

java.lang.Object

org.processmining.objectcentricconstraintchecking.algorithms.ocel.constraint.ConstraintPFCCM

All Implemented Interfaces:

java.lang.Runnable

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

Field Summary

Fields

Modifier and Type	Field	Description
int	constraintId
java.util.List<java.lang.String>	objTypeLst
java.lang.String	preAct
int	preActCardMax
int	preActCardMin
java.lang.String	sucAct
int	sucActCardMax
int	sucActCardMin

Constructor Summary

Constructors

Constructor	Description
ConstraintPFCCM()
ConstraintPFCCM(java.lang.String preAct, int preActCardMin, int preActCardMax, java.lang.String sucAct, int sucActCardMin, int sucActCardMax, 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()
ViolatedSet	getCardinalityConstraint(java.lang.String preAct, int preActCardMin, int preActCardMax, java.lang.String sucAct, int sucActCardMin, int sucActCardMax, java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap, int constraintId)
int	getCurrent()
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)
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

preActCardMin

public int preActCardMin

preActCardMax

public int preActCardMax

sucAct

public java.lang.String sucAct

sucActCardMin

public int sucActCardMin

sucActCardMax

public int sucActCardMax

objTypeLst

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

constraintId

public int constraintId

Constructor Detail

ConstraintPFCCM

public ConstraintPFCCM()

ConstraintPFCCM

public ConstraintPFCCM(java.lang.String preAct,
                       int preActCardMin,
                       int preActCardMax,
                       java.lang.String sucAct,
                       int sucActCardMin,
                       int sucActCardMax,
                       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

getCardinalityConstraint

public ViolatedSet getCardinalityConstraint(java.lang.String preAct,
                                            int preActCardMin,
                                            int preActCardMax,
                                            java.lang.String sucAct,
                                            int sucActCardMin,
                                            int sucActCardMax,
                                            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)

run

public void run()

Specified by:

run in interface java.lang.Runnable