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 TypeMethodDescriptionbooleanSerialisationEquivalenceByGraphIso.isEquivalent(SerialisationGraph graph1, SerialisationGraph graph2) booleanSerialisationEquivalenceByGraphNaiv.isEquivalent(SerialisationGraph graph1, SerialisationGraph graph2) Method parameters in org.tweetyproject.arg.dung.serialisibility.equivalence with type arguments of type SerialisationGraphModifier and TypeMethodDescriptionbooleanSerialisationEquivalenceByGraphIso.isEquivalent(Collection<SerialisationGraph> graphs) booleanSerialisationEquivalenceByGraphNaiv.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 voidSerialisationAnalysisPlotter.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 voidSerialisationGraphPlotter.plotGraph(SerialisationGraph graph, int width, int height, String title) Plots the specified graph in a new created frame.static voidSerialisationGraphPlotter.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.