Class 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
      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

      • 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)