Uses of Class
org.tweetyproject.graphs.util.GraphPlotter
Package
Description
-
Uses of GraphPlotter in org.tweetyproject.arg.dung.serialisability.util
Modifier and TypeClassDescriptionclass
This class represents a specialization ofGraphPlotters
used to visualize the process of generating extensions by serialising sets of arguments, as realised inSerialisableExtensionReasoner
. -
Uses of GraphPlotter in org.tweetyproject.arg.dung.util
Modifier and TypeClassDescriptionclass
This class represents a specialization of graph plotters used to visualize argumentation frameworks, also called @see org.tweetyproject.arg.dung.syntax.DungTheory. -
Uses of GraphPlotter in org.tweetyproject.logics.bpm.plotting
Modifier and TypeClassDescriptionclass
This class is for displaying instances of the BpmnModel class graphically -
Uses of GraphPlotter in org.tweetyproject.logics.petri.plotting
Modifier and TypeClassDescriptionclass
This class is for displaying instances of the PetriNet class graphicallyclass
This class is for displaying instances of the ReachabilityGraph class graphically