public static void WriteToGraphvizFile(string path, OperationGraph graph) { var builder = new StringBuilder(); GraphSerializer.WriteToGraphvizFile( path, graph, n => GetNodeLabel(builder, n)); }
public static void WriteToGraphvizFile(string path, OperationGraph graph) { var builder = new StringBuilder(); GraphSerializer.WriteToGraphvizFile( path, graph, n => GetNodeLabel(builder, n)); }