GraphvizHologramRenderer (SealTest Documentation)

java.lang.Object
- ca.uqac.lif.ecp.ltl.HologramVisitor<T>
- - ca.uqac.lif.ecp.ltl.GraphvizHologramRenderer<T>

public class GraphvizHologramRenderer<T extends Event>
extends HologramVisitor<T>

Fields
Modifier and Type	Field and Description
`protected java.lang.StringBuilder`	`m_buffer` The buffer where the graph will be written
`protected java.lang.String`	`m_caption` The caption to write to the graph
`protected int`	`m_parent` The parent node of the current node

Constructors
Constructor and Description
`GraphvizHologramRenderer()`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`backtrack(int count)`
`protected static java.lang.String`	`getEdgeStyle(Operator<?> op)`
`protected static java.lang.String`	`getVertexStyle(Operator<?> op)`
`void`	`setCaption(java.lang.String caption)` Sets a caption to the graph
`java.lang.String`	`toDot()`
`void`	`visit(Operator<T> op, int count)`

Methods inherited from class ca.uqac.lif.ecp.ltl.HologramVisitor
backtrack, visit

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- GraphvizHologramRenderer
```
public GraphvizHologramRenderer()
```

public void visit(Operator<T> op,
                  int count)

protected static java.lang.String getVertexStyle(Operator<?> op)

protected static java.lang.String getEdgeStyle(Operator<?> op)

Class GraphvizHologramRenderer<T extends Event>