public class MinerMetrics extends java.lang.Object
MinerMetrics()
static long
getShortestTrace(org.processmining.processtree.Node node)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public MinerMetrics()
public static long getShortestTrace(org.processmining.processtree.Node node)