ca.uqac.lif.ecp

Class GraphPlotter<T extends Event,U>

java.lang.Object

ca.uqac.lif.ecp.GraphPlotter<T,U>

Type Parameters:

T - The type of the events in the graph

U - The output type of the triaging function used to create the graph

Direct Known Subclasses:

AtomicGraphPlotter

public class GraphPlotter<T extends Event,U>
extends java.lang.Object

Generates a plot from a Cayley Graph

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	GraphPlotter.Format The format of the resulting graph.

Field Summary

Fields

Modifier and Type	Field and Description
protected CayleyGraph<T,U>	m_graph The Cayley graph to plot

Constructor Summary

Constructors

Constructor and Description
GraphPlotter(CayleyGraph<T,U> graph) Creates a new plotter for a given graph

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	printEdge(Edge<T> e, GraphPlotter.Format format) Prints the edge in Dot format
protected java.lang.String	printEdges(java.util.Set<Edge<T>> edges, int source_id, GraphPlotter.Format format) Prints the edges of the graph, by merging the label of all edges with the same target state
protected java.lang.String	printVertex(Vertex<T> v, GraphPlotter.Format format) Prints the vertex in Dot format
java.lang.String	toDot() Produces a Dot file to draw the graph
java.lang.String	toDot(GraphPlotter.Format format) Produces a Dot file to draw the graph

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

m_graph

protected final CayleyGraph<T extends Event,U> m_graph

The Cayley graph to plot

Constructor Detail

GraphPlotter

public GraphPlotter(CayleyGraph<T,U> graph)

Creates a new plotter for a given graph

Parameters:

graph - The graph

Method Detail

toDot

public java.lang.String toDot(GraphPlotter.Format format)

Produces a Dot file to draw the graph

Parameters:

format - The format to print out

Returns:

A string that can be passed to Dot

toDot

public java.lang.String toDot()

Produces a Dot file to draw the graph

Returns:

A string that can be passed to Dot

printVertex

protected java.lang.String printVertex(Vertex<T> v,
                                       GraphPlotter.Format format)

Prints the vertex in Dot format

Parameters:

v - The vertex

format - The format to print out

Returns:

The Dot string

printEdge

protected java.lang.String printEdge(Edge<T> e,
                                     GraphPlotter.Format format)

Prints the edge in Dot format

Parameters:

e - The edge

format - The format to print out

Returns:

The Dot string

printEdges

protected java.lang.String printEdges(java.util.Set<Edge<T>> edges,
                                      int source_id,
                                      GraphPlotter.Format format)

Prints the edges of the graph, by merging the label of all edges with the same target state

Parameters:

edges - The list of edges

source_id - The ID of the source state for all the labels