/**
* Clear intermediate variables.
*/
public void Clear()
{
determinedVertexSet.Clear();
vertexCandidateQueue.clear();
startVertexDistanceIndex.Clear();
predecessorIndex.Clear();
}
/**
* Clear members of the graph.
*/
public void Clear()
{
Vertex.Reset();
vertexNum = 0;
edgeNum = 0;
vertexList.Clear();
idVertexIndex.Clear();
faninVerticesIndex.Clear();
fanoutVerticesIndex.Clear();
vertexPairWeightIndex.Clear();
}
