edu.umd.cs.findbugs.graph
public class MergeVertices<GraphType extends Graph<EdgeType,VertexType>,EdgeType extends GraphEdge<EdgeType,VertexType>,VertexType extends GraphVertex<VertexType>> extends Object
Constructor Summary | |
---|---|
MergeVertices()
Constructor. |
Method Summary | |
---|---|
void | mergeVertices(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