Class CoreInfoProviderEmbedded
- java.lang.Object
-
- org.processmining.explorativeprocessdiscovery.embeddedvisual.CoreInfoProviderEmbedded
-
public class CoreInfoProviderEmbedded extends java.lang.Object- Author:
- aadrians Nov 3, 2011
-
-
Constructor Summary
Constructors Constructor Description CoreInfoProviderEmbedded(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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidextractInfo(boolean[] filter, java.util.Set<java.lang.Integer> preservedIndexes)protected voidextractInfoFromReliableNonEmptyTrace(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()intgetIndexOf(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)Return negative if it does not existint[]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 frequencyintgetNumPlaces()intgetNumTrans()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 markingsintgetPlaceIndexOf(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 voidinitialize()protected booleanisFitting(org.processmining.plugins.replayer.replayresult.SyncReplayResult syncRepRes, int index)
-
-
-
Constructor Detail
-
CoreInfoProviderEmbedded
public CoreInfoProviderEmbedded(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)
-
-