Package org.processmining.specpp.util
Class PlaceMaker.InProgress
- java.lang.Object
-
- org.processmining.specpp.util.PlaceMaker.InProgress
-
- Direct Known Subclasses:
NaivePlaceMaker.NaiveInProgress
- Enclosing class:
- PlaceMaker
public class PlaceMaker.InProgress extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description InProgress()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Placeget()PlaceMaker.InProgresspostset(Transition... post)PlaceMaker.InProgresspreset(Transition... pre)
-
-
-
Method Detail
-
preset
public PlaceMaker.InProgress preset(Transition... pre)
-
postset
public PlaceMaker.InProgress postset(Transition... post)
-
get
public Place get()
-
-