Class DOTReactionGraphExporter
java.lang.Object
org.bigraphs.framework.converter.dot.DOTReactionGraphExporter
- All Implemented Interfaces:
PrettyPrinter<ReactionGraph<?>>
,ReactionGraphPrettyPrinter<ReactionGraph<?>>
public class DOTReactionGraphExporter
extends Object
implements ReactionGraphPrettyPrinter<ReactionGraph<?>>
DOT file exporter for transition systems of type
ReactionGraph
.- Author:
- Dominik Grzelak
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
toOutputStream
(ReactionGraph<?> transitionSystem, OutputStream outputStream) toString
(ReactionGraph<?> transitionSystem)
-
Constructor Details
-
DOTReactionGraphExporter
public DOTReactionGraphExporter()
-
-
Method Details
-
toString
- Specified by:
toString
in interfaceReactionGraphPrettyPrinter<ReactionGraph<?>>
-
toOutputStream
public void toOutputStream(ReactionGraph<?> transitionSystem, OutputStream outputStream) throws IOException - Specified by:
toOutputStream
in interfaceReactionGraphPrettyPrinter<ReactionGraph<?>>
- Throws:
IOException
-