public class PrimitivePlaceSelectionMap
extends java.lang.Object
implements java.io.Serializable
| Modifier and Type | Class and Description |
|---|---|
static class |
PrimitivePlaceSelectionMap.MapKeyDeserializer |
| Constructor and Description |
|---|
PrimitivePlaceSelectionMap(PlaceSelectionMap placeSelectionMap) |
| Modifier and Type | Method and Description |
|---|---|
void |
recreate(PlaceSelectionMap placeSelectionMap,
SegmentMeasurementController measurementController,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
public PrimitivePlaceSelectionMap(PlaceSelectionMap placeSelectionMap)
public void recreate(PlaceSelectionMap placeSelectionMap, SegmentMeasurementController measurementController, org.processmining.models.graphbased.directed.petrinet.Petrinet net)