| Package | Description |
|---|---|
| org.processmining.models.workshop.sjjleemans.ProcessTree.mining |
| Modifier and Type | Method and Description |
|---|---|
static java.util.Set<Pair<java.util.Set<org.deckfour.xes.classification.XEventClass>,java.util.Set<org.deckfour.xes.classification.XEventClass>>> |
SequenceDivision.getDivisions(org.jgrapht.graph.DefaultDirectedGraph<java.util.Set<org.deckfour.xes.classification.XEventClass>,org.jgrapht.graph.DefaultEdge> condensedGraph,
java.util.Set<java.util.Set<org.deckfour.xes.classification.XEventClass>> startNodes,
java.util.Set<java.util.Set<org.deckfour.xes.classification.XEventClass>> endNodes) |