Package 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 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
-
Method Summary
Modifier and TypeMethodDescriptionvoid
mergeVertices
(Set<VertexType> vertexSet, GraphType g, VertexCombinator<VertexType> combinator, GraphToolkit<GraphType, EdgeType, VertexType> toolkit) Merge the specified set of vertices into a single vertex.
-
Constructor Details
-
MergeVertices
public MergeVertices()Constructor.
-
-
Method Details
-
mergeVertices
public 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 mergedg
- the graph to be modifiedcombinator
- object used to combine verticestoolkit
- GraphToolkit used to copy auxiliary information for edges
-