org.processmining.plugins.petra.processtree.generator

Class ConfigurationOptionsGenerator

java.lang.Object

org.processmining.plugins.petra.processtree.generator.ConfigurationOptionsGenerator

public class ConfigurationOptionsGenerator
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ConfigurationOptionsGenerator(double pHide, double pBlock)

Method Summary

Modifier and Type	Method and Description
void	addConfigurationOptions(org.processmining.processtree.Edge edge)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConfigurationOptionsGenerator

public ConfigurationOptionsGenerator(double pHide,
                                     double pBlock)

Method Detail

addConfigurationOptions

public void addConfigurationOptions(org.processmining.processtree.Edge edge)