public class ModelProperties
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
ModelProperties.ModelProperty |
Constructor and Description |
---|
ModelProperties() |
ModelProperties(org.processmining.processtree.ProcessTree tree,
int numAct) |
Modifier and Type | Method and Description |
---|---|
java.util.Map<java.lang.Object,java.lang.Object> |
getProperties() |
void |
setProperties(java.util.Map<java.lang.Object,java.lang.Object> properties) |