org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single
Classes
SATSolveSingle
SATSolveSingle.Edge
SATSolveSingle.Node
SATSolveSingle.Var
SATSolveSingleLoop
SATSolveSingleParallel
SATSolveSingleSequence
SATSolveSingleXor