public interface LPMiner
extends java.lang.Runnable
Modifier and Type | Method and Description |
---|---|
long |
computationTimeMs() |
long |
decorationTimeMs() |
java.util.Set<double[]> |
solutions() |
long |
solveTimeMs() |
org.processmining.framework.util.Pair<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking> |
synthesizeNet() |
long computationTimeMs()
long decorationTimeMs()
java.util.Set<double[]> solutions()
long solveTimeMs()
org.processmining.framework.util.Pair<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking> synthesizeNet()