| Modifier and Type | Class and Description |
|---|---|
class |
DfgMinerState |
| Modifier and Type | Class and Description |
|---|---|
class |
MinerState |
| Modifier and Type | Method and Description |
|---|---|
static void |
Miner.addChild(org.processmining.processtree.Block parent,
org.processmining.processtree.Node child,
MinerStateBase minerState) |
| Modifier and Type | Method and Description |
|---|---|
static Cut |
CutFinderIMc.findCut(CutFinderIMinInfo info,
float threshold,
MinerStateBase minerState) |
| Modifier and Type | Field and Description |
|---|---|
protected MinerStateBase |
SATSolve.minerState |
| 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) |