edu.umd.cs.findbugs.graph
public interface GraphToolkit<GraphType extends Graph<EdgeType,VertexType>,EdgeType extends GraphEdge<EdgeType,VertexType>,VertexType extends GraphVertex<VertexType>>
Method Summary | |
---|---|
void | copyEdge(EdgeType source, EdgeType dest)
Copy auxiliary information from one edge to another.
|
GraphType | createGraph()
Create a new empty graph (no vertices or edges).
|
VertexType | duplicateVertex(VertexType original)
Make a copy of given vertex.
|
Parameters: source the source edge dest the destination edge
Returns: the new graph
Parameters: original the vertex to copy
Returns: an exact duplicate of the vertex