public class SgfWriter
extends java.lang.Object
Constructor and Description |
---|
SgfWriter(java.io.PrintStream out)
Creates a new SgfWriter instance.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
writeGraph(Graph graph)
Writes a graph to this SgfWriter's stream.
|
java.lang.String |
writeMorphism(Morphism morphism)
Writes a morphism to this SgfWriter's stream.
|
java.lang.String |
writeTrace(Trace trace)
Writes a trace to this SgfWriter's stream.
|
java.lang.String |
writeTransitionSystem(ExplicitTransitionSystem system)
Writes a transition system to this SgfWriter's stream.
|
public SgfWriter(java.io.PrintStream out)
out
- OutputStream where the SGF objects are written tojava.lang.NullPointerException
- if out
is null
public java.lang.String writeGraph(Graph graph)
graph
- graph which is written to the streampublic java.lang.String writeMorphism(Morphism morphism)
morphism
- morphism which is to be writtenpublic java.lang.String writeTrace(Trace trace)
trace
- trace to write to the streampublic java.lang.String writeTransitionSystem(ExplicitTransitionSystem system)
system
- transition system to write to the stream