Class AigSerialisationPlotter

java.lang.Object

org.tweetyproject.graphs.util.AigGraphPlotter<DungTheory, Argument>

org.tweetyproject.arg.dung.serialisability.util.AigSerialisationPlotter

public abstract class AigSerialisationPlotter
extends AigGraphPlotter<DungTheory, Argument>

Abstract plotter for visualizing the serialisation of Dung argumentation frameworks.

This class extends AigGraphPlotter to provide visualization capabilities specifically tailored for Dung theories and their serialisations under various argumentation semantics.

It offers a static utility method to generate and display an HTML visualization of both the original argumentation framework and its serialisation graph, facilitating comparative analysis.

Author:

(your name or team)

Constructor Summary

Constructors

Constructor	Description
AigSerialisationPlotter(DungTheory graph)	Constructs a new AigSerialisationPlotter for the given Dung theory.

Method Summary

Modifier and Type	Method	Description
static void	showSerialisation(DungTheory theory, Semantics semantics)	Visualizes a Dung argumentation framework along with its serialisation with respect to a given argumentation semantics.

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

convert, getColor, getColor, isDeletable, isDeletable, isLabelEditable, isLabelEditable, isNodeFixedPositionX, isNodeFixedPositionY, makeLeveled, setColor, setColor, setDeletable, setDeletable, setEnableLatex, setLabelEditable, setLabelEditable, setLinkColor, setLinkDeletable, setLinkLabelEditable, setNodeColor, setNodeDeletable, setNodeFixedPositionX, setNodeFixedPositionX, setNodeFixedPositionY, setNodeFixedPositionY, setNodeLabelEditable, setNodePositionX, setNodePositionY, setToggleFixedLinkDistance, setToggleGraphEditingInGUI, setToggleLinkLabels, setToggleNodeLabels, setToggleNodePhysics, setToggleZoom, show, show, write, write

Methods inherited from class java.lang.Object

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

Constructor Details

AigSerialisationPlotter

public AigSerialisationPlotter(DungTheory graph)

Constructs a new AigSerialisationPlotter for the given Dung theory.

This initializes the plotter with the specified argumentation framework, allowing for the visualization of its structure or serialisation.

Parameters:

graph - the Dung argumentation framework to be visualized.

Method Details

showSerialisation

public static void showSerialisation(DungTheory theory,
 Semantics semantics)

Visualizes a Dung argumentation framework along with its serialisation with respect to a given argumentation semantics.

This method uses a SerialisedExtensionReasoner to compute the serialisation graph of the given theory under the specified semantics. It then renders both the original argumentation framework and the serialisation graph side by side in a generated HTML file using AigGraphPlotter.

The resulting visualization is written to index.html and automatically opened in the system's default web browser.

Parameters:

theory - the Dung theory to be visualized.

semantics - the argumentation semantics to use for computing the serialisation.

Throws:

RuntimeException - if an I/O error occurs during file handling.