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

Packages that use SATSolveSingle

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

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

Method parameters in org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve with type arguments of type SATSolveSingle

Modifier and Type	Method	Description
void	SATSolve.solveDefault(java.lang.Class<? extends SATSolveSingle> c, boolean commutative)

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

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

Modifier and Type	Class	Description
class	SATSolveSingleLoop
class	SATSolveSingleParallel
class	SATSolveSingleSequence
class	SATSolveSingleXor