public GcTypeHeap Merge(int minimumSize)
{
var merged = new BidirectionalGraph <GcType, MergedEdge <GcType, GcTypeEdge> >(false, this.graph.VertexCount);
var merger = new EdgeMergeCondensationGraphAlgorithm <GcType, GcTypeEdge>(
this.graph,
merged,
delegate(GcType type)
{
return(type.Size >= minimumSize);
});
merger.Compute();
var clone = new BidirectionalGraph <GcType, GcTypeEdge>(
false,
merged.VertexCount);
foreach (var type in merged.Vertices)
{
clone.AddVertex(type);
}
foreach (var medge in merged.Edges)
{
GcTypeEdge edge = new GcTypeEdge(medge.Source, medge.Target);
foreach (GcTypeEdge e in medge.Edges)
{
edge.Count += e.Count;
}
clone.AddEdge(edge);
}
Console.WriteLine("resulting {0} types, {1} edges", clone.VertexCount, clone.EdgeCount);
return(new GcTypeHeap(clone));
}
private void AddTypeEdge(GcType source, GcType target)
{
GcTypeEdge edge;
if (!this.graph.TryGetEdge(source, target, out edge))
{
this.graph.AddEdge(edge = new GcTypeEdge(source, target));
}
edge.Count++;
}
