Package org.tweetyproject.arg.dung.serialisibility.plotting

Class SerialisationGraphPlotter

java.lang.Object

org.tweetyproject.graphs.util.GraphPlotter<Extension<DungTheory>,Edge<Extension<DungTheory>>>

org.tweetyproject.arg.dung.serialisibility.plotting.SerialisationGraphPlotter

public class SerialisationGraphPlotter
extends GraphPlotter<Extension<DungTheory>,Edge<Extension<DungTheory>>>

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:

• Reference: Matthias Thimm. Revisiting initial sets in abstract argumentation. Argument and Computation 13 (2022) 325–360 DOI 10.3233/AAC-210018 Reference: Lars Bengel and Matthias Thimm. Serialisable Semantics for Abstract Argumentation. Computational Models of Argument (2022) DOI: 10.3233/FAIA220143

Constructor Summary

Constructors

Constructor	Description
SerialisationGraphPlotter(Plotter plotter, SerialisationGraph graph)	*description missing*

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(Extension<DungTheory> 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)

*description missing*

Parameters:

plotter - *description missing*

graph - *description missing*

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<Extension<DungTheory>,Edge<Extension<DungTheory>>>

Parameters:

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

getStyle

public String getStyle(Extension<DungTheory> node)