Package | Description |
---|---|
org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve |
Modifier and Type | Field and Description |
---|---|
protected AtomicResult |
SATSolve.bestTillNow |
Constructor and Description |
---|
SATSolve(CutFinderIMinInfo info,
AtomicResult bestTillNow,
MinerStateBase minerState) |
SATSolveLoop(CutFinderIMinInfo info,
AtomicResult result,
MinerStateBase minerState) |
SATSolveParallel(CutFinderIMinInfo info,
AtomicResult result,
MinerStateBase minerState) |
SATSolveSequence(CutFinderIMinInfo info,
AtomicResult result,
MinerStateBase minerState) |
SATSolveXor(CutFinderIMinInfo info,
AtomicResult result,
MinerStateBase minerState) |