Class SerialisationAnalysisPlotter

java.lang.Object

org.tweetyproject.arg.dung.serialisability.util.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.

Author:

Julian Sander

See Also:

• DungTheoryPlotter

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 - an argumentation framework

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:

Frame containing the plotted graphs

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:

Frame containing the plotted graphs