public class PlaceSelectionController
extends java.lang.Object
Constructor and Description |
---|
PlaceSelectionController(GraphController graphController,
PlaceSelectionMap placeSelectionMap) |
Modifier and Type | Method and Description |
---|---|
PlaceSelectionState |
getState(org.processmining.models.graphbased.directed.petrinet.elements.Place place) |
void |
resetAll() |
void |
setState(org.processmining.models.graphbased.directed.petrinet.elements.Place place,
PlaceSelectionState state) |
void |
toggleState(org.processmining.models.graphbased.directed.petrinet.elements.Place place) |
void |
toggleStates(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Place> places) |
void |
updateAttributes(org.processmining.models.graphbased.ViewSpecificAttributeMap map) |
public PlaceSelectionController(GraphController graphController, PlaceSelectionMap placeSelectionMap)
public void setState(org.processmining.models.graphbased.directed.petrinet.elements.Place place, PlaceSelectionState state)
public PlaceSelectionState getState(org.processmining.models.graphbased.directed.petrinet.elements.Place place)
public void updateAttributes(org.processmining.models.graphbased.ViewSpecificAttributeMap map)
public void toggleState(org.processmining.models.graphbased.directed.petrinet.elements.Place place)
public void toggleStates(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Place> places)
public void resetAll()