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

Class ConstraintOCCM

java.lang.Object

org.processmining.objectcentricconstraintchecking.algorithms.ocel.constraint.ConstraintOCCM

All Implemented Interfaces:

java.lang.Runnable

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

Field Summary

Fields

Modifier and Type	Field	Description
int	constraintId
int	maxCard
int	minCard
OcelEventLog	ocel
java.lang.String	refObjType
java.lang.String	targetActivity

Constructor Summary

Constructors

Constructor	Description
ConstraintOCCM()
ConstraintOCCM(OcelEventLog ocelEventLog, java.lang.String targetActivity, java.lang.String refObjType, int minCard, int maxCard, int constraintId)

Method Summary

Modifier and Type	Method	Description
int	getAmount()
int	getCurrent()
ViolatedSet	getObjCardConstraint(OcelEventLog ocel, java.lang.String targetActivity, java.lang.String refObjType, int minCard, int maxCard, 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

minCard

public int minCard

maxCard

public int maxCard

constraintId

public int constraintId

refObjType

public java.lang.String refObjType

targetActivity

public java.lang.String targetActivity

ocel

public OcelEventLog ocel

Constructor Detail

ConstraintOCCM

public ConstraintOCCM()

ConstraintOCCM

public ConstraintOCCM(OcelEventLog ocelEventLog,
                      java.lang.String targetActivity,
                      java.lang.String refObjType,
                      int minCard,
                      int maxCard,
                      int constraintId)

Method Detail

getAmount

public int getAmount()

getCurrent

public int getCurrent()

getViolationSet

public ViolatedSet getViolationSet()
                            throws java.text.ParseException

Throws:

java.text.ParseException

getObjCardConstraint

public ViolatedSet getObjCardConstraint(OcelEventLog ocel,
                                        java.lang.String targetActivity,
                                        java.lang.String refObjType,
                                        int minCard,
                                        int maxCard,
                                        int constraintId)
                                 throws java.text.ParseException

Throws:

java.text.ParseException

run

public void run()

Specified by:

run in interface java.lang.Runnable