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) |