| Package | Description |
|---|---|
| org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single |
| Modifier and Type | Field and Description |
|---|---|
protected java.util.Map<org.deckfour.xes.classification.XEventClass,SATSolveSingle.Node> |
SATSolveSingle.node2var |
| Modifier and Type | Method and Description |
|---|---|
protected SATSolveSingle.Node |
SATSolveSingle.newNodeVar(org.deckfour.xes.classification.XEventClass a) |