Package org.tweetyproject.arg.dung.util

Class DungTheoryPlotter

java.lang.Object

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

org.tweetyproject.arg.dung.util.DungTheoryPlotter

public class DungTheoryPlotter
extends GraphPlotter<Argument,Edge<Argument>>

This class represents a specialization of graph plotters used to visualize argumentation frameworks, also called @see org.tweetyproject.arg.dung.syntax.DungTheory.
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

This work was inspired by @see org.tweetyproject.logics.bpm.plotting.BpmnModelPlotter.

Version:

TweetyProject 1.23

Author:

Julian Sander

Constructor Summary

Constructors

Constructor	Description
DungTheoryPlotter(Plotter plotter, DungTheory argFramework)	Creates a new instance for plotting an abstract argumentation framework, also called DungTheory

Method Summary

Modifier and Type	Method	Description
static void	plotFramework(Collection<DungTheory> frameworks, int width, int height)	Plots the specified frameworks in a new created frame.
static void	plotFramework(DungTheory framework, int width, int height, String titleGraph)	Plots the specified framework in a new created frame.
static void	plotFramework(DungTheory framework, Plotter groundPlotter, String titleGraph)	Plots the specified framework in the frame of the specified plotter.

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

addLabels, createGraph, createGraph

Methods inherited from class java.lang.Object

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

Constructor Details

DungTheoryPlotter

public DungTheoryPlotter(Plotter plotter,
 DungTheory argFramework)

Creates a new instance for plotting an abstract argumentation framework, also called DungTheory

Parameters:

plotter - Plotter, used to create a frame, which is then used by this plotter to visualize the argumentation framework

argFramework - abstract argumentation framework which is to be visualized

Method Details

plotFramework

public static void plotFramework(Collection<DungTheory> frameworks,
 int width,
 int height)

Plots the specified frameworks in a new created frame.

Parameters:

frameworks - Argumentation framework to plot

width - Width of the new frame created.

height - Height of the new frame created.

plotFramework

public static void plotFramework(DungTheory framework,
 int width,
 int height,
 String titleGraph)

Plots the specified framework in a new created frame.

Parameters:

framework - Argumentation framework to plot

width - Width of the new frame created.

height - Height of the new frame created.

titleGraph - Title of the graph to be shown.

plotFramework

public static void plotFramework(DungTheory framework,
 Plotter groundPlotter,
 String titleGraph)

Plots the specified framework in the frame of the specified plotter.

Parameters:

framework - Argumentation framework to plot

groundPlotter - Plotter, that creates the frame

titleGraph - Title of the graph to be shown.