Package | Description |
---|---|
org.processmining.plugins.graphviz.dot |
Modifier and Type | Class and Description |
---|---|
class |
Dot |
Modifier and Type | Method and Description |
---|---|
DotCluster |
DotCluster.addCluster()
Add a new cluster to the graph.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<DotCluster> |
DotCluster.getClusters() |
Modifier and Type | Method and Description |
---|---|
void |
DotCluster.removeCluster(DotCluster cluster)
Removes all equivalent clusters from the graph (not from sub-graphs).
|