Modifier and Type | Class and Description |
---|---|
class |
ConfigurableArcWeight
Configurable arc to determine arc weights.
|
class |
ConfigurablePlaceMarking
|
class |
ParameterizedArc
Configurable arc to determine arc weights based on an expression.
|
class |
ParameterizedPlaceMarking
Configures the number of tokens on a
Place in the initial marking
based on an expression. |
Modifier and Type | Class and Description |
---|---|
class |
ParameterizedIntegerFeature<T extends org.processmining.models.graphbased.directed.DirectedGraphElement>
An abstract implementation of a
ParameterizedFeature ranging over Integer |
Modifier and Type | Method and Description |
---|---|
ConfigurableIntegerFeature<Place> |
ConfigurableIntegerFeature_UI.ConfigurablePlaceMarkingFeature_UI.getConfigured() |
ConfigurableIntegerFeature<Arc> |
ConfigurableIntegerFeature_UI.ConfigurableArcWeightFeature_UI.getConfigured() |
Constructor and Description |
---|
ConfigurableArcWeightFeature_UI(javax.swing.JComponent root,
ConfigurableIntegerFeature<Arc> feature,
int line_height) |
ConfigurableIntegerFeature_UI(javax.swing.JComponent root,
ConfigurableIntegerFeature<T> feature,
int line_height) |
ConfigurablePlaceMarkingFeature_UI(javax.swing.JComponent root,
ConfigurableIntegerFeature<Place> feature,
int line_height) |