Home
last modified time | relevance | path

Searched refs:marked_empty (Results 1 – 25 of 29) sorted by relevance

12

/dports/devel/ppl/ppl-1.2/src/
H A DBD_Shape_inlines.hh202 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 DOctagonal_Shape_inlines.hh137 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 DGrid_widenings.cc38 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 DGrid_public.cc301 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 DPolyhedron_widenings.cc46 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 DPolyhedron_public.cc79 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 DPolyhedron_chdims.cc52 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 DGrid_nonpublic.cc185 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 DBox_inlines.hh38 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 DGrid_chdims.cc93 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 DBD_Shape_templates.hh339 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 DBox_templates.hh115 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 DGrid_inlines.hh35 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 DOctagonal_Shape_templates.hh51 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 DH79_Certificate.cc44 PPL_ASSERT(!ph.marked_empty()); in H79_Certificate()
90 PPL_ASSERT(!ph.marked_empty()); in compare()
H A DPolyhedron_nonpublic.cc331 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 DPolyhedron_inlines.hh130 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 DBHRZ03_Certificate.cc42 PPL_ASSERT(!ph.marked_empty()); in BHRZ03_Certificate()
139 PPL_ASSERT(!ph.marked_empty()); in compare()
H A DGrid_Certificate.cc37 PPL_ASSERT(!gr.marked_empty()); in Grid_Certificate()
H A DPolyhedron_templates.hh159 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 DGrid_templates.hh126 if (marked_empty() in map_space_dimensions()
H A DGrid_defs.hh2042 bool marked_empty() const;
H A DPolyhedron_defs.hh2081 bool marked_empty() const;
H A DBox_defs.hh1780 bool marked_empty() const;
H A Dppl.hh.dist70857 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 …]

12