Package org.processmining.longdistancedependencies

Class FixedMultiset

  • public class FixedMultiset
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      FixedMultiset()  

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static int[] copyAdd​(int[] multiset, int element)  
      static int[] init​(int size)  
      static int next​(int[] multiset, int previous)  
      static int setSize​(int[] multiset)  
      static boolean setSizeLargerThanOne​(int[] multiset)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • FixedMultiset

        public FixedMultiset()

    • Method Detail

      • init

        public static int[] init​(int size)

      • next

        public static int next​(int[] multiset,
                       int previous)
        Parameters:
        multiset -
        previous - , may be -1
        Returns:
        The next non-0 element, or -1 if there is no such element.

      • setSize

        public static int setSize​(int[] multiset)

      • setSizeLargerThanOne

        public static boolean setSizeLargerThanOne​(int[] multiset)

      • copyAdd

        public static int[] copyAdd​(int[] multiset,
                            int element)