Searched refs:path_length_in_edges (Results 1 – 2 of 2) sorted by relevance
714 int path_length_in_edges; member721 bool isDefined() const { return path_length_in_edges != 0; } in isDefined()723 EdgeInfo(): path_length_in_edges(0) {} in EdgeInfo()
4832 edgeInfo.path_length_in_edges = 1; in addEdge()4889 …= " + edgeInfo.length.toString() + ", edge_length = " + int2string(edgeInfo.path_length_in_edges)); in getEdgeTheorems()4891 if (edgeInfo.path_length_in_edges == 1) { in getEdgeTheorems()4939 if (*d_pathLenghtThres >= 0 && x_y_le.path_length_in_edges > *d_pathLenghtThres) return false; in tryUpdate()4943 if (*d_pathLenghtThres >= 0 && y_z_le.path_length_in_edges > *d_pathLenghtThres) return false; in tryUpdate()4954 int combined_edge_length = x_y_le.path_length_in_edges + y_z_le.path_length_in_edges; in tryUpdate()4957 (combined_length == x_z_le.length && (combined_edge_length < x_z_le.path_length_in_edges))) { in tryUpdate()4985 x_z_le.path_length_in_edges = combined_edge_length; in tryUpdate()