| Package | Description |
|---|---|
| org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single |
| Modifier and Type | Class and Description |
|---|---|
protected static class |
SATSolveSingle.Edge |
protected static class |
SATSolveSingle.Node |
| Modifier and Type | Field and Description |
|---|---|
protected java.util.Map<java.lang.Integer,SATSolveSingle.Var> |
SATSolveSingle.varInt2var |