Modifier and Type | Method and Description |
---|---|
void |
PSMParameters.recreate(DataSettings dataSettings,
PlaceSelectionMap placeSelectionMap,
SegmentMeasurementController measurementController,
org.processmining.models.graphbased.directed.petrinet.Petrinet original) |
Modifier and Type | Method and Description |
---|---|
void |
PrimitivePlaceSelectionMap.recreate(PlaceSelectionMap placeSelectionMap,
SegmentMeasurementController measurementController,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
Modifier and Type | Method and Description |
---|---|
SegmentMeasurementController |
GraphController.getSegmentMeasurementController() |