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)
Add a new dot node to the graph with the given label.
|
DotNode |
DotCluster.addNode(java.lang.String label,
java.util.Map<java.lang.String,java.lang.String> options)
Add a new dot node to the graph.
|
DotNode |
DotEdge.getSource() |
DotNode |
DotEdge.getTarget() |
DotNode |
DotCluster.insertNode(int index,
java.lang.String label)
Insert a new dot node to the graph.
|
DotNode |
DotCluster.insertNode(int index,
java.lang.String label,
java.util.Map<java.lang.String,java.lang.String> options)
Insert a new dot node to the graph.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<DotNode> |
DotCluster.getNodes() |
java.util.List<DotNode> |
DotCluster.getNodesRecursive() |
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.
|
void |
DotCluster.addNode(DotNode node)
Add an existing dot node to the graph.
|
DotEdge |
DotCluster.getFirstEdge(DotNode source,
DotNode target) |
void |
DotCluster.insertNode(int index,
DotNode node)
Insert an existing node into the graph.
|
void |
DotCluster.removeNode(DotNode node)
Remove all equivalent dot nodes from the graph.
|
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() |