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

Packages that use SATSolveSingle.Node

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

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

Fields in org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single with type parameters of type SATSolveSingle.Node

Modifier and Type	Field	Description
protected java.util.Map<org.deckfour.xes.classification.XEventClass,SATSolveSingle.Node>	SATSolveSingle.node2var

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

Modifier and Type	Method	Description
protected SATSolveSingle.Node	SATSolveSingle.newNodeVar(org.deckfour.xes.classification.XEventClass a)