| Package | Description |
|---|---|
| org.processmining.plugins.InductiveMiner.mining.cuts.IMc | |
| org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single |
| Modifier and Type | Method and Description |
|---|---|
SATResult |
AtomicResult.get() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
AtomicResult.compareAndSet(SATResult expect,
SATResult update) |
void |
AtomicResult.lazySet(SATResult newVal) |
boolean |
AtomicResult.maximumAndGet(SATResult tryVal) |
void |
AtomicResult.set(SATResult r) |
boolean |
AtomicResult.weakCompareAndSet(SATResult expect,
SATResult update) |
| Constructor and Description |
|---|
AtomicResult(SATResult result) |
SATResult(SATResult copyFrom) |
| Modifier and Type | Method and Description |
|---|---|
abstract SATResult |
SATSolveSingle.solveSingle(int cutSize,
double bestAverageTillNow) |
SATResult |
SATSolveSingleLoop.solveSingle(int cutSize,
double bestAverageTillNow) |
SATResult |
SATSolveSingleParallel.solveSingle(int cutSize,
double bestAverageTillNow) |
SATResult |
SATSolveSingleSequence.solveSingle(int cutSize,
double bestAverageTillNow) |
SATResult |
SATSolveSingleXor.solveSingle(int cutSize,
double bestAverageTillNow) |