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