Searched refs:num_lines_or_equalities (Results 1 – 12 of 12) sorted by relevance
91 dimension_type num_lines_or_equalities = 0; in simplify() local92 while (num_lines_or_equalities < num_rows in simplify()94 ++num_lines_or_equalities; in simplify()126 if (i != num_lines_or_equalities) { in simplify()131 ++num_lines_or_equalities; in simplify()160 if (rank < num_lines_or_equalities) { in simplify()171 redundant < num_lines_or_equalities in simplify()172 && erasing > num_lines_or_equalities; in simplify()184 num_rows -= num_lines_or_equalities - rank; in simplify()195 num_lines_or_equalities = rank; in simplify()[all …]
478 if (index_non_zero < num_lines_or_equalities) { in conversion()499 --num_lines_or_equalities; in conversion()500 if (index_non_zero != num_lines_or_equalities) { in conversion()502 dest.sys.rows[num_lines_or_equalities]); in conversion()504 scalar_prod[num_lines_or_equalities]); in conversion()603 Bit_Row& sat_nle = sat[num_lines_or_equalities]; in conversion()607 ++sat_num_ones[num_lines_or_equalities]; in conversion()615 swap(dest.sys.rows[num_lines_or_equalities], in conversion()625 swap(sat_num_ones[num_lines_or_equalities], in conversion()718 if (sup_bound == num_lines_or_equalities) { in conversion()[all …]
149 const dimension_type num_lines_or_equalities in minimize() local168 for (first_point = num_lines_or_equalities; in minimize()177 for (first_point = num_lines_or_equalities; in minimize()386 const dimension_type num_lines_or_equalities in add_and_minimize() local389 dest.num_lines_or_equalities()); in add_and_minimize()402 for (first_point = num_lines_or_equalities; in add_and_minimize()411 for (first_point = num_lines_or_equalities; in add_and_minimize()
225 Generator_System::num_lines_or_equalities() const { in num_lines_or_equalities() function in Parma_Polyhedra_Library::Generator_System226 return sys.num_lines_or_equalities(); in num_lines_or_equalities()
401 Constraint_System::num_lines_or_equalities() const { in num_lines_or_equalities() function in Parma_Polyhedra_Library::Constraint_System402 return sys.num_lines_or_equalities(); in num_lines_or_equalities()
41 Linear_System<Row>::num_lines_or_equalities() const { in num_lines_or_equalities() function in Parma_Polyhedra_Library::Linear_System572 PPL_ASSERT(n_lines_or_equalities == num_lines_or_equalities()); in gauss()633 PPL_ASSERT(n_lines_or_equalities <= num_lines_or_equalities()); in back_substitute()
408 dimension_type num_lines_or_equalities() const;
571 dimension_type num_lines_or_equalities() const;
248 dimension_type num_lines_or_equalities() const;
2591 dimension_type num_lines_or_equalities);
44260 return sys.num_lines_or_equalities();46895 return sys.num_lines_or_equalities();54089 \param num_lines_or_equalities54516 --num_lines_or_equalities;55038 return num_lines_or_equalities;55547 ++num_lines_or_equalities;55579 if (i != num_lines_or_equalities) {55584 ++num_lines_or_equalities;55613 if (rank < num_lines_or_equalities) {55648 num_lines_or_equalities = rank;[all …]
74133 to dest[num_lines_or_equalities].