| 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) |