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)