| Package | Description |
|---|---|
| org.processmining.plugins.graphviz.dot | |
| org.processmining.plugins.graphviz.visualisation |
| Modifier and Type | Class and Description |
|---|---|
class |
Dot |
class |
DotCluster |
| Modifier and Type | Method and Description |
|---|---|
DotNode |
DotCluster.addNode(java.lang.String label) |
DotNode |
DotCluster.addNode(java.lang.String label,
java.util.Map<java.lang.String,java.lang.String> options) |
DotNode |
DotEdge.getSource() |
DotNode |
DotEdge.getTarget() |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<DotNode> |
DotCluster.getNodesRecursive() |
| 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) |
void |
DotCluster.addNode(DotNode node) |
DotEdge |
DotCluster.getFirstEdge(DotNode source,
DotNode target) |
void |
DotCluster.removeNode(DotNode node) |
void |
DotEdge.setSource(DotNode source) |
void |
DotEdge.setTarget(DotNode target) |
| Constructor and Description |
|---|
DotEdge(DotNode source,
DotNode target) |
DotEdge(DotNode source,
DotNode target,
java.lang.String label,
java.util.Map<java.lang.String,java.lang.String> optionsMap) |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<DotNode> |
DotPanel.getNodes() |