/dports/devel/ppl/ppl-1.2/src/ |
H A D | BD_Shape_inlines.hh | 202 if (!marked_empty()) { in refine_with_constraint() 231 if (!marked_empty()) { in refine_with_congruence() 505 if (x.marked_empty() == y.marked_empty()) { in rectilinear_distance_assign() 520 if (x.marked_empty() || y.marked_empty()) { in rectilinear_distance_assign() 521 if (x.marked_empty() == y.marked_empty()) { in rectilinear_distance_assign() 575 if (x.marked_empty() == y.marked_empty()) { in euclidean_distance_assign() 590 if (x.marked_empty() || y.marked_empty()) { in euclidean_distance_assign() 591 if (x.marked_empty() == y.marked_empty()) { in euclidean_distance_assign() 644 if (x.marked_empty() == y.marked_empty()) { in l_infinity_distance_assign() 659 if (x.marked_empty() || y.marked_empty()) { in l_infinity_distance_assign() [all …]
|
H A D | Octagonal_Shape_inlines.hh | 137 if (y.marked_empty()) { in Octagonal_Shape() 269 return marked_empty(); in is_empty() 706 if (x.marked_empty() == y.marked_empty()) { in rectilinear_distance_assign() 721 if (x.marked_empty() || y.marked_empty()) { in rectilinear_distance_assign() 722 if (x.marked_empty() == y.marked_empty()) { in rectilinear_distance_assign() 776 if (x.marked_empty() == y.marked_empty()) { in euclidean_distance_assign() 791 if (x.marked_empty() || y.marked_empty()) { in euclidean_distance_assign() 792 if (x.marked_empty() == y.marked_empty()) { in euclidean_distance_assign() 845 if (x.marked_empty() == y.marked_empty()) { in l_infinity_distance_assign() 860 if (x.marked_empty() || y.marked_empty()) { in l_infinity_distance_assign() [all …]
|
H A D | Grid_widenings.cc | 38 PPL_ASSERT(!marked_empty()); in select_wider_congruences() 39 PPL_ASSERT(!y.marked_empty()); in select_wider_congruences() 88 if (x.space_dim == 0 || x.marked_empty() || y.marked_empty()) { in congruence_widening_assign() 187 if (y.marked_empty()) { in limited_congruence_extrapolation_assign() 190 if (x.marked_empty()) { in limited_congruence_extrapolation_assign() 294 if (x.space_dim == 0 || x.marked_empty() || y.marked_empty()) { in generator_widening_assign() 310 if (x.marked_empty()) { in generator_widening_assign() 396 if (y.marked_empty()) { in limited_generator_extrapolation_assign() 399 if (x.marked_empty()) { in limited_generator_extrapolation_assign() 498 if (y.marked_empty()) { in limited_extrapolation_assign() [all …]
|
H A D | Grid_public.cc | 301 if (marked_empty()) { in congruences() 341 if (marked_empty()) { in grid_generators() 363 if (marked_empty()) { in minimized_grid_generators() 392 if (marked_empty()) { in relation_with() 559 if (marked_empty()) { in relation_with() 589 if (marked_empty()) { in relation_with() 1260 if (marked_empty() in add_grid_generator() 1435 if (marked_empty() in unconstrain() 1464 if (marked_empty() in unconstrain() 1611 if (y.marked_empty() || x.marked_empty()) { in difference_assign() [all …]
|
H A D | Polyhedron_widenings.cc | 46 PPL_ASSERT(!marked_empty() in select_CH78_constraints() 49 PPL_ASSERT(!y.marked_empty() in select_CH78_constraints() 77 PPL_ASSERT(!marked_empty() in select_H79_constraints() 80 PPL_ASSERT(!y.marked_empty() in select_H79_constraints() 181 if (x.space_dim == 0 || x.marked_empty() || y.marked_empty()) { in H79_widening_assign() 341 if (y.marked_empty()) { in limited_H79_extrapolation_assign() 344 if (x.marked_empty()) { in limited_H79_extrapolation_assign() 411 PPL_ASSERT(!x.marked_empty() && !x.has_something_pending() in BHRZ03_combining_constraints() 760 if (x.space_dim == 0 || x.marked_empty() || y.marked_empty()) { in BHRZ03_widening_assign() 881 if (y.marked_empty()) { in limited_BHRZ03_extrapolation_assign() [all …]
|
H A D | Polyhedron_public.cc | 79 if (marked_empty()) { in constraints() 139 if (marked_empty()) { in generators() 215 if (marked_empty()) { in relation_with() 262 if (marked_empty()) { in relation_with() 297 if (marked_empty()) { in relation_with() 555 if (marked_empty() in is_topologically_closed() 1397 if (marked_empty() in add_generator() 1916 if (marked_empty() in unconstrain() 1955 if (marked_empty() in unconstrain() 3623 if (x.marked_empty() || y.marked_empty() in time_elapse_assign() [all …]
|
H A D | Polyhedron_chdims.cc | 52 if (marked_empty()) { in add_space_dimensions_and_embed() 123 if (marked_empty()) { in add_space_dimensions_and_project() 201 if (marked_empty() || y.marked_empty()) { in concatenate_assign() 320 if (marked_empty() in remove_space_dimensions() 370 if (marked_empty() in remove_higher_space_dimensions() 489 if (!marked_empty()) { in fold_space_dimensions()
|
H A D | Grid_nonpublic.cc | 185 PPL_ASSERT(!marked_empty() && !y.marked_empty() && space_dim > 0); in quick_equivalence_test() 250 PPL_ASSERT(!marked_empty() && !y.marked_empty() && space_dim > 0); in is_included_in() 297 || marked_empty() in bounds() 313 PPL_ASSERT(generators_are_minimized() && !marked_empty()); in bounds_no_check() 418 if (marked_empty()) { in max_min() 486 PPL_ASSERT(!marked_empty()); in update_congruences() 512 PPL_ASSERT(!marked_empty()); in update_generators() 538 if (marked_empty()) { in minimize() 679 PPL_ASSERT(!marked_empty()); in add_congruence_no_check() 707 PPL_ASSERT(!marked_empty()); in add_constraint_no_check() [all …]
|
H A D | Box_inlines.hh | 38 Box<ITV>::marked_empty() const { in marked_empty() function in Parma_Polyhedra_Library::Box 274 PPL_ASSERT(!marked_empty()); in has_lower_bound() 298 PPL_ASSERT(!marked_empty()); in has_upper_bound() 446 PPL_ASSERT(!marked_empty()); in add_interval_constraint_no_check() 467 if (marked_empty()) { in refine_with_constraint() 483 if (marked_empty()) { in refine_with_constraints() 498 if (marked_empty()) { in refine_with_congruence() 513 if (marked_empty()) { in refine_with_congruences() 530 if (marked_empty()) { in propagate_constraint() 546 if (marked_empty()) { in propagate_constraints() [all …]
|
H A D | Grid_chdims.cc | 93 if (marked_empty()) { in add_space_dimensions_and_embed() 169 if (marked_empty()) { in add_space_dimensions_and_project() 239 if (marked_empty() || y.marked_empty()) { in concatenate_assign() 290 if (marked_empty() in remove_space_dimensions() 490 if (!marked_empty()) { in fold_space_dimensions()
|
H A D | BD_Shape_templates.hh | 339 if (marked_empty()) { in affine_dimension() 377 if (marked_empty()) { in minimized_congruences() 638 return marked_empty() ? y.marked_empty() : true; in contains() 697 if (marked_empty()) { in is_disjoint_from() 733 if (marked_empty()) { in is_universe() 857 if (marked_empty()) { in frequency() 945 if (marked_empty()) { in constrains() 1019 if (marked_empty()) { in is_shortest_path_reduced() 1275 if (marked_empty()) { in max_min() 1381 if (marked_empty()) { in max_min() [all …]
|
H A D | Box_templates.hh | 115 if (y.marked_empty()) { in Box() 119 if (!y.marked_empty()) { in Box() 1328 if (x.marked_empty() || y.marked_empty()) { in is_disjoint_from() 1466 if (marked_empty()) { in is_universe() 1523 if (marked_empty()) { in contains_integer_point() 1636 if (marked_empty()) { in unconstrain() 1861 if (marked_empty()) { in drop_some_non_integer_points() 2176 if (x.marked_empty() || y.marked_empty() in time_elapse_assign() 4608 if (x.marked_empty() == y.marked_empty()) { in l_m_distance_assign() 4622 if (x.marked_empty() || y.marked_empty()) { in l_m_distance_assign() [all …]
|
H A D | Grid_inlines.hh | 35 Grid::marked_empty() const { in marked_empty() function in Parma_Polyhedra_Library::Grid 265 if (!marked_empty()) { in add_congruence() 278 if (!marked_empty()) { in add_congruences() 310 if (!marked_empty()) { in add_constraint()
|
H A D | Octagonal_Shape_templates.hh | 51 if (ph.marked_empty()) { in Octagonal_Shape() 1026 if (marked_empty()) { in affine_dimension() 1065 if (marked_empty()) { in minimized_congruences() 1204 return marked_empty() ? y.marked_empty() : true; in contains() 1242 if (marked_empty()) { in is_disjoint_from() 1294 if (marked_empty()) { in is_universe() 1428 if (marked_empty()) { in frequency() 1564 if (marked_empty()) { in constrains() 1637 if (marked_empty()) { in is_strongly_reduced() 1738 if (marked_empty()) { in max_min() [all …]
|
H A D | H79_Certificate.cc | 44 PPL_ASSERT(!ph.marked_empty()); in H79_Certificate() 90 PPL_ASSERT(!ph.marked_empty()); in compare()
|
H A D | Polyhedron_nonpublic.cc | 331 if (y.marked_empty()) { in operator =() 360 PPL_ASSERT(!marked_empty() && !y.marked_empty() && space_dim > 0); in quick_equivalence_test() 429 PPL_ASSERT(!marked_empty() && !y.marked_empty() && space_dim > 0); in is_included_in() 582 || marked_empty() in bounds() 624 if (marked_empty()) { in max_min() 637 if (marked_empty() in max_min() 1107 if (marked_empty()) { in minimize() 1519 if (x.marked_empty()) { in BHZ09_poly_hull_assign_if_exact() 2038 if (x.marked_empty()) { in BFT00_poly_hull_assign_if_exact() 2240 if (marked_empty()) { in drop_some_non_integer_points() [all …]
|
H A D | Polyhedron_inlines.hh | 130 Polyhedron::marked_empty() const { in marked_empty() function in Parma_Polyhedra_Library::Polyhedron 188 if (marked_empty()) { in is_empty() 301 PPL_ASSERT(space_dim > 0 && !marked_empty()); in process_pending()
|
H A D | BHRZ03_Certificate.cc | 42 PPL_ASSERT(!ph.marked_empty()); in BHRZ03_Certificate() 139 PPL_ASSERT(!ph.marked_empty()); in compare()
|
H A D | Grid_Certificate.cc | 37 PPL_ASSERT(!gr.marked_empty()); in Grid_Certificate()
|
H A D | Polyhedron_templates.hh | 159 if (marked_empty() in map_space_dimensions() 326 PPL_ASSERT(!marked_empty()); in refine_with_linear_form_inequality() 394 PPL_ASSERT(!marked_empty()); in affine_form_image()
|
H A D | Grid_templates.hh | 126 if (marked_empty() in map_space_dimensions()
|
H A D | Grid_defs.hh | 2042 bool marked_empty() const;
|
H A D | Polyhedron_defs.hh | 2081 bool marked_empty() const;
|
H A D | Box_defs.hh | 1780 bool marked_empty() const;
|
H A D | ppl.hh.dist | 70857 if (x.marked_empty() == y.marked_empty()) { 70872 if (x.marked_empty() || y.marked_empty()) { 70873 if (x.marked_empty() == y.marked_empty()) { 70942 if (x.marked_empty() || y.marked_empty()) { 71011 if (x.marked_empty() || y.marked_empty()) { 80144 if (x.marked_empty() || y.marked_empty()) { 80214 if (x.marked_empty() || y.marked_empty()) { 80283 if (x.marked_empty() || y.marked_empty()) { 88947 if (x.marked_empty() || y.marked_empty()) { 89795 if (x.marked_empty() || y.marked_empty() [all …]
|