| Package | Description |
|---|---|
| org.processmining.plugins.petra.monotonicity.graph |
| Modifier and Type | Method and Description |
|---|---|
protected org.processmining.models.graphbased.directed.AbstractDirectedGraph<MonotonicityNode,MonotonicityEdge> |
MonotonicityGraph.getEmptyClone() |
java.util.Set<MonotonicityNode> |
MonotonicityGraph.getNodes() |
| 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) |
int |
MonotonicityEdge.compareTo(org.processmining.models.graphbased.AbstractGraphEdge<MonotonicityNode,MonotonicityNode> edge) |
int |
MonotonicityEdge.compareTo(org.processmining.models.graphbased.AbstractGraphEdge<MonotonicityNode,MonotonicityNode> edge) |
| Constructor and Description |
|---|
MonotonicityEdge(MonotonicityNode source,
MonotonicityNode target,
java.awt.Color colour) |