Searched refs:x_cs_num_rows (Results 1 – 3 of 3) sorted by relevance
1756 const dimension_type x_cs_num_rows = x_cs.num_rows(); in simplify_using_context_assign() local1761 std::vector<bool> redundant_by_y(x_cs_num_rows, false); in simplify_using_context_assign()1763 for (dimension_type i = 0; i < x_cs_num_rows; ++i) { in simplify_using_context_assign()1770 if (num_redundant_by_y < x_cs_num_rows) { in simplify_using_context_assign()1778 const bool x_first = (x_cs_num_rows > y_cs_num_rows); in simplify_using_context_assign()1786 for (dimension_type i = 0; i < x_cs_num_rows; ++i) { in simplify_using_context_assign()1808 ruled_out_vec(x_cs_num_rows - num_redundant_by_y); in simplify_using_context_assign()1813 for (dimension_type i = 0, j = 0; i < x_cs_num_rows; ++i) { in simplify_using_context_assign()
2221 const dimension_type x_cs_num_rows = x_cs.num_rows(); in simplify_using_context_assign() local2227 std::vector<bool> redundant_by_y(x_cs_num_rows, false); in simplify_using_context_assign()2229 for (dimension_type i = 0; i < x_cs_num_rows; ++i) { in simplify_using_context_assign()2238 if (num_redundant_by_y < x_cs_num_rows) { in simplify_using_context_assign()2243 const bool x_first = (x_cs_num_rows > y_cs_num_rows); in simplify_using_context_assign()2251 for (dimension_type i = 0; i < x_cs_num_rows; ++i) { in simplify_using_context_assign()2294 ruled_out_vec(x_cs_num_rows - num_redundant_by_y); in simplify_using_context_assign()2295 for (dimension_type i = 0, j = 0; i < x_cs_num_rows; ++i) { in simplify_using_context_assign()2512 for (dimension_type i = x_cs_num_eq; i < x_cs_num_rows; ++i) { in simplify_using_context_assign()
1731 const dimension_type x_cs_num_rows = x_cs.num_rows(); in BHZ09_NNC_poly_hull_assign_if_exact() local1768 for (dimension_type i = x_cs_num_rows; i-- > 0; ) { in BHZ09_NNC_poly_hull_assign_if_exact()1814 for (dimension_type j = x_cs_num_rows; j-- > 0; ) { in BHZ09_NNC_poly_hull_assign_if_exact()1917 for (dimension_type i = x_cs_num_rows; i-- > 0; ) { in BHZ09_NNC_poly_hull_assign_if_exact()2108 const dimension_type x_cs_num_rows = x_cs.num_rows(); in BFT00_poly_hull_assign_if_exact() local2109 std::vector<bool> x_cs_red_in_y(x_cs_num_rows, false); in BFT00_poly_hull_assign_if_exact()2110 for (dimension_type i = x_cs_num_rows; i-- > 0; ) { in BFT00_poly_hull_assign_if_exact()