public class GraphCreatorParameters
extends org.processmining.basicutils.parameters.impl.PluginParametersImpl
Constructor and Description |
---|
GraphCreatorParameters() |
GraphCreatorParameters(org.processmining.basicutils.parameters.PluginParameters parameters) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object object) |