public class PlaceUnderfednessStorage
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
org.processmining.models.graphbased.directed.petrinet.elements.Place |
place |
java.lang.Double |
underfedness |
Constructor and Description |
---|
PlaceUnderfednessStorage(org.processmining.models.graphbased.directed.petrinet.elements.Place place,
java.lang.Double underfedness) |