public class VizGraphParametersUtils
extends java.lang.Object
Constructor and Description |
---|
VizGraphParametersUtils() |
Modifier and Type | Method and Description |
---|---|
static java.util.List<java.lang.String> |
addHighlightPlacesBasedOnLDMatrix(org.processmining.models.graphbased.directed.petrinet.elements.Place place,
InteractivePetriNet ipn) |
static java.util.List<java.lang.String> |
addHighlightTransBasedOnLDMatrix(org.processmining.models.graphbased.directed.petrinet.elements.Transition tran,
InteractivePetriNet ipn) |
static void |
getAllHighlights(InteractivePetriNet ipn) |
public static void getAllHighlights(InteractivePetriNet ipn)
public static java.util.List<java.lang.String> addHighlightPlacesBasedOnLDMatrix(org.processmining.models.graphbased.directed.petrinet.elements.Place place, InteractivePetriNet ipn)
public static java.util.List<java.lang.String> addHighlightTransBasedOnLDMatrix(org.processmining.models.graphbased.directed.petrinet.elements.Transition tran, InteractivePetriNet ipn)