Searched refs:x_y_le (Results 1 – 1 of 1) sorted by relevance
4938 EdgeInfo x_y_le = x_y_le_ref; in tryUpdate() local4939 if (*d_pathLenghtThres >= 0 && x_y_le.path_length_in_edges > *d_pathLenghtThres) return false; in tryUpdate()4952 if (!isUnsat() && x_y_le.isDefined() && y_z_le.isDefined()) { in tryUpdate()4953 EpsRational combined_length = x_y_le.length + y_z_le.length; in tryUpdate()4954 int combined_edge_length = x_y_le.path_length_in_edges + y_z_le.path_length_in_edges; in tryUpdate()5001 getEdgeTheorems(x, y, x_y_le, antecedentThms); in tryUpdate()