Package org.tweetyproject.arg.dung.serialisability.util

Class SerialisationGraphPlotter

java.lang.Object

org.tweetyproject.graphs.util.GraphPlotter<SerialisationNode,Edge<SerialisationNode>>

org.tweetyproject.arg.dung.serialisability.util.SerialisationGraphPlotter

public class SerialisationGraphPlotter
extends GraphPlotter<SerialisationNode,Edge<SerialisationNode>>

This class represents a specialization of GraphPlotters used to visualize the process of generating extensions by serialising sets of arguments, as realised in SerialisableExtensionReasoner.
The class defines the layout specifications of the visualization:

• label of a node
• label of an edge
• size of a node
• style and font-size of a node
• spacing between nodes

Version:

TweetyProject 1.23

Author:

Julian Sander

See Also:

• DungTheoryPlotter

Constructor Summary

Constructors

Constructor	Description
SerialisationGraphPlotter(Plotter plotter, SerialisationGraph graph)	Constructs a SerialisationGraphPlotter with the specified plotter and serialisation graph.

Method Summary

Modifier and Type	Method	Description
void	createGraph(boolean isVertical)	Parse the elements of the graph to visual elements and align them in a hierarchical layout in a specified orientation
String	getStyle(SerialisationNode node)
static void	plotGraph(SerialisationGraph graph, int width, int height, String title)	Plots the specified graph in a new created frame.
static void	plotGraph(SerialisationGraph graph, Plotter groundPlotter, String title)	Plots the specified graph in the frame of the specified plotter

Methods inherited from class org.tweetyproject.graphs.util.GraphPlotter

addLabels, createGraph

Methods inherited from class java.lang.Object

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

Constructor Details

SerialisationGraphPlotter

public SerialisationGraphPlotter(Plotter plotter,
 SerialisationGraph graph)

Constructs a SerialisationGraphPlotter with the specified plotter and serialisation graph. This constructor initializes the plotter and associates it with a specific serialisation graph, which represents the graph of a generation process of serialisable extensions.

Parameters:

plotter - The plotter to be used for visualizing the graph. This component handles the graphical rendering.

graph - The serialisation graph that represents the structure and data of a serialisable extension generation process.

Method Details

plotGraph

public static void plotGraph(SerialisationGraph graph,
 int width,
 int height,
 String title)

Plots the specified graph in a new created frame.

Parameters:

graph - Graph of a generation process of serialisable extensions

width - Width of the new frame created.

height - Height of the new frame created.

title - Title of the Graph to plot.

plotGraph

public static void plotGraph(SerialisationGraph graph,
 Plotter groundPlotter,
 String title)

Plots the specified graph in the frame of the specified plotter

Parameters:

graph - Graph of a generation process of serialisable extensions

groundPlotter - Plotter, which creates the frame

title - Title of the Graph to plot.

createGraph

public void createGraph(boolean isVertical)

Description copied from class: GraphPlotter

Parse the elements of the graph to visual elements and align them in a hierarchical layout in a specified orientation

Overrides:

createGraph in class GraphPlotter<SerialisationNode,Edge<SerialisationNode>>

Parameters:

isVertical - If TRUE layout of graph is "top-to-bottom", if FALSE, layout is "left-to-right"

getStyle

public String getStyle(SerialisationNode node)