| 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) |
DotEdge |
DotCluster.addEdge(DotNode source,
DotNode target,
java.lang.String label) |
DotEdge |
DotCluster.addEdge(DotNode source,
DotNode target,
java.lang.String label,
java.util.Map<java.lang.String,java.lang.String> optionsMap) |
DotEdge |
DotCluster.getFirstEdge(DotNode source,
DotNode target) |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<DotEdge> |
DotCluster.getEdgesRecursive() |
| Modifier and Type | Method and Description |
|---|---|
void |
DotCluster.addEdge(DotEdge edge) |
void |
DotCluster.removeEdge(DotEdge edge) |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<DotEdge> |
DotPanel.getEdges() |