// empty this info object public void clearInfo() { nodes.clear(); edges.clear(); idToNode.clear(); }