Class Exhaustive


  • public class Exhaustive
    extends java.lang.Object
    • Method Detail

      • tryRange

        public Exhaustive.Result tryRange​(int nrOfBits,
                                          org.deckfour.xes.classification.XEventClass[] activities,
                                          long startCutNr,
                                          long endCutNr)
      • processCutParallel

        public Exhaustive.Result processCutParallel​(java.util.Collection<java.util.Set<org.deckfour.xes.classification.XEventClass>> partition)
      • processCutLoop

        public Exhaustive.Result processCutLoop​(java.util.Collection<java.util.Set<org.deckfour.xes.classification.XEventClass>> partition)
      • generateCut

        public java.util.List<java.util.Set<org.deckfour.xes.classification.XEventClass>> generateCut​(long input,
                                                                                                      int nrOfBits,
                                                                                                      org.deckfour.xes.classification.XEventClass[] activities)