| Package | Description |
|---|---|
| org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve | |
| org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single |
| Modifier and Type | Method and Description |
|---|---|
void |
SATSolve.solveDefault(java.lang.Class<? extends SATSolveSingle> c,
boolean commutative) |
| Modifier and Type | Class and Description |
|---|---|
class |
SATSolveSingleLoop |
class |
SATSolveSingleParallel |
class |
SATSolveSingleSequence |
class |
SATSolveSingleXor |