Package org.processmining.logabstractions.util

Class AbstractionUtil

  • public class AbstractionUtil
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      AbstractionUtil()  

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static <T1 extends MatrixAbstraction<T2>,​T2>
      boolean      		 checkAbstractionHolds​(T1 abs, java.util.Collection<T2> first, java.util.Collection<T2> second, boolean geq)
      Checks, given some abstraction whether the relation holds amongst the two given sets.
      static <T1 extends MatrixAbstraction<T2>,​T2>
      boolean      		 checkAbstractionsHold​(T1[] abs, java.util.Collection<T2> first, java.util.Collection<T2> second, boolean[] geq)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • AbstractionUtil

        public AbstractionUtil()

    • Method Detail

      • checkAbstractionHolds

        public static <T1 extends MatrixAbstraction<T2>,​T2> boolean checkAbstractionHolds​(T1 abs,
                                                                                        java.util.Collection<T2> first,
                                                                                        java.util.Collection<T2> second,
                                                                                        boolean geq)
        Checks, given some abstraction whether the relation holds amongst the two given sets.
        Parameters:
        abs - abstraction
        first - set of elems
        second - set of elems
        geq - check for geq or less than threshold
        Returns:

      • checkAbstractionsHold

        public static <T1 extends MatrixAbstraction<T2>,​T2> boolean checkAbstractionsHold​(T1[] abs,
                                                                                        java.util.Collection<T2> first,
                                                                                        java.util.Collection<T2> second,
                                                                                        boolean[] geq)