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

Class SerialisationAnalysisPlotter

java.lang.Object

org.tweetyproject.arg.dung.serialisibility.plotting.SerialisationAnalysisPlotter

public class SerialisationAnalysisPlotter
extends Object

This class summarizes static methods used to plot serialisability analyses, consisting of plotting the underlying argumentation framework and the serialisation graphs regarding the specified semantics.

Version:

TweetyProject 1.23

Author:

Julian Sander

See Also:

• SerialisationGraphPlotter
• 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
SerialisationAnalysisPlotter()

Method Summary

Modifier and Type	Method	Description
static void	plotAnalyses(HashMap<DungTheory,SerialisationGraph[]> mapAFtoGraphs, String title, int width, int height)	Plots specified frameworks and their associated serialisation graphs for the specified semantics.
static void	plotAnalyses(Semantics[] semantics, DungTheory[] frameworks, String title, int width, int height)	Plots specified frameworks and their associated serialisation graphs for the specified semantics.
static void	plotAnalyses(DungTheory framework, SerialisationGraph[] graphs, String title, int width, int height)	Plots specified analyses of the serialising generation of extensions, each in a separate frame.
static PlotterMultiFrame	plotAnalysesOneFrame(HashMap<DungTheory,SerialisationGraph[]> mapAFtoGraphs, String title, int width, int height)	Plots specified frameworks and their associated serialisation graphs for the specified semantics.
static PlotterMultiFrame	plotAnalysesOneFrame(Semantics[] semantics, DungTheory[] frameworks, String[] titles, int width, int height)	Plots specified frameworks and their associated serialisation graphs for the specified semantics.

Methods inherited from class java.lang.Object

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

Constructor Details

SerialisationAnalysisPlotter

public SerialisationAnalysisPlotter()

Method Details

plotAnalyses

public static void plotAnalyses(DungTheory framework,
 SerialisationGraph[] graphs,
 String title,
 int width,
 int height)

Plots specified analyses of the serialising generation of extensions, each in a separate frame.

Parameters:

framework - *description missing*

graphs - Graphs of the serialisation process.

title - Title, common to all specified serialisation graphs to plot

width - Width of the new frames created.

height - Height of the new frames created.

plotAnalyses

public static void plotAnalyses(HashMap<DungTheory,SerialisationGraph[]> mapAFtoGraphs,
 String title,
 int width,
 int height)

Plots specified frameworks and their associated serialisation graphs for the specified semantics. Creates one frame for every single framework and its graphs.

Parameters:

mapAFtoGraphs - Frameworks mapped to the associated serialisation graphs using different semantics

title - Title, common to all specified analyses to plot

width - Width of the new frames created.

height - Height of the new frames created.

plotAnalyses

public static void plotAnalyses(Semantics[] semantics,
 DungTheory[] frameworks,
 String title,
 int width,
 int height)

Plots specified frameworks and their associated serialisation graphs for the specified semantics. Creates one frame for every single framework and its graphs.

Parameters:

semantics - Semantics of the extension created

frameworks - Frameworks, for which the extensions should be found.

title - Title, common to all specified serialisation graphs to plot

width - Width of the new frames created.

height - Height of the new frames created.

plotAnalysesOneFrame

public static PlotterMultiFrame plotAnalysesOneFrame(HashMap<DungTheory,SerialisationGraph[]> mapAFtoGraphs,
 String title,
 int width,
 int height)

Plots specified frameworks and their associated serialisation graphs for the specified semantics. Creates one single frame for all frameworks and graphs.

Parameters:

mapAFtoGraphs - Frameworks mapped to the associated serialisation graphs using different semantics

title - Title of the frameworks

width - Width of the new frames created.

height - Height of the new frames created.

Returns:

*description missing*

plotAnalysesOneFrame

public static PlotterMultiFrame plotAnalysesOneFrame(Semantics[] semantics,
 DungTheory[] frameworks,
 String[] titles,
 int width,
 int height)

Plots specified frameworks and their associated serialisation graphs for the specified semantics. Creates one single frame for all frameworks and graphs.

Parameters:

semantics - Semantics of the extension created

frameworks - Frameworks, for which the extensions should be found.

titles - Titles of the frameworks

width - Width of the new frames created.

height - Height of the new frames created.

Returns:

*description missing*