code: function get_pnode_from_phynode_id(phynode_id){
  	    var ret = null;
  	    if( phynode_id_to_index[phynode_id] ){
  		ret = phynodes[phynode_id_to_index[phynode_id]];
  	    }
  	    return ret;
  	}
docs: / / Graph helper function definitions. /