Package org.intocps.maestro.plugin.verificationsuite.graph

Class GraphDrawer

java.lang.Object

org.intocps.maestro.plugin.verificationsuite.graph.GraphDrawer

public class GraphDrawer
extends Object

Constructor Summary

Constructors

Constructor	Description
GraphDrawer()

Method Summary

Modifier and Type	Method	Description
void	plotGraph(Set<? extends Fmi2SimulationEnvironment.Relation> relations, String name)

Methods inherited from class java.lang.Object

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

Constructor Details

GraphDrawer

public GraphDrawer()

Method Details

plotGraph

public void plotGraph(Set<? extends Fmi2SimulationEnvironment.Relation> relations,
 String name)
               throws IOException

Throws:

IOException