prompt.onlinedeclare.utils

Class DeclareModel

java.lang.Object

prompt.onlinedeclare.utils.DeclareModel

public class DeclareModel
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DeclareModel()

Method Summary

Methods

Modifier and Type	Method and Description
void	addAbsence(java.lang.String activityA, java.lang.Double activations, java.lang.Double fulfillments)
void	addAbsence(java.lang.String activityA, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addAbsence2(java.lang.String activityA, java.lang.Double activations, java.lang.Double fulfillments)
void	addAbsence2(java.lang.String activityA, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addAbsence3(java.lang.String activityA, java.lang.Double activations, java.lang.Double fulfillments)
void	addAbsence3(java.lang.String activityA, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addAlternatePrecedence(java.lang.String activityA, java.lang.String activityB, java.lang.Double activations, java.lang.Double fulfillments)
void	addAlternatePrecedence(java.lang.String activityA, java.lang.String activityB, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addAlternateResponse(java.lang.String activityA, java.lang.String activityB, java.lang.Double activations, java.lang.Double fulfillments)
void	addAlternateResponse(java.lang.String activityA, java.lang.String activityB, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addAlternateSuccession(java.lang.String activityA, java.lang.String activityB, java.lang.Double activations, java.lang.Double fulfillments)
void	addAlternateSuccession(java.lang.String activityA, java.lang.String activityB, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addChainPrecedence(java.lang.String activityA, java.lang.String activityB, java.lang.Double activations, java.lang.Double fulfillments)
void	addChainPrecedence(java.lang.String activityA, java.lang.String activityB, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addChainResponse(java.lang.String activityA, java.lang.String activityB, java.lang.Double activations, java.lang.Double fulfillments)
void	addChainResponse(java.lang.String activityA, java.lang.String activityB, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addChainSuccession(java.lang.String activityA, java.lang.String activityB, java.lang.Double activations, java.lang.Double fulfillments)
void	addChainSuccession(java.lang.String activityA, java.lang.String activityB, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addChoices(java.lang.String activityA, java.lang.String activityB, java.lang.Double activations, java.lang.Double fulfillments)
void	addChoices(java.lang.String activityA, java.lang.String activityB, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addCoExistence(java.lang.String activityA, java.lang.String activityB, java.lang.Double activations, java.lang.Double fulfillments)
void	addCoExistence(java.lang.String activityA, java.lang.String activityB, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addExactly1(java.lang.String activityA, java.lang.Double activations, java.lang.Double fulfillments)
void	addExactly1(java.lang.String activityA, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addExactly2(java.lang.String activityA, java.lang.Double activations, java.lang.Double fulfillments)
void	addExactly2(java.lang.String activityA, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addExclusiveChoices(java.lang.String activityA, java.lang.String activityB, java.lang.Double activations, java.lang.Double fulfillments)
void	addExclusiveChoices(java.lang.String activityA, java.lang.String activityB, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addExistence(java.lang.String activityA, java.lang.Double activations, java.lang.Double fulfillments)
void	addExistence(java.lang.String activityA, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addExistence2(java.lang.String activityA, java.lang.Double activations, java.lang.Double fulfillments)
void	addExistence2(java.lang.String activityA, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addExistence3(java.lang.String activityA, java.lang.Double activations, java.lang.Double fulfillments)
void	addExistence3(java.lang.String activityA, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addInit(java.lang.String activityA, java.lang.Double activations, java.lang.Double fulfillments)
void	addInit(java.lang.String activityA, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addNotCoExistence(java.lang.String activityA, java.lang.String activityB, java.lang.Double activations, java.lang.Double fulfillments)
void	addNotCoExistence(java.lang.String activityA, java.lang.String activityB, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addNotSuccession(java.lang.String activityA, java.lang.String activityB, java.lang.Double activations, java.lang.Double fulfillments)
void	addNotSuccession(java.lang.String activityA, java.lang.String activityB, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addPrecedence(java.lang.String activityA, java.lang.String activityB, java.lang.Double activations, java.lang.Double fulfillments)
void	addPrecedence(java.lang.String activityA, java.lang.String activityB, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addRespondedExistence(java.lang.String activityA, java.lang.String activityB, java.lang.Double activations, java.lang.Double fulfillments)
void	addRespondedExistence(java.lang.String activityA, java.lang.String activityB, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addResponse(java.lang.String activityA, java.lang.String activityB, java.lang.Double activations, java.lang.Double fulfillments)
void	addResponse(java.lang.String activityA, java.lang.String activityB, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
void	addSuccession(java.lang.String activityA, java.lang.String activityB, java.lang.Double activations, java.lang.Double fulfillments)
void	addSuccession(java.lang.String activityA, java.lang.String activityB, java.lang.Integer completedTraces, java.lang.Integer satisfiedTraces, java.lang.Integer vacuouslySatisfiedTraces, java.lang.Integer violatedTraces)
static DeclareModel	convert(org.processmining.plugins.declareminer.visualizing.DeclareMap source)
void	dumpModel(java.lang.String filename)
static double	f1(DeclareModel candidate, DeclareModel goldStandard)
static DeclareModel	filterOnFulfillmentRatio(DeclareModel model, double minFulfillmentRatio)
static DeclareModel	filterOnSpecificConstraint(DeclareModel model, org.processmining.plugins.declareminer.enumtypes.DeclareTemplate templateName, java.lang.String activityA, java.lang.String activityB)
static DeclareModel	filterOnTraceSupport(DeclareModel model, double minTraceSupport)
static int	FN(DeclareModel candidate, DeclareModel goldStandard)
static int	FP(DeclareModel candidate, DeclareModel goldStandard)
java.util.HashSet<java.lang.String>	getActivities()
java.util.HashMap<org.processmining.plugins.declareminer.enumtypes.DeclareTemplate,java.util.HashMap<org.processmining.framework.util.Pair<java.lang.String,java.lang.String>,java.util.HashMap<java.lang.String,java.lang.Double>>>	getConstraints()
java.lang.Double	getCost(org.processmining.plugins.declareminer.enumtypes.DeclareTemplate template, java.lang.String ActA, java.lang.String ActB)
static DeclareModel	getTopConstraints(DeclareModel model, int k)
int	hashCode()
boolean	hasTraces()
static double	precision(DeclareModel goldStandard, DeclareModel candidate)
static DeclareModel	readFromFile(java.lang.String filename)
static double	recall(DeclareModel goldStandard, DeclareModel candidate)
void	setConstraints(java.util.HashMap<org.processmining.plugins.declareminer.enumtypes.DeclareTemplate,java.util.HashMap<org.processmining.framework.util.Pair<java.lang.String,java.lang.String>,java.util.HashMap<java.lang.String,java.lang.Double>>> constraints)
int	size()
java.lang.String	toHTMLString()
java.lang.String	toString()
static int	TP(DeclareModel candidate, DeclareModel goldStandard)

Methods inherited from class java.lang.Object

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

Constructor Detail

DeclareModel

public DeclareModel()

Method Detail

addResponse

public void addResponse(java.lang.String activityA,
               java.lang.String activityB,
               java.lang.Double activations,
               java.lang.Double fulfillments)

addResponse

public void addResponse(java.lang.String activityA,
               java.lang.String activityB,
               java.lang.Integer completedTraces,
               java.lang.Integer satisfiedTraces,
               java.lang.Integer vacuouslySatisfiedTraces,
               java.lang.Integer violatedTraces)

addExistence

public void addExistence(java.lang.String activityA,
                java.lang.Double activations,
                java.lang.Double fulfillments)

addExistence

public void addExistence(java.lang.String activityA,
                java.lang.Integer completedTraces,
                java.lang.Integer satisfiedTraces,
                java.lang.Integer vacuouslySatisfiedTraces,
                java.lang.Integer violatedTraces)

addChoices

public void addChoices(java.lang.String activityA,
              java.lang.String activityB,
              java.lang.Double activations,
              java.lang.Double fulfillments)

addChoices

public void addChoices(java.lang.String activityA,
              java.lang.String activityB,
              java.lang.Integer completedTraces,
              java.lang.Integer satisfiedTraces,
              java.lang.Integer vacuouslySatisfiedTraces,
              java.lang.Integer violatedTraces)

addExclusiveChoices

public void addExclusiveChoices(java.lang.String activityA,
                       java.lang.String activityB,
                       java.lang.Double activations,
                       java.lang.Double fulfillments)

addExclusiveChoices

public void addExclusiveChoices(java.lang.String activityA,
                       java.lang.String activityB,
                       java.lang.Integer completedTraces,
                       java.lang.Integer satisfiedTraces,
                       java.lang.Integer vacuouslySatisfiedTraces,
                       java.lang.Integer violatedTraces)

addAbsence

public void addAbsence(java.lang.String activityA,
              java.lang.Double activations,
              java.lang.Double fulfillments)

addAbsence

public void addAbsence(java.lang.String activityA,
              java.lang.Integer completedTraces,
              java.lang.Integer satisfiedTraces,
              java.lang.Integer vacuouslySatisfiedTraces,
              java.lang.Integer violatedTraces)

addInit

public void addInit(java.lang.String activityA,
           java.lang.Double activations,
           java.lang.Double fulfillments)

addInit

public void addInit(java.lang.String activityA,
           java.lang.Integer completedTraces,
           java.lang.Integer satisfiedTraces,
           java.lang.Integer vacuouslySatisfiedTraces,
           java.lang.Integer violatedTraces)

addAbsence2

public void addAbsence2(java.lang.String activityA,
               java.lang.Double activations,
               java.lang.Double fulfillments)

addAbsence2

public void addAbsence2(java.lang.String activityA,
               java.lang.Integer completedTraces,
               java.lang.Integer satisfiedTraces,
               java.lang.Integer vacuouslySatisfiedTraces,
               java.lang.Integer violatedTraces)

addAbsence3

public void addAbsence3(java.lang.String activityA,
               java.lang.Double activations,
               java.lang.Double fulfillments)

addAbsence3

public void addAbsence3(java.lang.String activityA,
               java.lang.Integer completedTraces,
               java.lang.Integer satisfiedTraces,
               java.lang.Integer vacuouslySatisfiedTraces,
               java.lang.Integer violatedTraces)

addExistence2

public void addExistence2(java.lang.String activityA,
                 java.lang.Double activations,
                 java.lang.Double fulfillments)

addExistence2

public void addExistence2(java.lang.String activityA,
                 java.lang.Integer completedTraces,
                 java.lang.Integer satisfiedTraces,
                 java.lang.Integer vacuouslySatisfiedTraces,
                 java.lang.Integer violatedTraces)

addExistence3

public void addExistence3(java.lang.String activityA,
                 java.lang.Double activations,
                 java.lang.Double fulfillments)

addExistence3

public void addExistence3(java.lang.String activityA,
                 java.lang.Integer completedTraces,
                 java.lang.Integer satisfiedTraces,
                 java.lang.Integer vacuouslySatisfiedTraces,
                 java.lang.Integer violatedTraces)

addExactly1

public void addExactly1(java.lang.String activityA,
               java.lang.Double activations,
               java.lang.Double fulfillments)

addExactly1

public void addExactly1(java.lang.String activityA,
               java.lang.Integer completedTraces,
               java.lang.Integer satisfiedTraces,
               java.lang.Integer vacuouslySatisfiedTraces,
               java.lang.Integer violatedTraces)

addExactly2

public void addExactly2(java.lang.String activityA,
               java.lang.Double activations,
               java.lang.Double fulfillments)

addExactly2

public void addExactly2(java.lang.String activityA,
               java.lang.Integer completedTraces,
               java.lang.Integer satisfiedTraces,
               java.lang.Integer vacuouslySatisfiedTraces,
               java.lang.Integer violatedTraces)

addSuccession

public void addSuccession(java.lang.String activityA,
                 java.lang.String activityB,
                 java.lang.Double activations,
                 java.lang.Double fulfillments)

addSuccession

public void addSuccession(java.lang.String activityA,
                 java.lang.String activityB,
                 java.lang.Integer completedTraces,
                 java.lang.Integer satisfiedTraces,
                 java.lang.Integer vacuouslySatisfiedTraces,
                 java.lang.Integer violatedTraces)

addNotSuccession

public void addNotSuccession(java.lang.String activityA,
                    java.lang.String activityB,
                    java.lang.Double activations,
                    java.lang.Double fulfillments)

addNotSuccession

public void addNotSuccession(java.lang.String activityA,
                    java.lang.String activityB,
                    java.lang.Integer completedTraces,
                    java.lang.Integer satisfiedTraces,
                    java.lang.Integer vacuouslySatisfiedTraces,
                    java.lang.Integer violatedTraces)

addPrecedence

public void addPrecedence(java.lang.String activityA,
                 java.lang.String activityB,
                 java.lang.Double activations,
                 java.lang.Double fulfillments)

addPrecedence

public void addPrecedence(java.lang.String activityA,
                 java.lang.String activityB,
                 java.lang.Integer completedTraces,
                 java.lang.Integer satisfiedTraces,
                 java.lang.Integer vacuouslySatisfiedTraces,
                 java.lang.Integer violatedTraces)

addRespondedExistence

public void addRespondedExistence(java.lang.String activityA,
                         java.lang.String activityB,
                         java.lang.Double activations,
                         java.lang.Double fulfillments)

addRespondedExistence

public void addRespondedExistence(java.lang.String activityA,
                         java.lang.String activityB,
                         java.lang.Integer completedTraces,
                         java.lang.Integer satisfiedTraces,
                         java.lang.Integer vacuouslySatisfiedTraces,
                         java.lang.Integer violatedTraces)

addNotCoExistence

public void addNotCoExistence(java.lang.String activityA,
                     java.lang.String activityB,
                     java.lang.Double activations,
                     java.lang.Double fulfillments)

addNotCoExistence

public void addNotCoExistence(java.lang.String activityA,
                     java.lang.String activityB,
                     java.lang.Integer completedTraces,
                     java.lang.Integer satisfiedTraces,
                     java.lang.Integer vacuouslySatisfiedTraces,
                     java.lang.Integer violatedTraces)

addCoExistence

public void addCoExistence(java.lang.String activityA,
                  java.lang.String activityB,
                  java.lang.Double activations,
                  java.lang.Double fulfillments)

addCoExistence

public void addCoExistence(java.lang.String activityA,
                  java.lang.String activityB,
                  java.lang.Integer completedTraces,
                  java.lang.Integer satisfiedTraces,
                  java.lang.Integer vacuouslySatisfiedTraces,
                  java.lang.Integer violatedTraces)

addChainResponse

public void addChainResponse(java.lang.String activityA,
                    java.lang.String activityB,
                    java.lang.Double activations,
                    java.lang.Double fulfillments)

addChainResponse

public void addChainResponse(java.lang.String activityA,
                    java.lang.String activityB,
                    java.lang.Integer completedTraces,
                    java.lang.Integer satisfiedTraces,
                    java.lang.Integer vacuouslySatisfiedTraces,
                    java.lang.Integer violatedTraces)

addChainSuccession

public void addChainSuccession(java.lang.String activityA,
                      java.lang.String activityB,
                      java.lang.Double activations,
                      java.lang.Double fulfillments)

addChainSuccession

public void addChainSuccession(java.lang.String activityA,
                      java.lang.String activityB,
                      java.lang.Integer completedTraces,
                      java.lang.Integer satisfiedTraces,
                      java.lang.Integer vacuouslySatisfiedTraces,
                      java.lang.Integer violatedTraces)

addChainPrecedence

public void addChainPrecedence(java.lang.String activityA,
                      java.lang.String activityB,
                      java.lang.Double activations,
                      java.lang.Double fulfillments)

addChainPrecedence

public void addChainPrecedence(java.lang.String activityA,
                      java.lang.String activityB,
                      java.lang.Integer completedTraces,
                      java.lang.Integer satisfiedTraces,
                      java.lang.Integer vacuouslySatisfiedTraces,
                      java.lang.Integer violatedTraces)

addAlternateResponse

public void addAlternateResponse(java.lang.String activityA,
                        java.lang.String activityB,
                        java.lang.Double activations,
                        java.lang.Double fulfillments)

addAlternateResponse

public void addAlternateResponse(java.lang.String activityA,
                        java.lang.String activityB,
                        java.lang.Integer completedTraces,
                        java.lang.Integer satisfiedTraces,
                        java.lang.Integer vacuouslySatisfiedTraces,
                        java.lang.Integer violatedTraces)

addAlternateSuccession

public void addAlternateSuccession(java.lang.String activityA,
                          java.lang.String activityB,
                          java.lang.Double activations,
                          java.lang.Double fulfillments)

addAlternateSuccession

public void addAlternateSuccession(java.lang.String activityA,
                          java.lang.String activityB,
                          java.lang.Integer completedTraces,
                          java.lang.Integer satisfiedTraces,
                          java.lang.Integer vacuouslySatisfiedTraces,
                          java.lang.Integer violatedTraces)

addAlternatePrecedence

public void addAlternatePrecedence(java.lang.String activityA,
                          java.lang.String activityB,
                          java.lang.Double activations,
                          java.lang.Double fulfillments)

addAlternatePrecedence

public void addAlternatePrecedence(java.lang.String activityA,
                          java.lang.String activityB,
                          java.lang.Integer completedTraces,
                          java.lang.Integer satisfiedTraces,
                          java.lang.Integer vacuouslySatisfiedTraces,
                          java.lang.Integer violatedTraces)

getActivities

public java.util.HashSet<java.lang.String> getActivities()

size

public int size()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toHTMLString

public java.lang.String toHTMLString()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

TP

public static int TP(DeclareModel candidate,
     DeclareModel goldStandard)

FP

public static int FP(DeclareModel candidate,
     DeclareModel goldStandard)

FN

public static int FN(DeclareModel candidate,
     DeclareModel goldStandard)

getCost

public java.lang.Double getCost(org.processmining.plugins.declareminer.enumtypes.DeclareTemplate template,
                       java.lang.String ActA,
                       java.lang.String ActB)

getTopConstraints

public static DeclareModel getTopConstraints(DeclareModel model,
                             int k)

filterOnFulfillmentRatio

public static DeclareModel filterOnFulfillmentRatio(DeclareModel model,
                                    double minFulfillmentRatio)

filterOnSpecificConstraint

public static DeclareModel filterOnSpecificConstraint(DeclareModel model,
                                      org.processmining.plugins.declareminer.enumtypes.DeclareTemplate templateName,
                                      java.lang.String activityA,
                                      java.lang.String activityB)

filterOnTraceSupport

public static DeclareModel filterOnTraceSupport(DeclareModel model,
                                double minTraceSupport)

precision

public static double precision(DeclareModel goldStandard,
               DeclareModel candidate)

recall

public static double recall(DeclareModel goldStandard,
            DeclareModel candidate)

f1

public static double f1(DeclareModel candidate,
        DeclareModel goldStandard)

getConstraints

public java.util.HashMap<org.processmining.plugins.declareminer.enumtypes.DeclareTemplate,java.util.HashMap<org.processmining.framework.util.Pair<java.lang.String,java.lang.String>,java.util.HashMap<java.lang.String,java.lang.Double>>> getConstraints()

setConstraints

public void setConstraints(java.util.HashMap<org.processmining.plugins.declareminer.enumtypes.DeclareTemplate,java.util.HashMap<org.processmining.framework.util.Pair<java.lang.String,java.lang.String>,java.util.HashMap<java.lang.String,java.lang.Double>>> constraints)

hasTraces

public boolean hasTraces()

dumpModel

public void dumpModel(java.lang.String filename)

convert

public static DeclareModel convert(org.processmining.plugins.declareminer.visualizing.DeclareMap source)

readFromFile

public static DeclareModel readFromFile(java.lang.String filename)