| Modifier and Type | Interface and Description |
|---|---|
interface |
ParameterizedFeature<T extends ConfigurableParameter<?>>
Groups several
ConfigurableFeatures into one parameterized feature. |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<ConfigurableParameter<F>> |
ConfigurableFeature.getInputParameters() |
java.util.List<ConfigurableParameter<?>> |
ConfigurableFeatureGroup.getInputParameters() |
java.util.List<ConfigurableParameter<?>> |
ConfigurableFeatureGroup.getInputParametersByName() |
| Modifier and Type | Method and Description |
|---|---|
void |
ConfigurableParameter.updateParameter(ConfigurableParameter<F> update)
Update domain and value of this parameter by copying values from the given parameter.
|
| Modifier and Type | Class and Description |
|---|---|
class |
ConfigurableArc
Configures a
PetrinetEdge to be present or absent in a Petrinet. |
class |
ConfigurableArcWeight
Configurable arc to determine arc weights.
|
class |
ConfigurablePlace
|
class |
ConfigurablePlaceMarking
|
class |
ConfigurableTransition
Configure a transition to be allowed, blocked, or skipped (see
ConfigurableGraphElementOption). |
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. |
| Constructor and Description |
|---|
ParameterizedArc(Arc element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.String expression,
java.util.List<ConfigurableParameter<java.lang.Integer>> inputParameters)
Create a new parameterized marking of this place.
|
ParameterizedArc(java.lang.String id,
Arc element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.String expression,
java.util.List<ConfigurableParameter<java.lang.Integer>> inputParameters)
Create a new parameterized marking of this place.
|
ParameterizedPlaceMarking(Place element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.String expression,
java.util.List<ConfigurableParameter<java.lang.Integer>> inputParameters)
Create a new parameterized marking of this place.
|
ParameterizedPlaceMarking(java.lang.String id,
Place element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.String expression,
java.util.List<ConfigurableParameter<java.lang.Integer>> inputParameters)
Create a new parameterized marking of this place.
|
| Modifier and Type | Class and Description |
|---|---|
class |
ConfigurableGraphElementFeature<T extends org.processmining.models.graphbased.directed.DirectedGraphElement>
Abstract class to configure elements of a Petri net to be kept, removed, or
made invisible.
|
class |
ConfigurableIntegerFeature<T extends org.processmining.models.graphbased.directed.DirectedGraphElement>
Abstract class describing a configurable feature of a node or arc expressed by a range of integer values.
|
class |
ConfigurableParameterGraphElement
A configurable parameter ranging over
ConfigurableGraphElementOption. |
class |
ConfigurableParameterInteger
A configurable parameter ranging over
Integer. |
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 |
|---|---|
ConfigurableParameter<java.lang.Integer> |
ConfigurableIntegerFeature.getParameter() |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<ConfigurableParameter<ConfigurableGraphElementOption>> |
ConfigurableGraphElementFeature.getInputParameters() |
java.util.List<ConfigurableParameter<java.lang.Integer>> |
ConfigurableIntegerFeature.getInputParameters() |
java.util.List<ConfigurableParameter<java.lang.Integer>> |
ParameterizedIntegerFeature.getInputParameters() |
java.util.List<ConfigurableParameter<ConfigurableGraphElementOption>> |
ConfigurableGraphElementFeature.getInputParametersByName() |
java.util.List<ConfigurableParameter<java.lang.Integer>> |
ConfigurableIntegerFeature.getInputParametersByName() |
java.util.List<ConfigurableParameter<java.lang.Integer>> |
ParameterizedIntegerFeature.getInputParametersByName() |
| Constructor and Description |
|---|
ParameterizedIntegerFeature(java.lang.String id,
T element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.String expression,
java.util.List<ConfigurableParameter<java.lang.Integer>> inputParameters)
Create a new parameterized feature for the given element.
|
| Modifier and Type | Method and Description |
|---|---|
ConfigurableParameter<F> |
ConfigureFeature_UI.getFeature() |
| Modifier and Type | Method and Description |
|---|---|
static ConfigureFeature_UI<?> |
ConfigureFeature_UI_Factory.getUIforFeature(java.lang.String label,
ConfigurableParameter<?> feature) |
| Constructor and Description |
|---|
ConfigureFeature_UI(ConfigurableParameter<F> parameter) |
| Modifier and Type | Method and Description |
|---|---|
ConfigurableParameter<java.lang.Integer> |
ParameterizedIntegerFeature_UI.IntegerParameter_UI.getConfigured() |
| Modifier and Type | Method and Description |
|---|---|
protected java.util.List<ConfigurableParameter<java.lang.Integer>> |
ParameterizedIntegerFeature_UI.getInputParameters() |
| Modifier and Type | Method and Description |
|---|---|
void |
ConfigureGraphElement_UI.setValues(ConfigurableParameter<?> input) |
void |
ConfigureInteger_UI.setValues(ConfigurableParameter<?> input) |
void |
ParameterizedIntegerFeature_UI.IntegerParameter_UI.setValues(ConfigurableParameter<java.lang.Integer> param) |
| Constructor and Description |
|---|
ConfigureGraphElement_UI(java.lang.String label,
ConfigurableParameter<ConfigurableGraphElementOption> parameter,
int line_height) |
ConfigureInteger_UI(java.lang.String label,
ConfigurableParameter<java.lang.Integer> feature,
int line_height) |
IntegerParameter_UI(ConfigurableParameter<java.lang.Integer> param) |
| Modifier and Type | Method and Description |
|---|---|
PnmlParameter |
PnmlParameter.convertFromNet(ConfigurableParameter<java.lang.Integer> parameter) |
| Modifier and Type | Method and Description |
|---|---|
void |
PnmlParameter.convertToNet(java.util.List<ConfigurableParameter<java.lang.Integer>> parameterList) |