Class PNMLMarking
- java.lang.Object
-
- org.processmining.plugins.pnml.simple.PNMLMarking
-
public class PNMLMarking extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description PNMLMarking()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<PNMLPlaceRef>getPlaces()voidsetPlaces(java.util.List<PNMLPlaceRef> places)
-
-
-
Method Detail
-
getPlaces
public java.util.List<PNMLPlaceRef> getPlaces()
-
setPlaces
public void setPlaces(java.util.List<PNMLPlaceRef> places)
-
-