Searched refs:definitely_entails (Results 1 – 16 of 16) sorted by relevance
55 bool ok = c_ps.definitely_entails(c_ps2); in test01()56 bool ok1 = !c_ps2.definitely_entails(c_ps); in test01()87 bool ok = c_ps.definitely_entails(c_ps2); in test02()88 bool ok1 = !c_ps2.definitely_entails(c_ps); in test02()119 bool ok = pps_box.definitely_entails(pps_box2); in test03()120 bool ok1 = !pps_box2.definitely_entails(pps_box); in test03()151 bool ok = pps_box.definitely_entails(pps_box2); in test04()152 bool ok1 = !pps_box2.definitely_entails(pps_box); in test04()
53 bool ok = c_ps.definitely_entails(c_ps_expected); in test01()54 bool ok1 = !c_ps_expected.definitely_entails(c_ps); in test01()84 bool ok = pps_box.definitely_entails(pps_box_expected); in test02()85 bool ok1 = !pps_box_expected.definitely_entails(pps_box); in test02()
52 bool ok = c_ps.definitely_entails(c_ps_expected); in test01()53 bool ok1 = c_ps_expected.definitely_entails(c_ps); in test01()83 bool ok = pps_box.definitely_entails(pps_box_expected); in test02()84 bool ok1 = pps_box_expected.definitely_entails(pps_box); in test02()
54 bool ok = c_ps.definitely_entails(c_ps_expected); in test01()55 bool ok1 = c_ps_expected.definitely_entails(c_ps); in test01()87 bool ok1 = c_ps.definitely_entails(c_ps_expected); in test02()88 bool ok2 = c_ps_expected.definitely_entails(c_ps); in test02()
43 bool ok = c_ps1.definitely_entails(c_ps); in test01()63 bool ok = pps_box1.definitely_entails(pps_box); in test02()
49 if (!ps1.definitely_entails(ps3)) in test01()
51 if (xi->definitely_entails(d)) { in collapse()88 if (yv.definitely_entails(xv)) { in omega_reduce()91 else if (xv.definitely_entails(yv)) { in omega_reduce()149 if (xv.definitely_entails(yv) || yv.definitely_entails(xv)) { in check_omega_reduced()174 if (d.definitely_entails(xv)) { in add_non_bottom_disjunct_preserve_reduction()177 else if (xv.definitely_entails(d)) { in add_non_bottom_disjunct_preserve_reduction()194 Powerset<D>::definitely_entails(const Powerset& y) const { in definitely_entails() function in Parma_Polyhedra_Library::Powerset202 found = (*xi).definitely_entails(*yi); in definitely_entails()
186 bool definitely_entails(const Powerset& y) const;
133 bool definitely_entails(const Determinate& y) const;
208 Determinate<PSET>::definitely_entails(const Determinate& y) const { in definitely_entails() function in Parma_Polyhedra_Library::Determinate
1291 PPL_ASSERT_HEAVY(y_copy.definitely_entails(x_copy)); in BGP99_heuristics_assign()1347 PPL_ASSERT_HEAVY(y_copy.definitely_entails(x_copy)); in BGP99_extrapolation_assign()1433 PPL_ASSERT_HEAVY(y_copy.definitely_entails(x_copy)); in BHZ03_widening_assign()
100314 bool definitely_entails(const Determinate& y) const;101260 if (i->definitely_entails(d))101284 bool definitely_entails(const D& y) const101358 bool definitely_entails(const Powerset& y) const;101856 if (xi->definitely_entails(d)) {101893 if (yv.definitely_entails(xv)) {101896 else if (xv.definitely_entails(yv)) {101954 if (xv.definitely_entails(yv) || yv.definitely_entails(xv)) {101979 if (d.definitely_entails(xv)) {101982 else if (xv.definitely_entails(d)) {[all …]
147 if (Sn.definitely_entails(T)) in test01()
148 if (Sn.definitely_entails(T)) in test01()378 if (Sn.definitely_entails(T)) in test04()
873 bool definitely_entails(const FCAIBVP& y) const;935 FCAIBVP::definitely_entails(const FCAIBVP& y) const{ in definitely_entails() function in Parma_Polyhedra_Library::Test::FCAIBVP985 return x.definitely_entails(y) && y.definitely_entails(x); in operator ==()
86497 entails() functions became definitely_entails() methods. More