public static void FormatGraph(object sender, QuickGraph.Algorithms.Graphviz.FormatVertexEventArgs args)
{
MyVertex o = (MyVertex)args.Vertex;
args.VertexFormatter.Label = o.Name;
args.VertexFormatter.Shape = NGraphviz.Helpers.GraphvizVertexShape.Ellipse;
}
private void algo_FormatVertex(object sender, FormatVertexEventArgs e)
{
e.VertexFormatter.Label = e.Vertex.ToString();
if (e.Vertex is IPlace)
{
e.VertexFormatter.Shape = GraphvizVertexShape.Circle;
}
else if (e.Vertex is Transition)
{
e.VertexFormatter.Shape = GraphvizVertexShape.Box;
}
}
