Package org.processmining.earthmoversstochasticconformancechecking.stochasticlanguage.partialorder

Class PartialOrderCountTotalOrders

  • public class PartialOrderCountTotalOrders
extends java.lang.Object

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static SymbolicNumber count​(int[] partialOrder, int maxBaseCase, org.processmining.framework.plugin.ProMCanceller canceller)  
      static SymbolicNumber countBaseCase​(int[] partialOrder, int maxBaseCase, org.processmining.framework.plugin.ProMCanceller canceller)  
      static SymbolicNumber countSequence​(int[] partialOrder, gnu.trove.list.TIntList[] partition, int maxBaseCase, org.processmining.framework.plugin.ProMCanceller canceller)  
      static SymbolicNumber countXor​(int[] partialOrder, gnu.trove.list.TIntList[] partition, int maxBaseCase, org.processmining.framework.plugin.ProMCanceller canceller)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • PartialOrderCountTotalOrders

        public PartialOrderCountTotalOrders()

    • Method Detail

      • count

        public static SymbolicNumber count​(int[] partialOrder,
                                   int maxBaseCase,
                                   org.processmining.framework.plugin.ProMCanceller canceller)
        Parameters:
        partialOrder -
        maxBaseCase - the maximum number of events for which brute force counting will be applied after reduction. Instead, result will be "limit exceeded".
        canceller -
        Returns:

      • countXor

        public static SymbolicNumber countXor​(int[] partialOrder,
                                      gnu.trove.list.TIntList[] partition,
                                      int maxBaseCase,
                                      org.processmining.framework.plugin.ProMCanceller canceller)

      • countSequence

        public static SymbolicNumber countSequence​(int[] partialOrder,
                                           gnu.trove.list.TIntList[] partition,
                                           int maxBaseCase,
                                           org.processmining.framework.plugin.ProMCanceller canceller)

      • countBaseCase

        public static SymbolicNumber countBaseCase​(int[] partialOrder,
                                           int maxBaseCase,
                                           org.processmining.framework.plugin.ProMCanceller canceller)