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, 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