Home
last modified time | relevance | path

Searched refs:copy_contains (Results 1 – 8 of 8) sorted by path

/dports/devel/ppl/ppl-1.2/
H A DChangeLog10834 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 DBD_Shape_templates.hh3072 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 DBox_templates.hh4177 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 DGrid_widenings.cc85 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 DOctagonal_Shape_templates.hh3820 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 DPolyhedron_widenings.cc177 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 Dassertions.hh144 bool copy_contains(T x_copy, T y_copy) { in copy_contains() function
H A Dppl.hh.dist1817 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 …]