Modifier and Type | Interface and Description |
---|---|
interface |
ParameterizedFeature<T extends ConfigurableParameter<?>>
Groups several
ConfigurableFeature s 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) |