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) |