org.processmining.plugins.pnalignanalysis.visualization.projection

Class CoreInfoProvider

java.lang.Object

org.processmining.plugins.pnalignanalysis.visualization.projection.CoreInfoProvider

public class CoreInfoProvider
extends java.lang.Object

Author:

aadrians Nov 3, 2011

Constructor Summary

Constructors

Constructor and Description
CoreInfoProvider(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking marking, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping, org.deckfour.xes.model.XLog log, java.util.Set<? extends org.processmining.plugins.replayer.replayresult.SyncReplayResult> logReplayResult)

Method Summary

Modifier and Type	Method and Description
void	extractInfo(boolean[] filter, java.util.Set<java.lang.Integer> preservedIndexes)
protected void	extractInfoFromReliableNonEmptyTrace(org.processmining.plugins.replayer.replayresult.SyncReplayResult syncRepRes, int traceSize)
int[]	getAllStats()
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer>	getEC2Int()
org.deckfour.xes.classification.XEventClass[]	getEvClassArray()
int	getIndexOf(org.processmining.models.graphbased.directed.petrinet.elements.Transition t) Return negative if it does not exist
int[]	getInfoMarking(int markingIndex) Get marking info: [marking][freq event class][freq unique trace event class]
int[]	getInfoNode(int selectedIndex)
int[]	getMinMaxFreq(boolean isShowMoveLogModel, boolean isShowMoveModelOnly) Return minimum and maximum values of frequency
int	getNumPlaces()
int	getNumTrans()
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer>	getPlace2Int()
org.processmining.models.graphbased.directed.petrinet.elements.Place[]	getPlaceArray()
int[]	getPlaceFreq() get frequency occurrence of places from markings
int	getPlaceIndexOf(org.processmining.models.graphbased.directed.petrinet.elements.Place p)
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer>	getTrans2Int()
org.processmining.models.graphbased.directed.petrinet.elements.Transition[]	getTransArray()
protected void	initialize()
protected boolean	isFitting(org.processmining.plugins.replayer.replayresult.SyncReplayResult syncRepRes, int index)

Methods inherited from class java.lang.Object

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

Constructor Detail

CoreInfoProvider

public CoreInfoProvider(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                        org.processmining.models.semantics.petrinet.Marking marking,
                        org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping,
                        org.deckfour.xes.model.XLog log,
                        java.util.Set<? extends org.processmining.plugins.replayer.replayresult.SyncReplayResult> logReplayResult)

Method Detail

initialize

protected void initialize()

getNumTrans

public int getNumTrans()

Returns:

the numRealTrans

extractInfo

public void extractInfo(boolean[] filter,
                        java.util.Set<java.lang.Integer> preservedIndexes)

Parameters:

newNet -

mNewNet -

mapOrig2ViewNode -

repResult -

extractInfoFromReliableNonEmptyTrace

protected void extractInfoFromReliableNonEmptyTrace(org.processmining.plugins.replayer.replayresult.SyncReplayResult syncRepRes,
                                                    int traceSize)

isFitting

protected boolean isFitting(org.processmining.plugins.replayer.replayresult.SyncReplayResult syncRepRes,
                            int index)

getInfoNode

public int[] getInfoNode(int selectedIndex)

getInfoMarking

public int[] getInfoMarking(int markingIndex)

Get marking info: [marking][freq event class][freq unique trace event class]

Parameters:

markingIndex -

Returns:

getAllStats

public int[] getAllStats()

getTransArray

public org.processmining.models.graphbased.directed.petrinet.elements.Transition[] getTransArray()

getTrans2Int

public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> getTrans2Int()

getIndexOf

public int getIndexOf(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)

Return negative if it does not exist

Parameters:

t -

Returns:

getMinMaxFreq

public int[] getMinMaxFreq(boolean isShowMoveLogModel,
                           boolean isShowMoveModelOnly)

Return minimum and maximum values of frequency

Parameters:

isShowMoveLogModel -

isShowMoveModelOnly -

Returns:

getNumPlaces

public int getNumPlaces()

getPlaceArray

public org.processmining.models.graphbased.directed.petrinet.elements.Place[] getPlaceArray()

getPlace2Int

public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> getPlace2Int()

getEvClassArray

public org.deckfour.xes.classification.XEventClass[] getEvClassArray()

getEC2Int

public java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> getEC2Int()

getPlaceFreq

public int[] getPlaceFreq()

get frequency occurrence of places from markings

Returns:

getPlaceIndexOf

public int getPlaceIndexOf(org.processmining.models.graphbased.directed.petrinet.elements.Place p)