org.processmining.kpiprocessenhancementworkflow.models

Class PrefixContainer

java.lang.Object

org.processmining.kpiprocessenhancementworkflow.models.PrefixContainer

public class PrefixContainer
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	PrefixContainer.PrefixFrequencyPair

Constructor Summary

Constructors

Constructor and Description
PrefixContainer()

Method Summary

Modifier and Type	Method and Description
void	addActivity(java.lang.String activity) Adds an activity with an empty ArrayList of pairs
void	addPrefixToActivity(java.lang.String activity, java.util.Set<java.lang.String> prefix) Adds a new prefix to an activity
boolean	contains(java.lang.String key)
int	getIndexPrefix(java.lang.String activity, java.util.Set<java.lang.String> prefix) Returns the index of the specified prefix for the specified activity, or -1 if the prefix is not defined
java.util.ArrayList<PrefixContainer.PrefixFrequencyPair>	getPrefixes(java.lang.String key)
void	increaseFrequency(java.lang.String activity, java.util.Set<java.lang.String> prefix)
java.util.Set<java.lang.String>	keySet()
int	size(java.lang.String activity)

Methods inherited from class java.lang.Object

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

Constructor Detail

PrefixContainer

public PrefixContainer()

Method Detail

contains

public boolean contains(java.lang.String key)

keySet

public java.util.Set<java.lang.String> keySet()

getPrefixes

public java.util.ArrayList<PrefixContainer.PrefixFrequencyPair> getPrefixes(java.lang.String key)

addActivity

public void addActivity(java.lang.String activity)

Adds an activity with an empty ArrayList of pairs

Parameters:

activity -

addPrefixToActivity

public void addPrefixToActivity(java.lang.String activity,
                                java.util.Set<java.lang.String> prefix)

Adds a new prefix to an activity

Parameters:

activity -

prefix -

getIndexPrefix

public int getIndexPrefix(java.lang.String activity,
                          java.util.Set<java.lang.String> prefix)

Returns the index of the specified prefix for the specified activity, or -1 if the prefix is not defined

Parameters:

activity -

prefix -

Returns:

increaseFrequency

public void increaseFrequency(java.lang.String activity,
                              java.util.Set<java.lang.String> prefix)

size

public int size(java.lang.String activity)