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

Packages that use SATSolveSingle.Var

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

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

Subclasses of SATSolveSingle.Var in org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single

Modifier and Type	Class	Description
protected static class	SATSolveSingle.Edge
protected static class	SATSolveSingle.Node

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

Modifier and Type	Field	Description
protected java.util.Map<java.lang.Integer,SATSolveSingle.Var>	SATSolveSingle.varInt2var