Searched refs:second_v (Results 1 – 3 of 3) sorted by relevance
4954 for (dimension_type second_v = first_v+1; in general_refine() local4955 second_v <= max_w_id; ++second_v) { in general_refine()4959 left.coefficient(Variable(second_v)); in general_refine()4963 right.coefficient(Variable(second_v)); in general_refine()5004 Variable second(second_v); in general_refine()5006 dimension_type n_second_var = second_v + 1; in general_refine()
807 for (dimension_type second_v = first_v + 1; in refine_with_linear_form_inequality() local808 second_v <= max_w_id; ++second_v) { in refine_with_linear_form_inequality()812 left.coefficient(Variable(second_v)); in refine_with_linear_form_inequality()816 right.coefficient(Variable(second_v)); in refine_with_linear_form_inequality()857 Variable second(second_v); in refine_with_linear_form_inequality()859 dimension_type n_second_var = second_v * 2; in refine_with_linear_form_inequality()
71861 for (dimension_type second_v = first_v + 1;71862 second_v <= max_w_id; ++second_v) {71866 left.coefficient(Variable(second_v));71911 Variable second(second_v);71913 dimension_type n_second_var = second_v * 2;85501 for (dimension_type second_v = first_v+1;85502 second_v <= max_w_id; ++second_v) {85506 left.coefficient(Variable(second_v));85510 right.coefficient(Variable(second_v));85551 Variable second(second_v);[all …]