Package | Description |
---|---|
org.processmining.plugins.graphviz.dot | |
org.processmining.plugins.graphviz.visualisation |
Modifier and Type | Method and Description |
---|---|
DotEdge |
DotCluster.addEdge(DotNode source,
DotNode target)
Add an edge that connects source to target, with a default label.
|
DotEdge |
DotCluster.addEdge(DotNode source,
DotNode target,
java.lang.String label)
Add an edge that connects source to target, having a label, without
further options set.
|
DotEdge |
DotCluster.addEdge(DotNode source,
DotNode target,
java.lang.String label,
java.util.Map<java.lang.String,java.lang.String> optionsMap)
Add an edge that connects source to target, having a label and using an
options map.
|
DotEdge |
DotCluster.getFirstEdge(DotNode source,
DotNode target) |
Modifier and Type | Method and Description |
---|---|
java.util.List<DotEdge> |
DotCluster.getEdges() |
java.util.List<DotEdge> |
DotCluster.getEdgesRecursive() |
Modifier and Type | Method and Description |
---|---|
void |
DotCluster.addEdge(DotEdge edge)
Add a previously defined dot edge.
|
void |
DotCluster.removeEdge(DotEdge edge)
Remove all equivalent edges from the graph.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<DotEdge> |
DotPanel.getEdges() |