Class PTraceUtil


  • public class PTraceUtil
    extends java.lang.Object
    • Constructor Detail

      • PTraceUtil

        public PTraceUtil()
    • Method Detail

      • computeAndSetTransitiveReduction

        public static void computeAndSetTransitiveReduction​(PTrace ptrace)
        For each edge in the ptrace, compute isDirect and setDirect
        Parameters:
        ptrace -
      • computeCompleteRelations

        public static void computeCompleteRelations​(PTrace ptrace)
        Given a ptrace, the function computes the Eventually-followed-by relations and the Uncertainty relations and add it to ptrace.
        Parameters:
        ptrace -
      • areEventsWithInDistance

        public static boolean areEventsWithInDistance​(PTrace potrace,
                                                      FilterDistance filter)