Modifier and Type | Method and Description |
---|---|
void |
ConfigurablePetrinet.addConfigurableFeature(java.lang.String id,
ConfigurableFeature<? extends org.processmining.models.graphbased.directed.DirectedGraphElement,?> feature)
Add a configurable feature to this net
|
void |
ConfigurablePetrinet.addConfigurableFeatures(ConfigurableFeatureGroup group)
Add a configurable feature group to this net,
|
void |
ConfigurableFeatureGroup.addFeature(ConfigurableFeature<? extends org.processmining.models.graphbased.directed.DirectedGraphElement,? extends java.lang.Object> feature)
Add feature to this group.
|
ConfigurableFeatureGroup |
ConfigurableFeatureGroup.cloneFor(java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> copies)
Clone this feature group and create a new
ConfigurableFeature for each feature in this
group where the ConfigurableFeature.getConfiguredElement() is updated according to
copies. |
ConfigurableFeature<T,F> |
ConfigurableFeature.cloneFor(T newElement)
Create a clone of this feature using newElement as
ConfigurableFeature.getConfiguredElement() . |
void |
ConfigurablePetrinet.configure(java.util.List<Configuration> configurations)
Configure the provided configuration features with the provided parameter values,
and execute the configurations.
|
void |
ConfigurablePetrinet.configureDefault()
Configure this Petri net by executing all configurations of all
configuration features.
|
static ConfigurableFeatureGroup |
ConfigurableFeatureGroup.createDefaultFeatureGroup(Place p,
Marking m)
Create a configurable feature group for the presence of a place and its initial marking.
|
static ConfigurableFeatureGroup |
ConfigurableFeatureGroup.createDefaultFeatureGroup(Transition t)
Create a configurable feature group for the presence of a transition and the weights of
its adjacent arcs.
|
static java.util.List<ConfigurableFeatureGroup> |
ConfigurableFeatureGroup.createDefaultFeatureGroups(PetrinetGraph net,
Marking m)
Create default configurable feature groups for all nodes in the net.
|
NetType |
ConfigurablePetrinet.getConfiguredNet() |
void |
ConfigurableFeatureGroup.setInputParameter(java.lang.String key,
java.lang.Object value) |
void |
ParameterizedFeature.setInputParameter(java.lang.String key,
java.lang.Object value)
Set value of an input parameter.
|
void |
ConfigurableParameter.setValue(java.lang.Object value)
Set chosen value of the feature.
|
void |
ConfigurableParameter.updateParameter(ConfigurableParameter<F> update)
Update domain and value of this parameter by copying values from the given parameter.
|
Constructor and Description |
---|
ConfigurableParameter(java.lang.String id,
F[] values,
F defaultValue)
Create new configurable parameter ranging over a discrete domain of values, wit given default value.
|
ConfigurableParameter(java.lang.String id,
F min,
F max,
F defaultValue)
Create a new configurable parameter ranging over values from the given interval with a given default value.
|
Modifier and Type | Method and Description |
---|---|
ConfigurableFeature<Arc,java.lang.Integer> |
ConfigurableArcWeight.cloneFor(Arc newElement) |
ConfigurableFeature<Arc,java.lang.Integer> |
ParameterizedArc.cloneFor(Arc newElement) |
ConfigurableFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>,ConfigurableGraphElementOption> |
ConfigurableArc.cloneFor(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> newElement) |
ConfigurableFeature<Place,ConfigurableGraphElementOption> |
ConfigurablePlace.cloneFor(Place newElement) |
ConfigurableFeature<Place,java.lang.Integer> |
ConfigurablePlaceMarking.cloneFor(Place newElement) |
ConfigurableFeature<Place,java.lang.Integer> |
ParameterizedPlaceMarking.cloneFor(Place newElement) |
ConfigurableFeature<Transition,ConfigurableGraphElementOption> |
ConfigurableTransition.cloneFor(Transition newElement) |
Constructor and Description |
---|
ConfigurableArc(java.lang.String id,
PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> element,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue) |
ConfigurableArcWeight(java.lang.String id,
Arc element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.Integer defaultValue) |
ConfigurablePlace(java.lang.String id,
Place element,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue) |
ConfigurablePlaceMarking(java.lang.String id,
Place element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.Integer defaultValue) |
ConfigurableTransition(java.lang.String id,
Transition element,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue) |
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 | Method and Description |
---|---|
void |
ConfigurableResetInhibitorNet.addConfigurableFeature(java.lang.String id,
ConfigurableFeature<? extends org.processmining.models.graphbased.directed.DirectedGraphElement,?> feature) |
void |
ConfigurableResetInhibitorNet.addConfigurableFeatures(ConfigurableFeatureGroup group) |
abstract ConfigurableFeature<T,java.lang.Integer> |
ParameterizedIntegerFeature.cloneFor(T newElement) |
void |
ConfigurableResetInhibitorNet.configure(java.util.List<Configuration> configurations) |
void |
ConfigurableResetInhibitorNet.configureDefault() |
ResetInhibitorNet |
ConfigurableResetInhibitorNet.getConfiguredNet() |
void |
ConfigurableGraphElementFeature.setInputParameter(java.lang.String key,
java.lang.Object value) |
void |
ConfigurableIntegerFeature.setInputParameter(java.lang.String key,
java.lang.Object value) |
void |
ParameterizedIntegerFeature.setInputParameter(java.lang.String id,
java.lang.Object value)
Set value of a parameter in the expression
|
void |
ParameterizedIntegerFeature.setValue(java.lang.Object value)
Never set values directly for parameterized features, does nothing.
|
Constructor and Description |
---|
ConfigurableGraphElementFeature(java.lang.String id,
T element,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue) |
ConfigurableIntegerFeature(java.lang.String id,
T element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.Integer defaultValue) |
ConfigurableParameterGraphElement(java.lang.String id,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue) |
ConfigurableParameterInteger(java.lang.String id,
java.lang.Integer min,
java.lang.Integer max,
java.lang.Integer defaultValue) |
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 |
---|---|
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() |
ConfigurableIntegerFeature<Place> |
ConfigurableIntegerFeature_UI.ConfigurablePlaceMarkingFeature_UI.getConfigured() |
ConfigurableIntegerFeature<Arc> |
ConfigurableIntegerFeature_UI.ConfigurableArcWeightFeature_UI.getConfigured() |
ParameterizedPlaceMarking |
ParameterizedIntegerFeature_UI.ParameterizedPlaceMarkingFeature_UI.getConfigured() |
ParameterizedArc |
ParameterizedIntegerFeature_UI.ParameterizedArcWeightFeature_UI.getConfigured() |