Uses of Class
org.tweetyproject.commons.Plotter
Package
Description
-
Uses of Plotter in org.tweetyproject.graphs.util
ModifierConstructorDescriptionGraphPlotter(Plotter plotter, Graph<T> graph)
Create a new instance -
Uses of Plotter in org.tweetyproject.logics.bpm.plotting
ModifierConstructorDescriptionBpmnModelPlotter(Plotter plotter, BpmnModel bpmnModel)
Create a new instance for plotting the BpmnModel -
Uses of Plotter in org.tweetyproject.logics.petri.plotting
ModifierConstructorDescriptionPetriNetPlotter(Plotter plotter, PetriNet petriNet)
Create a new instance for plotting the BpmnModelReachabilityGraphPlotter(Plotter plotter, ReachabilityGraph graph)
Create a new instance