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