| Package | Description |
|---|---|
| org.processmining.plugins.petra.processtree.generator |
| Modifier and Type | Method and Description |
|---|---|
ConfigurationOptionsGenerator |
GeneratorConfigurator.getConfigurationOptionsGenerator() |
| Modifier and Type | Method and Description |
|---|---|
void |
GeneratorConfigurator.setConfigurationOptionsGenerator(ConfigurationOptionsGenerator configurationOptionsGenerator) |