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