org.processmining.plugins.declareminer

Class VectorBasedConstraints

java.lang.Object

org.processmining.plugins.declareminer.VectorBasedConstraints

public class VectorBasedConstraints
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
VectorBasedConstraints(org.deckfour.xes.model.XLog log, DeclareMinerInput input)

Method Summary

Modifier and Type	Method and Description
java.util.Set<java.lang.Integer>	getAtleastExistenceActivatedAndSatisfiedTraces(java.lang.String activityName, int noOccurrences)
java.util.Set<java.lang.Integer>	getAtmostExistenceActivatedAndSatisfiedTraces(java.lang.String activityName, int noOccurrences)
java.util.Set<java.lang.Integer>	getExactlyActivatedAndSatisfiedTraces(java.lang.String activityName, int noOccurrences)

Methods inherited from class java.lang.Object

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

Constructor Detail

VectorBasedConstraints

public VectorBasedConstraints(org.deckfour.xes.model.XLog log,
                              DeclareMinerInput input)

Method Detail

getAtleastExistenceActivatedAndSatisfiedTraces

public java.util.Set<java.lang.Integer> getAtleastExistenceActivatedAndSatisfiedTraces(java.lang.String activityName,
                                                                                       int noOccurrences)

getAtmostExistenceActivatedAndSatisfiedTraces

public java.util.Set<java.lang.Integer> getAtmostExistenceActivatedAndSatisfiedTraces(java.lang.String activityName,
                                                                                      int noOccurrences)

getExactlyActivatedAndSatisfiedTraces

public java.util.Set<java.lang.Integer> getExactlyActivatedAndSatisfiedTraces(java.lang.String activityName,
                                                                              int noOccurrences)