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)