Uses of Class
org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single.SATSolveSingle.Edge

Packages that use SATSolveSingle.Edge

Package	Description
org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single

Uses of SATSolveSingle.Edge in org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single

Methods in org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single that return SATSolveSingle.Edge

Modifier and Type	Method	Description
protected SATSolveSingle.Edge	SATSolveSingle.newEdgeVar(org.deckfour.xes.classification.XEventClass a, org.deckfour.xes.classification.XEventClass b)