Uses of Class
org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
Package
Description
-
Uses of SerialisationGraph in org.tweetyproject.arg.dung.reasoner.serialisable
Modifier and TypeMethodDescriptionSerialisableExtensionReasoner.getSerialisationGraph
(DungTheory bbase) Creates a graph, visualizing the transition states of the serialisation process, which creates all serialisable extensions according to the specified semantics of the specified framework. -
Uses of SerialisationGraph in org.tweetyproject.arg.dung.serialisability.util
Modifier and TypeMethodDescriptionstatic void
SerialisationAnalysisPlotter.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 void
SerialisationGraphPlotter.plotGraph
(SerialisationGraph graph, int width, int height, String title) Plots the specified graph in a new created frame.static void
SerialisationGraphPlotter.plotGraph
(SerialisationGraph graph, Plotter groundPlotter, String title) Plots the specified graph in the frame of the specified plotterModifierConstructorDescriptionSerialisationGraphPlotter
(Plotter plotter, SerialisationGraph graph) Constructs a SerialisationGraphPlotter with the specified plotter and serialisation graph.