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