Package | Description |
---|---|
org.processmining.decomposedreplayer.configurations | |
org.processmining.decomposedreplayer.configurations.impl |
Modifier and Type | Method and Description |
---|---|
DecomposedReplayConfiguration |
DecomposedReplayConfigurationManager.getConfiguration(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
java.util.List<DecomposedReplayConfiguration> |
DecomposedReplayConfigurationManager.getConfigurations() |
Modifier and Type | Method and Description |
---|---|
boolean |
DecomposedReplayConfigurationManager.isDefault(DecomposedReplayConfiguration configuration) |
void |
DecomposedReplayConfigurationManager.register(DecomposedReplayConfiguration configuration,
boolean isDefault) |