Package org.processmining.est2miner.models.coreobjects

Class ESTProcessModel

java.lang.Object

org.processmining.est2miner.models.coreobjects.ESTProcessModel

public class ESTProcessModel
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ESTProcessModel(java.util.ArrayList<ESTPlace> places, java.lang.String[] transitions, int numVariants)

Method Summary

Modifier and Type	Method	Description
void	addPlace(ESTPlace p)
int	countLiveVariants()
java.util.ArrayList<ESTPlace>	getDiscardedPlaces()
protected int	getMask(int position, java.lang.String[] transitions)
int	getNumDeadTransitions()
int	getNumLiveTraces(ESTLog log)
java.util.ArrayList<ESTPlace>	getPlaces()
java.util.ArrayList<ESTPlace>	getPotentialPlaces()
java.lang.String[]	getTransitions()
boolean[]	getTransitionsLiveness()
boolean[]	getVariantVector()
ESTProcessModel	mergeSelfLoopPlaces(ESTLog log)
void	printPlaceSummary()
int	removeDeadTransitions(int transitionKey)
void	setPlaces(java.util.ArrayList<ESTPlace> places)
void	setPotentialPlaces(java.util.ArrayList<ESTPlace> potentialPlaces)
void	updateAndPrintStatus(ESTLog log)
void	updateStatus(ESTLog log)

Methods inherited from class java.lang.Object

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

Constructor Detail

ESTProcessModel

public ESTProcessModel(java.util.ArrayList<ESTPlace> places,
                       java.lang.String[] transitions,
                       int numVariants)

Method Detail

addPlace

public void addPlace(ESTPlace p)

updateAndPrintStatus

public void updateAndPrintStatus(ESTLog log)

updateStatus

public void updateStatus(ESTLog log)

printPlaceSummary

public void printPlaceSummary()

countLiveVariants

public int countLiveVariants()

removeDeadTransitions

public int removeDeadTransitions(int transitionKey)

mergeSelfLoopPlaces

public ESTProcessModel mergeSelfLoopPlaces(ESTLog log)

getPlaces

public java.util.ArrayList<ESTPlace> getPlaces()

getTransitions

public java.lang.String[] getTransitions()

setPlaces

public void setPlaces(java.util.ArrayList<ESTPlace> places)

getVariantVector

public boolean[] getVariantVector()

getNumLiveTraces

public int getNumLiveTraces(ESTLog log)

getPotentialPlaces

public java.util.ArrayList<ESTPlace> getPotentialPlaces()

setPotentialPlaces

public void setPotentialPlaces(java.util.ArrayList<ESTPlace> potentialPlaces)

getDiscardedPlaces

public java.util.ArrayList<ESTPlace> getDiscardedPlaces()

getTransitionsLiveness

public boolean[] getTransitionsLiveness()

getNumDeadTransitions

public int getNumDeadTransitions()

getMask

protected int getMask(int position,
                      java.lang.String[] transitions)