|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of InvalidConfigurationException in org.processmining.models.graphbased.directed.petrinet.configurable |
---|
Methods in org.processmining.models.graphbased.directed.petrinet.configurable that throw InvalidConfigurationException | |
---|---|
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. |
Constructors in org.processmining.models.graphbased.directed.petrinet.configurable that throw InvalidConfigurationException | |
---|---|
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. |
Uses of InvalidConfigurationException in org.processmining.models.graphbased.directed.petrinet.configurable.elements |
---|
Methods in org.processmining.models.graphbased.directed.petrinet.configurable.elements that throw InvalidConfigurationException | |
---|---|
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)
|
Constructors in org.processmining.models.graphbased.directed.petrinet.configurable.elements that throw InvalidConfigurationException | |
---|---|
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. |
Uses of InvalidConfigurationException in org.processmining.models.graphbased.directed.petrinet.configurable.impl |
---|
Methods in org.processmining.models.graphbased.directed.petrinet.configurable.impl that throw InvalidConfigurationException | |
---|---|
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. |
Constructors in org.processmining.models.graphbased.directed.petrinet.configurable.impl that throw InvalidConfigurationException | |
---|---|
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. |
Uses of InvalidConfigurationException in org.processmining.plugins.petrinet.configurable.ui.impl |
---|
Methods in org.processmining.plugins.petrinet.configurable.ui.impl that throw InvalidConfigurationException | |
---|---|
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()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |