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