| Package | Description |
|---|---|
| org.processmining.exhaustivesearch |
| Modifier and Type | Method and Description |
|---|---|
static ExhaustiveInfo |
CompareExhaustiveIncrementalApproach.getExhaustiveInfo(org.processmining.framework.plugin.PluginContext context,
InteractiveMatrixNet imn) |
static ExhaustiveInfo |
ExhaustiveLinearDependencyCalc.getLinearDependenciesExhaustively(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
CompareExhaustiveIncrementalApproach.compare(InteractiveMatrixNet imn,
ExhaustiveInfo ei) |