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

Packages that use ParameterizedPlaceMarking

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

ParameterizedPlaceMarking

ParameterizedIntegerFeature_UI.ParameterizedPlaceMarkingFeature_UI.getConfigured()

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

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