Package org.processmining.variantfinder.utils

Class DrawUtils

  • public class DrawUtils
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      DrawUtils()  

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static org.processmining.plugins.graphviz.dot.Dot createGraph​(AnnotatedTransitionSystem ats, double threshold, boolean showLabels, java.util.Set<java.lang.Object> selectedElements)  
      static void highlightNode​(java.lang.Object node, java.awt.Color c)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • DrawUtils

        public DrawUtils()

    • Method Detail

      • createGraph

        public static org.processmining.plugins.graphviz.dot.Dot createGraph​(AnnotatedTransitionSystem ats,
                                                                     double threshold,
                                                                     boolean showLabels,
                                                                     java.util.Set<java.lang.Object> selectedElements)

      • highlightNode

        public static void highlightNode​(java.lang.Object node,
                                 java.awt.Color c)