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

Class ConstraintFCM

java.lang.Object

org.processmining.objectcentricconstraintchecking.algorithms.ocel.constraint.ConstraintFCM

All Implemented Interfaces:

java.lang.Runnable

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

Field Summary

Fields

Modifier and Type	Field	Description
int	constraintId
int	maxFreq
int	minFreq
java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>>	peMap
java.lang.String	targetActivity

Constructor Summary

Constructors

Constructor	Description
ConstraintFCM()
ConstraintFCM(java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap, java.lang.String targetActivity, int minFreq, int maxFreq, int constraintId)

Method Summary

Modifier and Type	Method	Description
int	getAmount()
int	getCurrent()
ViolatedSet	getObjCardConstraint(java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap, java.lang.String targetActivity, int minFreq, int maxFreq, 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

minFreq

public int minFreq

maxFreq

public int maxFreq

constraintId

public int constraintId

targetActivity

public java.lang.String targetActivity

peMap

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

Constructor Detail

ConstraintFCM

public ConstraintFCM()

ConstraintFCM

public ConstraintFCM(java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap,
                     java.lang.String targetActivity,
                     int minFreq,
                     int maxFreq,
                     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(java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap,
                                        java.lang.String targetActivity,
                                        int minFreq,
                                        int maxFreq,
                                        int constraintId)
                                 throws java.text.ParseException

Throws:

java.text.ParseException

run

public void run()

Specified by:

run in interface java.lang.Runnable