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

Packages that use ConfigurableGraphElementFeature

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

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

ConfigurableGraphElementFeature<Transition>	ConfigurableGraphElement_UI.ConfigurableTransition_UI.getConfigured()
ConfigurableGraphElementFeature<Place>	ConfigurableGraphElement_UI.ConfigurablePlace_UI.getConfigured()
ConfigurableGraphElementFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>	ConfigurableGraphElement_UI.ConfigurableArc_UI.getConfigured()

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

ConfigurableGraphElement_UI.ConfigurableArc_UI(javax.swing.JComponent root, ConfigurableGraphElementFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> feature, int line_height)

ConfigurableGraphElement_UI.ConfigurablePlace_UI(javax.swing.JComponent root, ConfigurableGraphElementFeature<Place> feature, int line_height)

ConfigurableGraphElement_UI.ConfigurableTransition_UI(javax.swing.JComponent root, ConfigurableGraphElementFeature<Transition> feature, int line_height)

ConfigurableGraphElement_UI(javax.swing.JComponent root, ConfigurableGraphElementFeature<T> feature, int line_height)