Package org.tweetyproject.graphs.util

Class GraphPlotter<T extends Node,S extends GeneralEdge<T>>

java.lang.Object

org.tweetyproject.graphs.util.GraphPlotter<T,S>

Type Parameters:

T - the node class of the graph which is to plot

S - the edge class of the grpah which is to plot

Direct Known Subclasses:

BpmnModelPlotter, PetriNetPlotter, ReachabilityGraphPlotter

public abstract class GraphPlotter<T extends Node,S extends GeneralEdge<T>>
extends Object

A generic class for plotting graphs

Author:

Benedikt Knopp

Constructor Summary

Constructors

Constructor	Description
GraphPlotter(Plotter plotter, Graph<T> graph)	Create a new instance

Method Summary

Modifier and Type	Method	Description
void	addLabels(List<String> labels)	Add some description to the panel
void	createGraph()	Parse the elements of the graph to visual elements and align them in a hierarchical (top-to-bottom) layout

Methods inherited from class java.lang.Object

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

Constructor Details

GraphPlotter

public GraphPlotter(Plotter plotter,
 Graph<T> graph)

Create a new instance

Parameters:

plotter - the ground plotter

graph - the graph to plot

Method Details

createGraph

public void createGraph()

Parse the elements of the graph to visual elements and align them in a hierarchical (top-to-bottom) layout

addLabels

public void addLabels(List<String> labels)

Add some description to the panel

Parameters:

labels - some labels that will be aligned vertically