public class PerformanceHandler
extends java.lang.Object
Constructor and Description |
---|
PerformanceHandler() |
Modifier and Type | Method and Description |
---|---|
PerformanceSummary |
summary(org.processmining.plugins.petrinet.manifestreplayresult.Manifest manifest)
Read summary from manifest file
|
public PerformanceSummary summary(org.processmining.plugins.petrinet.manifestreplayresult.Manifest manifest) throws java.lang.Exception
manifest
- java.lang.Exception