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)