Uses of Class
org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableGraphElementFeature

Packages that use ConfigurableGraphElementFeature

Package	Description
org.processmining.models.graphbased.directed.petrinet.configurable.elements
org.processmining.plugins.petrinet.configurable.ui.impl

Uses of ConfigurableGraphElementFeature in org.processmining.models.graphbased.directed.petrinet.configurable.elements

Subclasses of ConfigurableGraphElementFeature in org.processmining.models.graphbased.directed.petrinet.configurable.elements

Modifier and Type	Class	Description
class	ConfigurableArc	Configures a PetrinetEdge to be present or absent in a Petrinet.
class	ConfigurablePlace	Configures a Place to present or absent in a Petrinet.
class	ConfigurableTransition	Configure a transition to be allowed, blocked, or skipped (see ConfigurableGraphElementOption).

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

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

Modifier and Type	Method	Description
ConfigurableGraphElementFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>	ConfigurableGraphElement_UI.ConfigurableArc_UI.getConfigured()
ConfigurableGraphElementFeature<Place>	ConfigurableGraphElement_UI.ConfigurablePlace_UI.getConfigured()
ConfigurableGraphElementFeature<Transition>	ConfigurableGraphElement_UI.ConfigurableTransition_UI.getConfigured()

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

Constructor	Description
ConfigurableArc_UI(javax.swing.JComponent root, ConfigurableGraphElementFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> feature, int line_height)
ConfigurableGraphElement_UI(javax.swing.JComponent root, ConfigurableGraphElementFeature<T> feature, int line_height)
ConfigurablePlace_UI(javax.swing.JComponent root, ConfigurableGraphElementFeature<Place> feature, int line_height)
ConfigurableTransition_UI(javax.swing.JComponent root, ConfigurableGraphElementFeature<Transition> feature, int line_height)