Package org.processmining.implicitplaceidentification.algorithms.util

Class AlgebraClass

  • public class AlgebraClass
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      AlgebraClass()  

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static boolean arrayIsGreaterOrEqualTo​(int[] a1, int[] a2)  
      static boolean arrayIsStrictlyGreaterThan​(int[] a1, int[] a2)  
      static int[][] computeIncidenceMatrix​(int[][] pre, int[][] post)  
      static int[][] computeIncidenceMatrix​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.lang.Integer> placeToRowMap, com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.Integer> transitionToColumnMap)  
      static int[][] computePostIncidenceMatrix​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.lang.Integer> placeToRowMap, com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.Integer> transitionToColumnMap)  
      static int[][] computePreIncidenceMatrix​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.lang.Integer> placeToRowMap, com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.Integer> transitionToColumnMap)  
      static com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.lang.Integer> createPlaceToIndexBiMap​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet)  
      static com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.Integer> createTransitionToIndexBiMap​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet)  
      static int[] fireTransitionOnIncidenceMatrix​(int[] m1, int[][] incidenceMatrix, int transitionIndex)  
      static int[] getColumnOfMatrix​(int[][] matrix, int index)  
      static int[][] transpose​(int[][] pre)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • AlgebraClass

        public AlgebraClass()

    • Method Detail

      • fireTransitionOnIncidenceMatrix

        public static int[] fireTransitionOnIncidenceMatrix​(int[] m1,
                                                    int[][] incidenceMatrix,
                                                    int transitionIndex)

      • getColumnOfMatrix

        public static int[] getColumnOfMatrix​(int[][] matrix,
                                      int index)

      • arrayIsGreaterOrEqualTo

        public static boolean arrayIsGreaterOrEqualTo​(int[] a1,
                                              int[] a2)

      • arrayIsStrictlyGreaterThan

        public static boolean arrayIsStrictlyGreaterThan​(int[] a1,
                                                 int[] a2)

      • createPlaceToIndexBiMap

        public static com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.lang.Integer> createPlaceToIndexBiMap​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet)

      • createTransitionToIndexBiMap

        public static com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.Integer> createTransitionToIndexBiMap​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet)

      • computeIncidenceMatrix

        public static int[][] computeIncidenceMatrix​(int[][] pre,
                                             int[][] post)

      • computeIncidenceMatrix

        public static int[][] computeIncidenceMatrix​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
                                             com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.lang.Integer> placeToRowMap,
                                             com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.Integer> transitionToColumnMap)

      • computePreIncidenceMatrix

        public static int[][] computePreIncidenceMatrix​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
                                                com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.lang.Integer> placeToRowMap,
                                                com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.Integer> transitionToColumnMap)

      • computePostIncidenceMatrix

        public static int[][] computePostIncidenceMatrix​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
                                                 com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.lang.Integer> placeToRowMap,
                                                 com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.Integer> transitionToColumnMap)

      • transpose

        public static int[][] transpose​(int[][] pre)