Package org.tweetyproject.logics.petri.plotting

Class ReachabilityGraphPlotter

java.lang.Object

org.tweetyproject.graphs.util.GraphPlotter<Marking,MarkingEdge>

org.tweetyproject.logics.petri.plotting.ReachabilityGraphPlotter

public class ReachabilityGraphPlotter
extends GraphPlotter<Marking,MarkingEdge>

This class is for displaying instances of the ReachabilityGraph class graphically

Author:

Benedikt Knopp

Constructor Summary

Constructors

Constructor	Description
ReachabilityGraphPlotter(Plotter plotter, ReachabilityGraph graph)	Create a new instance

Method Summary

Methods inherited from class org.tweetyproject.graphs.util.GraphPlotter

addLabels, createGraph

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ReachabilityGraphPlotter

public ReachabilityGraphPlotter(Plotter plotter,
 ReachabilityGraph graph)

Create a new instance

Parameters:

plotter - the ground plotter

graph - the graph to plot