| Package | Description |
|---|---|
| org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single |
| Modifier and Type | Method and Description |
|---|---|
protected SATSolveSingle.Edge |
SATSolveSingle.newEdgeVar(org.deckfour.xes.classification.XEventClass a,
org.deckfour.xes.classification.XEventClass b) |