Package org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single
-
Class Summary Class Description SATSolveSingle SATSolveSingle.Edge SATSolveSingle.Node SATSolveSingle.Var SATSolveSingleLoop SATSolveSingleParallel SATSolveSingleSequence SATSolveSingleXor