Uses of Class
org.tweetyproject.arg.dung.serialisibility.syntax.SerialisationGraph
Packages that use SerialisationGraph
Package
Description
-
Uses of SerialisationGraph in org.tweetyproject.arg.dung.reasoner.serialisable
Methods in org.tweetyproject.arg.dung.reasoner.serialisable that return SerialisationGraphModifier and TypeMethodDescriptionSerialisableExtensionReasoner.getModelsGraph
(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.serialisibility.equivalence
Methods in org.tweetyproject.arg.dung.serialisibility.equivalence with parameters of type SerialisationGraphModifier and TypeMethodDescriptionboolean
SerialisationEquivalenceByGraphIso.isEquivalent
(SerialisationGraph graph1, SerialisationGraph graph2) boolean
SerialisationEquivalenceByGraphNaiv.isEquivalent
(SerialisationGraph graph1, SerialisationGraph graph2) Method parameters in org.tweetyproject.arg.dung.serialisibility.equivalence with type arguments of type SerialisationGraphModifier and TypeMethodDescriptionboolean
SerialisationEquivalenceByGraphIso.isEquivalent
(Collection<SerialisationGraph> graphs) boolean
SerialisationEquivalenceByGraphNaiv.isEquivalent
(Collection<SerialisationGraph> graphs) Constructor parameters in org.tweetyproject.arg.dung.serialisibility.equivalence with type arguments of type SerialisationGraphModifierConstructorDescriptionSerialisationEquivalenceByGraph
(Equivalence<SerialisationGraph> comparator, SerialisableExtensionReasoner reasoner) -
Uses of SerialisationGraph in org.tweetyproject.arg.dung.serialisibility.plotting
Methods in org.tweetyproject.arg.dung.serialisibility.plotting with parameters of type SerialisationGraphModifier 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 plotterConstructors in org.tweetyproject.arg.dung.serialisibility.plotting with parameters of type SerialisationGraphModifierConstructorDescriptionSerialisationGraphPlotter
(Plotter plotter, SerialisationGraph graph) *description missing* -
Uses of SerialisationGraph in org.tweetyproject.arg.dung.serialisibility.syntax
Constructors in org.tweetyproject.arg.dung.serialisibility.syntax with parameters of type SerialisationGraphModifierConstructorDescriptionSerialisationGraph
(SerialisationGraph graph, Extension<DungTheory> root, Semantics semanticsUsed, Collection<Extension<DungTheory>> extensionsFound) Creates a graph containing all transition states during the generation process of the serialisable extensions.