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
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidtoPNG(AbstractRankedGraph<?, ?, ?> rankedGraphEncoding, File output) with(GraphicalFeatureSupplier<?> supplier)
-
Constructor Details
-
BigraphRankedGraphExporter
public BigraphRankedGraphExporter()
-
-
Method Details
-
toPNG
- Specified by:
toPNGin interfaceBigraphGraphicsExporter<AbstractRankedGraph<?,?, ?>> - Throws:
IOException
-
with
public BigraphGraphicsExporter<AbstractRankedGraph<?,?, with?>> (GraphicalFeatureSupplier<?> supplier) - Specified by:
within interfaceBigraphGraphicsExporter<AbstractRankedGraph<?,?, ?>>
-