edu.umd.cs.findbugs.graph
Class MergeVertices<GraphType extends Graph<EdgeType,VertexType>,EdgeType extends GraphEdge<EdgeType,VertexType>,VertexType extends GraphVertex<VertexType>>

java.lang.Object
  edu.umd.cs.findbugs.graph.MergeVertices<GraphType,EdgeType,VertexType>

public class MergeVertices<GraphType extends Graph<EdgeType,VertexType>,EdgeType extends GraphEdge<EdgeType,VertexType>,VertexType extends GraphVertex<VertexType>>
extends java.lang.Object

Algorithm to merge a set of vertices into a single vertex. Note that the graph is modified as part of this process.

Constructor Summary

MergeVertices()
Constructor.

Method Summary

void	mergeVertices(java.util.Set<VertexType> vertexSet, GraphType g, VertexCombinator<VertexType> combinator, GraphToolkit<GraphType,EdgeType,VertexType> toolkit) Merge the specified set of vertices into a single vertex.

Methods inherited from class java.lang.Object

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

Constructor Detail

MergeVertices

public MergeVertices()

Constructor.

Method Detail

mergeVertices

public void mergeVertices(java.util.Set<VertexType> vertexSet,
                          GraphType g,
                          VertexCombinator<VertexType> combinator,
                          GraphToolkit<GraphType,EdgeType,VertexType> toolkit)

Merge the specified set of vertices into a single vertex.

Parameters:

vertexSet - the set of vertices to be merged

g - the graph to be modified

combinator - object used to combine vertices

toolkit - GraphToolkit used to copy auxiliary information for edges