Uses of Class
org.processmining.models.graphbased.directed.petrinet.configurable.elements.ParameterizedPlaceMarking

Packages that use ParameterizedPlaceMarking

Package	Description
org.processmining.plugins.petrinet.configurable.ui.impl

Uses of ParameterizedPlaceMarking in org.processmining.plugins.petrinet.configurable.ui.impl

Methods in org.processmining.plugins.petrinet.configurable.ui.impl that return ParameterizedPlaceMarking

Modifier and Type	Method	Description
ParameterizedPlaceMarking	ParameterizedIntegerFeature_UI.ParameterizedPlaceMarkingFeature_UI.getConfigured()

Constructors in org.processmining.plugins.petrinet.configurable.ui.impl with parameters of type ParameterizedPlaceMarking

Constructor	Description
ParameterizedPlaceMarkingFeature_UI(javax.swing.JComponent root, ParameterizedPlaceMarking feature, int line_height)