Searched refs:dest_num_rows (Results 1 – 4 of 4) sorted by relevance
414 sat_num_ones.resize(dest_num_rows, 0); in conversion()614 --dest_num_rows; in conversion()623 swap(sat_nle, sat[dest_num_rows]); in conversion()626 sat_num_ones[dest_num_rows]); in conversion()689 if (sup_bound == dest_num_rows) { in conversion()707 --dest_num_rows; in conversion()727 --dest_num_rows; in conversion()904 ++dest_num_rows; in conversion()941 dimension_type i = dest_num_rows; in conversion()966 --dest_num_rows; in conversion()[all …]
98 dimension_type dest_num_rows in minimize() local106 for (dimension_type i = 0; i < dest_num_rows; ++i) { in minimize()108 expr.set_space_dimension(dest_num_rows - 1); in minimize()141 Bit_Matrix tmp_sat(dest_num_rows, source.num_rows()); in minimize()152 dest_num_rows = dest.num_rows(); in minimize()169 first_point < dest_num_rows; in minimize()178 first_point < dest_num_rows; in minimize()186 if (first_point == dest_num_rows) { in minimize()403 first_point < dest_num_rows; in add_and_minimize()412 first_point < dest_num_rows; in add_and_minimize()[all …]
173 dimension_type dest_num_rows = 0; in conversion() local181 ++dest_num_rows; in conversion()191 ++dest_num_rows; in conversion()294 PPL_ASSERT(row < dest_num_rows); in conversion()305 = dest.rows[dest_num_rows - 1].inhomogeneous_term(); in conversion()347 dimension_type dest_num_rows = 0; in conversion() local354 ++dest_num_rows; in conversion()363 ++dest_num_rows; in conversion()415 PPL_ASSERT(dest.num_rows() == dest_num_rows); in conversion()416 PPL_ASSERT(dest.first_pending_row() == dest_num_rows); in conversion()[all …]
54631 --dest_num_rows;54724 --dest_num_rows;54744 --dest_num_rows;54921 ++dest_num_rows;54983 --dest_num_rows;55019 i < dest_num_rows; ++i) {55118 dimension_type dest_num_rows55172 dest_num_rows = dest.num_rows();55189 first_point < dest_num_rows;55198 first_point < dest_num_rows;[all …]