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)