|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |