public class ConfigurationOptionsGenerator
extends java.lang.Object
| Constructor and Description |
|---|
ConfigurationOptionsGenerator(double pHide,
double pBlock) |
| Modifier and Type | Method and Description |
|---|---|
void |
addConfigurationOptions(org.processmining.processtree.Edge edge) |