public class PerformanceSettings extends SpecialSettings
| Modifier and Type | Class and Description |
|---|---|
static class |
PerformanceSettings.ExecutionVariant |
| Constructor and Description |
|---|
PerformanceSettings(PerformanceSettings.ExecutionVariant executionVariant) |
| Modifier and Type | Method and Description |
|---|---|
SpecialSettings |
copy() |
boolean |
equals(java.lang.Object o) |
PerformanceSettings.ExecutionVariant |
getExecutionVariant() |
int |
hashCode() |
public PerformanceSettings(PerformanceSettings.ExecutionVariant executionVariant)
public PerformanceSettings.ExecutionVariant getExecutionVariant()
public SpecialSettings copy()
copy in class SpecialSettingspublic boolean equals(java.lang.Object o)
equals in class org.processmining.basicutils.parameters.impl.PluginParametersImplpublic int hashCode()
hashCode in class java.lang.Object