Searched refs:max_w_id (Results 1 – 3 of 3) sorted by relevance
4951 dimension_type max_w_id = std::max(left_w_id, right_w_id); in general_refine() local4953 for (dimension_type first_v = 0; first_v < max_w_id; ++first_v) { in general_refine()4955 second_v <= max_w_id; ++second_v) { in general_refine()5018 for (dimension_type v = 0; v < max_w_id; ++v) { in general_refine()
805 dimension_type max_w_id = std::max(left_w_id, right_w_id); in refine_with_linear_form_inequality() local806 for (dimension_type first_v = 0; first_v < max_w_id; ++first_v) { in refine_with_linear_form_inequality()808 second_v <= max_w_id; ++second_v) { in refine_with_linear_form_inequality()878 for (dimension_type v = 0; v <= max_w_id; ++v) { in refine_with_linear_form_inequality()
71859 dimension_type max_w_id = std::max(left_w_id, right_w_id);71860 for (dimension_type first_v = 0; first_v < max_w_id; ++first_v) {71862 second_v <= max_w_id; ++second_v) {71932 for (dimension_type v = 0; v <= max_w_id; ++v) {85498 dimension_type max_w_id = std::max(left_w_id, right_w_id);85500 for (dimension_type first_v = 0; first_v < max_w_id; ++first_v) {85502 second_v <= max_w_id; ++second_v) {85565 for (dimension_type v = 0; v < max_w_id; ++v) {