diff --git a/Util/GraphLoader.h b/Util/GraphLoader.h index 60261156f..d1d4e3fde 100644 --- a/Util/GraphLoader.h +++ b/Util/GraphLoader.h @@ -292,14 +292,16 @@ NodeID readDTMPGraphFromStream(istream &in, vector& edgeList, vector NodeID readDDSGGraphFromStream(istream &in, vector& edgeList, vector * int2ExtNodeMap) { + ExternalNodeMap nodeMap; nodeMap.set_empty_key(UINT_MAX); NodeID n, source, target; + unsigned numberOfNodes = 0; char d; EdgeID m; int dir;// direction (0 = open, 1 = forward, 2+ = open) in >> d; in >> n; in >> m; - std::cout << n << " nodes and " << m << " edges ..." << flush; + std::cout << "expecting " << n << " nodes and " << m << " edges ..." << flush; edgeList.reserve(m); for (EdgeID i=0; i& edgeList, vector(edgeList.begin(), edgeList.end()).swap(edgeList); //remove excess candidates. cout << "ok" << endl; - return n; + std::cout << "imported " << numberOfNodes << " nodes and " << edgeList.size() << " edges" << std::endl; + nodeMap.clear(); + return numberOfNodes; } template