Class BFSDeltaCombinator


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

      • BFSDeltaCombinator

        public BFSDeltaCombinator​(java.lang.String adaptiveDeltaStrategy,
                                  int adaptiveDeltaSteepness,
                                  int tauAbsolute,
                                  int deltaAbsolute,
                                  int[] traceCounts,
                                  int maxDepth,
                                  int potentialPlacesLimit,
                                  MyLog log)
    • Method Detail

      • combinePlace

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

        public int getCurrentDepth()
      • setCurrentDepth

        public void setCurrentDepth​(int newDepth)
      • shortenPotentialPlaces

        public java.util.ArrayList<MyPlace> shortenPotentialPlaces​(java.util.ArrayList<MyPlace> potentialPlaces)
      • getMaxDepth

        public int getMaxDepth()