Package | Description |
---|---|
org.processmining.plugins.graphviz.dot.plugins | |
org.processmining.plugins.graphviz.visualisation | |
org.processmining.plugins.graphviz.visualisation.export |
Modifier and Type | Method and Description |
---|---|
protected void |
DotImageExportPlugin.export(Dot dot,
java.io.File file,
Exporter exporter) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Exporter> |
DotPanel.getExporters() |
java.util.List<Exporter> |
NavigableSVGPanel.getExporters() |
Modifier and Type | Class and Description |
---|---|
class |
ExporterDot |
class |
ExporterEMF |
class |
ExporterEPS |
class |
ExporterPDF
Due to bugs in direct pdf export, first export to eps and then convert to
pdf.
|
class |
ExporterPNG |
class |
ExporterSVG |
Constructor and Description |
---|
ExportDialog(NavigableSVGPanel parent,
Exporter... exporters)
Deprecated.
|
Constructor and Description |
---|
ExportDialog(NavigableSVGPanel parent,
java.lang.Iterable<Exporter> exporters) |