org.processmining.stagedprocessflows.models

Class SPFManager

java.lang.Object

org.processmining.stagedprocessflows.models.SPFManager

public class SPFManager
extends java.lang.Object

This class manages all BPFs created in this plug-in

Author:

Hoang Nguyen

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SPFManager()

Method Summary

Modifier and Type	Method and Description
void	clear()
SPF	createBPF(SPFConfig config, TraceAttributeFilterParameters filter)
SPF	get(int index)
java.util.Map<java.lang.String,java.util.Map<java.lang.String,java.lang.String>>	getCaseAttributeMap()
SPF	getCurrent()
int	getCurrentIndex()
static SPFManager	getInstance()
void	remove(int index)
java.util.Set<java.lang.String>	selectCases(java.util.Map<java.lang.String,java.util.Set<java.lang.String>> attValueMap) Select cases that satisfy a set of attribute values
void	setCaseAttributeMap(java.util.Map<java.lang.String,java.util.Map<java.lang.String,java.lang.String>> attMap)
void	setCurrentIndex(int current)
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

SPFManager

protected SPFManager()

Method Detail

getInstance

public static SPFManager getInstance()

createBPF

public SPF createBPF(SPFConfig config,
                     TraceAttributeFilterParameters filter)
              throws java.lang.Exception

Throws:

java.lang.Exception

setCaseAttributeMap

public void setCaseAttributeMap(java.util.Map<java.lang.String,java.util.Map<java.lang.String,java.lang.String>> attMap)

getCaseAttributeMap

public java.util.Map<java.lang.String,java.util.Map<java.lang.String,java.lang.String>> getCaseAttributeMap()

selectCases

public java.util.Set<java.lang.String> selectCases(java.util.Map<java.lang.String,java.util.Set<java.lang.String>> attValueMap)

Select cases that satisfy a set of attribute values

Parameters:

attributeValueMap - : map of case attribute name to a set of attribute values

getCurrentIndex

public int getCurrentIndex()

setCurrentIndex

public void setCurrentIndex(int current)
                     throws java.lang.Exception

Throws:

java.lang.Exception

getCurrent

public SPF getCurrent()

size

public int size()

get

public SPF get(int index)
        throws java.lang.Exception

Throws:

java.lang.Exception

remove

public void remove(int index)
            throws java.lang.Exception

Throws:

java.lang.Exception

clear

public void clear()