Modifier and Type | Class and Description |
---|---|
class |
ConfigurableArc
Configures a
PetrinetEdge to be present or absent in a Petrinet . |
class |
ConfigurablePlace
|
class |
ConfigurableTransition
Configure a transition to be allowed, blocked, or skipped (see
ConfigurableGraphElementOption ). |
Modifier and Type | Method and Description |
---|---|
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() |
Constructor and 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) |