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

Constructors

Constructor and Description
MergeVertices() Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
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