|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of Configuration in org.processmining.models.graphbased.directed.petrinet.configurable |
---|
Method parameters in org.processmining.models.graphbased.directed.petrinet.configurable with type arguments of type Configuration | |
---|---|
void |
ConfigurablePetrinet.configure(java.util.List<Configuration> configurations)
Configure the provided configuration features with the provided parameter values, and execute the configurations. |
Uses of Configuration in org.processmining.models.graphbased.directed.petrinet.configurable.impl |
---|
Method parameters in org.processmining.models.graphbased.directed.petrinet.configurable.impl with type arguments of type Configuration | |
---|---|
void |
ConfigurableResetInhibitorNet.configure(java.util.List<Configuration> configurations)
|
Uses of Configuration in org.processmining.plugins.petrinet.configurable |
---|
Method parameters in org.processmining.plugins.petrinet.configurable with type arguments of type Configuration | |
---|---|
java.lang.Object[] |
ConfigurePetriNetCompletely_Plugin.configureNet(org.processmining.framework.plugin.PluginContext context,
ConfigurableResetInhibitorNet net,
java.util.List<Configuration> configuration)
|
ConfigurableResetInhibitorNet |
ConfigurePetriNet_Plugin.configureNet(org.processmining.framework.plugin.PluginContext context,
ConfigurableResetInhibitorNet net,
java.util.List<Configuration> configuration)
|
org.deckfour.uitopia.api.event.TaskListener.InteractionResult |
ConfigurePetriNet_UI.setParameters(org.processmining.contexts.uitopia.UIPluginContext context,
java.util.List<Configuration> configuration)
Open UI dialogue to populate the given configuration object with settings chosen by the user. |
protected void |
ConfigurePetriNet_UI.setParametersFromUI(java.util.List<Configuration> configurations)
|
Uses of Configuration in org.processmining.plugins.petrinet.configurable.ui |
---|
Methods in org.processmining.plugins.petrinet.configurable.ui that return Configuration | |
---|---|
Configuration |
ConfigureFeatureGroup_UI.getConfiguration()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |