Searched refs:copy_contains (Results 1 – 8 of 8) sorted by path
/dports/devel/ppl/ppl-1.2/ |
H A D | ChangeLog | 10834 debugging helper function template copy_contains(). Systematically 10835 use PPL_EXPECT_HEAVY(copy_contains(...)) when checking containment
|
/dports/devel/ppl/ppl-1.2/src/ |
H A D | BD_Shape_templates.hh | 3072 PPL_EXPECT_HEAVY(copy_contains(*this, y)); in CC76_extrapolation_assign() 3227 PPL_EXPECT_HEAVY(copy_contains(*this, y)); in limited_CC76_extrapolation_assign() 3253 PPL_EXPECT_HEAVY(copy_contains(*this, y)); in BHMZ05_widening_assign() 3339 PPL_EXPECT_HEAVY(copy_contains(*this, y)); in limited_BHMZ05_extrapolation_assign() 3365 PPL_EXPECT_HEAVY(copy_contains(y, *this)); in CC76_narrowing_assign()
|
H A D | Box_templates.hh | 4177 PPL_EXPECT_HEAVY(copy_contains(*this, y)); in limited_CC76_extrapolation_assign() 4212 PPL_EXPECT_HEAVY(copy_contains(y, *this)); in CC76_narrowing_assign()
|
H A D | Grid_widenings.cc | 85 PPL_EXPECT_HEAVY(copy_contains(x, y)); in congruence_widening_assign() 185 PPL_EXPECT_HEAVY(copy_contains(x, y)); in limited_congruence_extrapolation_assign() 291 PPL_EXPECT_HEAVY(copy_contains(x, y)); in generator_widening_assign() 394 PPL_EXPECT_HEAVY(copy_contains(x, y)); in limited_generator_extrapolation_assign() 450 PPL_EXPECT_HEAVY(copy_contains(x, y)); in widening_assign() 496 PPL_EXPECT_HEAVY(copy_contains(x, y)); in limited_extrapolation_assign()
|
H A D | Octagonal_Shape_templates.hh | 3820 PPL_EXPECT_HEAVY(copy_contains(*this, y)); in CC76_extrapolation_assign() 3999 PPL_EXPECT_HEAVY(copy_contains(*this, y)); in limited_CC76_extrapolation_assign() 4027 PPL_EXPECT_HEAVY(copy_contains(*this, y)); in BHMZ05_widening_assign() 4111 PPL_EXPECT_HEAVY(copy_contains(*this, y)); in limited_BHMZ05_extrapolation_assign() 4137 PPL_EXPECT_HEAVY(copy_contains(y, *this)); in CC76_narrowing_assign()
|
H A D | Polyhedron_widenings.cc | 177 PPL_EXPECT_HEAVY(copy_contains(x, y)); in H79_widening_assign() 339 PPL_EXPECT_HEAVY(copy_contains(x, y)); in limited_H79_extrapolation_assign() 756 PPL_EXPECT_HEAVY(copy_contains(x, y)); in BHRZ03_widening_assign() 879 PPL_EXPECT_HEAVY(copy_contains(x, y)); in limited_BHRZ03_extrapolation_assign()
|
H A D | assertions.hh | 144 bool copy_contains(T x_copy, T y_copy) { in copy_contains() function
|
H A D | ppl.hh.dist | 1817 bool copy_contains(T x_copy, T y_copy) { 74874 PPL_EXPECT_HEAVY(copy_contains(*this, y)); 75053 PPL_EXPECT_HEAVY(copy_contains(*this, y)); 75081 PPL_EXPECT_HEAVY(copy_contains(*this, y)); 75165 PPL_EXPECT_HEAVY(copy_contains(*this, y)); 75191 PPL_EXPECT_HEAVY(copy_contains(y, *this)); 83619 PPL_EXPECT_HEAVY(copy_contains(*this, y)); 83774 PPL_EXPECT_HEAVY(copy_contains(*this, y)); 83800 PPL_EXPECT_HEAVY(copy_contains(*this, y)); 83886 PPL_EXPECT_HEAVY(copy_contains(*this, y)); [all …]
|