Class BigraphRankedGraphExporter
java.lang.Object
org.bigraphs.framework.visualization.BigraphRankedGraphExporter
- All Implemented Interfaces:
BigraphGraphicsExporter<AbstractRankedGraph<?,
?, ?>>
public class BigraphRankedGraphExporter
extends Object
implements BigraphGraphicsExporter<AbstractRankedGraph<?,?,?>>
Exports a bigraph, encoded as a ranked graph, to a diagram.
- Author:
- Dominik Grzelak
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
toPNG
(AbstractRankedGraph<?, ?, ?> rankedGraphEncoding, File output) with
(GraphicalFeatureSupplier<?> supplier)
-
Constructor Details
-
BigraphRankedGraphExporter
public BigraphRankedGraphExporter()
-
-
Method Details
-
toPNG
- Specified by:
toPNG
in interfaceBigraphGraphicsExporter<AbstractRankedGraph<?,
?, ?>> - Throws:
IOException
-
with
public BigraphGraphicsExporter<AbstractRankedGraph<?,?, with?>> (GraphicalFeatureSupplier<?> supplier) - Specified by:
with
in interfaceBigraphGraphicsExporter<AbstractRankedGraph<?,
?, ?>>
-