| Package | Description |
|---|---|
| org.processmining.plugins.petrinet.replay.performance | |
| org.processmining.plugins.petrinet.replay.util |
| Modifier and Type | Method and Description |
|---|---|
PerformanceData |
TotalPerformanceResult.getTotal() |
| Modifier and Type | Method and Description |
|---|---|
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,PerformanceData> |
PerformanceResult.getList() |
| Modifier and Type | Method and Description |
|---|---|
void |
TotalPerformanceResult.setTotal(PerformanceData total) |
| Modifier and Type | Method and Description |
|---|---|
void |
PerformanceResult.setList(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,PerformanceData> list) |
| Modifier and Type | Method and Description |
|---|---|
static void |
PetriNetDrawUtil.drawperformancenet(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,PerformanceData> Result,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Arc,java.lang.Integer> maparc) |
static java.lang.String |
PetriNetDrawUtil.toHTMLfromMPP(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,PerformanceData> Result) |