Class ESTLog


  • public class ESTLog
    extends java.lang.Object
    • Constructor Detail

    • Method Detail

      • getReducedTraceVariants

        public java.util.ArrayList<java.util.ArrayList<java.lang.Integer>> getReducedTraceVariants​(boolean[] variantVector)
      • countLiveTraces

        public int countLiveTraces​(boolean[] variantVector)
      • getTransitionsLiveness

        public boolean[] getTransitionsLiveness​(boolean[] variantVector)
      • getLogSize

        public int getLogSize()
      • findEndIndex

        public int findEndIndex​(java.lang.String[] transitions)
      • findStartIndex

        public int findStartIndex​(java.lang.String[] transitions)
      • printTransitionOrderings

        public void printTransitionOrderings()
      • printBasicLogSummary

        public void printBasicLogSummary()
      • getInTransitions

        public java.lang.String[] getInTransitions()
      • getOutTransitionMapping

        public int[] getOutTransitionMapping()
      • getTraceVariants

        public java.util.ArrayList<java.util.ArrayList<java.lang.Integer>> getTraceVariants()
      • getTraceVariantCounts

        public java.util.HashMap<java.util.ArrayList<java.lang.Integer>,​java.lang.Integer> getTraceVariantCounts()
      • getNumOfTraces

        public int getNumOfTraces()
      • getInEndIndex

        public int getInEndIndex()