| Package | Description |
|---|---|
| org.processmining.plugins.graphviz.dot | |
| org.processmining.plugins.graphviz.visualisation |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
Dot2Image.dot2image(Dot dot,
java.io.File file,
Dot2Image.Type type) |
static java.io.InputStream |
Dot2Image.dot2imageInputStream(Dot dot,
Dot2Image.Type type) |
| Modifier and Type | Method and Description |
|---|---|
Dot |
DotPanel.getDot() |
| Modifier and Type | Method and Description |
|---|---|
void |
DotPanelUserSettings.applyToDot(Dot dot)
Applies the dot panel user settings to a Dot instance.
|
void |
DotPanel.changeDot(Dot dot,
boolean resetView)
Sets a new image
|
void |
DotPanel.changeDot(Dot dot,
SVGDiagram diagram,
boolean resetView)
Sets a new precomputed image.
|
static SVGDiagram |
DotPanel.dot2svg(Dot dot) |
void |
DotPanelUserSettings.readFromDot(Dot dot) |
javax.swing.JComponent |
DotVisualisation.visualize(org.processmining.framework.plugin.PluginContext context,
Dot dot) |
| Constructor and Description |
|---|
DotPanel(Dot dot) |
DotPanelUserSettings(Dot dot) |