Class BFSDeltaCombinator


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

      • BFSDeltaCombinator

        public BFSDeltaCombinator​(int adaptiveDeltaSteepness,
                                  int tauAbsolute,
                                  double delta,
                                  int[] traceCounts,
                                  int maxDepth,
                                  ESTLog log)
    • Method Detail

      • combinePlace

        public java.lang.Object[] combinePlace​(boolean[] pMVariantVector,
                                               ESTPlace place)
      • countFittingTraces

        public int countFittingTraces​(boolean[] traceVector)
      • getCurrentDepth

        public int getCurrentDepth()
      • setCurrentDepth

        public void setCurrentDepth​(int newDepth)
      • getMaxDepth

        public int getMaxDepth()