Package org.processmining.earthmoversstochasticconformancechecking.stochasticlanguage

Class Activity2IndexKey

  • public class Activity2IndexKey
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      Activity2IndexKey()
      Creates an activity key.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int feed​(java.lang.String activity)  
      void feed​(org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClassifier classifier)  
      int feed​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
      After calling a bunch of these, call reindex().
      void feed​(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet net)  
      void reIndex()  
      int toIndex​(java.lang.String activity)  
      java.lang.String toString​(int activityIndex)  
      java.lang.String[] toTraceString​(int[] indexTrace)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • Activity2IndexKey

        public Activity2IndexKey()
        Creates an activity key. Do not forget to feed the logs/models to the key using feed().

    • Method Detail

      • feed

        public void feed​(org.deckfour.xes.model.XLog log,
                 org.deckfour.xes.classification.XEventClassifier classifier)

      • feed

        public void feed​(org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet net)

      • feed

        public int feed​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
        After calling a bunch of these, call reindex().
        Parameters:
        transition -
        Returns:

      • feed

        public int feed​(java.lang.String activity)

      • reIndex

        public void reIndex()

      • toIndex

        public int toIndex​(java.lang.String activity)

      • toTraceString

        public java.lang.String[] toTraceString​(int[] indexTrace)

      • toString

        public java.lang.String toString​(int activityIndex)