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