37 Index vertex = p_gn.first;
39 p_gn.second.int_vals_[
"Dist"] = 0;
40 p_gn.second.initStringId_();
48 p_gn.second.int_vals_[
"Dist"] = gn_prev.
int_vals_[
"Dist"] + 1;
49 p_gn.second.initStringId_();
Provides a means for comparing floating point numbers.