public class PlaceSegmentConnection
extends java.lang.Object
Constructor and Description |
---|
PlaceSegmentConnection() |
Modifier and Type | Method and Description |
---|---|
void |
add(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
Segment s) |
void |
applyHighlighting() |
org.processmining.models.graphbased.directed.petrinet.elements.Place |
getHighlightedPlace() |
java.util.Collection<Segment> |
getHighlightedSegments() |
void |
markPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place place) |
void |
markSegment(Segment segment) |
void |
reset() |
public void markSegment(Segment segment)
public void markPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place place)
public void applyHighlighting()
public void add(org.processmining.models.graphbased.directed.petrinet.elements.Place p, Segment s)
public void reset()
public org.processmining.models.graphbased.directed.petrinet.elements.Place getHighlightedPlace()
public java.util.Collection<Segment> getHighlightedSegments()