Home
last modified time | relevance | path

Searched refs:num_lines_or_equalities (Results 1 – 12 of 12) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DPolyhedron_simplify_templates.hh91 dimension_type num_lines_or_equalities = 0; in simplify() local
92 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 …]
H A DPolyhedron_conversion_templates.hh478 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 …]
H A DPolyhedron_minimize_templates.hh149 const dimension_type num_lines_or_equalities in minimize() local
168 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() local
389 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()
H A DGenerator_System_inlines.hh225 Generator_System::num_lines_or_equalities() const { in num_lines_or_equalities() function in Parma_Polyhedra_Library::Generator_System
226 return sys.num_lines_or_equalities(); in num_lines_or_equalities()
H A DConstraint_System_inlines.hh401 Constraint_System::num_lines_or_equalities() const { in num_lines_or_equalities() function in Parma_Polyhedra_Library::Constraint_System
402 return sys.num_lines_or_equalities(); in num_lines_or_equalities()
H A DLinear_System_templates.hh41 Linear_System<Row>::num_lines_or_equalities() const { in num_lines_or_equalities() function in Parma_Polyhedra_Library::Linear_System
572 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()
H A DGenerator_System_defs.hh408 dimension_type num_lines_or_equalities() const;
H A DConstraint_System_defs.hh571 dimension_type num_lines_or_equalities() const;
H A DLinear_System_defs.hh248 dimension_type num_lines_or_equalities() const;
H A DPolyhedron_defs.hh2591 dimension_type num_lines_or_equalities);
H A Dppl.hh.dist44260 return sys.num_lines_or_equalities();
46895 return sys.num_lines_or_equalities();
54089 \param num_lines_or_equalities
54516 --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 …]
/dports/devel/ppl/ppl-1.2/
H A DChangeLog_2001-200874133 to dest[num_lines_or_equalities].