Package | Description |
---|---|
org.processmining.acceptingpetrinetminer.miners | |
org.processmining.acceptingpetrinetminer.miners.impl |
Modifier and Type | Method and Description |
---|---|
DecomposedMiner |
DecomposedMinerManager.getMiner(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
java.util.List<DecomposedMiner> |
DecomposedMinerManager.getMiners() |
Modifier and Type | Method and Description |
---|---|
boolean |
DecomposedMinerManager.isDefault(DecomposedMiner miner) |
void |
DecomposedMinerManager.register(DecomposedMiner miner,
boolean isDefault) |
Modifier and Type | Class and Description |
---|---|
class |
DecomposedWrappedMiner |