| Package | Description |
|---|---|
| org.processmining.plugins.petra.monotonicity.graph |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<MonotonicityEdge> |
MonotonicityGraph.getEdges() |
protected org.processmining.models.graphbased.directed.AbstractDirectedGraph<MonotonicityNode,MonotonicityEdge> |
MonotonicityGraph.getEmptyClone() |
| Modifier and Type | Method and Description |
|---|---|
protected java.util.Map<? extends org.processmining.models.graphbased.directed.DirectedGraphElement,? extends org.processmining.models.graphbased.directed.DirectedGraphElement> |
MonotonicityGraph.cloneFrom(org.processmining.models.graphbased.directed.DirectedGraph<MonotonicityNode,MonotonicityEdge> graph) |