/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/ |
H A D | maxspacedim1.cc | 59 if (Octagonal_Shape<signed char>::max_space_dimension() in test01() 60 < Octagonal_Shape<short>::max_space_dimension()) in test01() 63 if (Octagonal_Shape<short>::max_space_dimension() in test01() 64 < Octagonal_Shape<int>::max_space_dimension()) in test01() 67 if (Octagonal_Shape<int>::max_space_dimension() in test01() 68 < Octagonal_Shape<long>::max_space_dimension()) in test01() 71 if (Octagonal_Shape<long>::max_space_dimension() in test01() 76 if (Octagonal_Shape<float>::max_space_dimension() in test01() 77 < Octagonal_Shape<double>::max_space_dimension()) in test01() 82 if (Octagonal_Shape<double>::max_space_dimension() in test01() [all …]
|
H A D | dropsomenonintegerpoints1.cc | 33 Octagonal_Shape<mpq_class> os(2); in test01() 59 Octagonal_Shape<mpq_class> os1; in test02() 62 Octagonal_Shape<mpq_class> os4(2); in test02() 91 Octagonal_Shape<mpq_class> os(2); in test03() 113 Octagonal_Shape<mpq_class> os(2); in test04() 137 Octagonal_Shape<mpq_class> os(2); in test05() 158 Octagonal_Shape<mpq_class> os(2); in test06() 186 Octagonal_Shape<mpq_class> os(2); in test07() 244 Octagonal_Shape<mpq_class> os(2); in test09() 269 Octagonal_Shape<mpq_class> os(2); in test10() [all …]
|
H A D | integerupperboundifexact1.cc | 30 Octagonal_Shape<mpz_class> oct_empty(0, EMPTY); in test01() 35 Octagonal_Shape<mpz_class> oct; in test01() 69 Octagonal_Shape<mpz_class> oct1(2, UNIVERSE); in test02() 77 Octagonal_Shape<mpz_class> oct2(2, UNIVERSE); in test02() 285 Octagonal_Shape<mpz_class> oct1(oct); in test09() 290 Octagonal_Shape<mpz_class> oct2(oct); in test09() 320 Octagonal_Shape<mpz_class> oct1(oct); in test10() 325 Octagonal_Shape<mpz_class> oct2(oct); in test10() 352 Octagonal_Shape<mpz_class> hypercube1(cs); in test11() 356 Octagonal_Shape<mpz_class> hypercube2(cs); in test11() [all …]
|
H A D | generalizedaffineimage1.cc | 41 Octagonal_Shape<mpq_class> known_result(2); in test01() 67 Octagonal_Shape<mpq_class> known_result(oct); in test02() 115 Octagonal_Shape<mpq_class> known_result(3); in test04() 142 Octagonal_Shape<mpq_class> known_result(3); in test05() 212 Octagonal_Shape<mpq_class> known_result(2); in test08() 260 Octagonal_Shape<mpq_class> known_result(2); in test10() 287 Octagonal_Shape<mpq_class> known_result(3); in test11() 342 Octagonal_Shape<mpq_class> known_result(3); in test13() 370 Octagonal_Shape<mpq_class> known_result(3); in test14() 427 Octagonal_Shape<mpq_class> known_result(3); in test16() [all …]
|
H A D | constraints1.cc | 39 Octagonal_Shape<mpq_class> known_result(oct1); in test01() 59 Octagonal_Shape<mpq_class> known_result(oct1); in test02() 86 Octagonal_Shape<mpq_class> known_result(oct1); in test03() 104 Octagonal_Shape<mpq_class> known_result(oct1); in test04() 123 Octagonal_Shape<mpq_class> known_result(oct1); in test05() 147 Octagonal_Shape<mpq_class> known_result(oct1); in test06() 171 Octagonal_Shape<mpq_class> known_result(oct1); in test07() 195 Octagonal_Shape<mpq_class> known_result(oct1); in test08() 221 Octagonal_Shape<mpq_class> known_result(oct1); in test09() 320 Octagonal_Shape<mpq_class> known_result(3); in test13() [all …]
|
H A D | congruences1.cc | 39 Octagonal_Shape<mpq_class> known_result(oct1); in test01() 50 bool ok = (Octagonal_Shape<mpq_class>(oct2) == known_result); in test01() 63 Octagonal_Shape<mpq_class> known_result(oct1); in test02() 68 bool ok = (Octagonal_Shape<mpq_class>(oct2) == known_result); in test02() 86 Octagonal_Shape<mpq_class> known_result(oct1); in test03() 92 bool ok = (Octagonal_Shape<mpq_class>(oct2) == known_result); in test03() 105 Octagonal_Shape<mpq_class> known_result(oct1); in test04() 114 bool ok = (Octagonal_Shape<mpq_class>(oct2) == known_result); in test04() 127 Octagonal_Shape<mpq_class> known_result(oct1); in test05() 152 Octagonal_Shape<mpq_class> known_result(oct1); in test06() [all …]
|
H A D | generalizedaffinepreimage3.cc | 45 Octagonal_Shape<mpq_class> known_result(3); in test01() 150 Octagonal_Shape<mpq_class> known_result(2); in test05() 208 Octagonal_Shape<mpq_class> known_result(3); in test07() 239 Octagonal_Shape<mpq_class> known_result(4); in test08() 303 Octagonal_Shape<mpq_class> known_result(4); in test10() 359 Octagonal_Shape<mpq_class> known_result(2); in test12() 412 Octagonal_Shape<mpq_class> known_result(2); in test14() 440 Octagonal_Shape<mpq_class> known_result(2); in test15() 468 Octagonal_Shape<mpq_class> known_result(2); in test16() 496 Octagonal_Shape<mpq_class> known_result(2); in test17() [all …]
|
H A D | mapspacedims1.cc | 39 Octagonal_Shape<mpq_class> known_result; in test01() 41 bool ok = (Octagonal_Shape<mpq_class>(oc1) == known_result); in test01() 59 Octagonal_Shape<mpq_class> known_result(0, EMPTY); in test02() 61 bool ok = (Octagonal_Shape<mpq_class>(oc1) == known_result); in test02() 81 Octagonal_Shape<mpq_class> known_result(2, EMPTY); in test03() 83 bool ok = (Octagonal_Shape<mpq_class>(oc1) == known_result); in test03() 111 Octagonal_Shape<mpq_class> known_result(2); in test04() 144 Octagonal_Shape<mpq_class> known_result(1); in test05() 178 Octagonal_Shape<mpq_class> known_result(2); in test06() 202 Octagonal_Shape<mpq_class> known_result; in test07() [all …]
|
H A D | cc76narrowing1.cc | 38 Octagonal_Shape<mpq_class> known_result(3, EMPTY); in test01() 40 bool ok = (Octagonal_Shape<mpq_class>(oc1) == known_result); in test01() 57 Octagonal_Shape<mpq_class> known_result(0, EMPTY); in test02() 61 bool ok = (Octagonal_Shape<mpq_class>(oc1) == known_result); in test02() 78 Octagonal_Shape<mpq_class> known_result(2); in test03() 80 bool ok = (Octagonal_Shape<mpq_class>(oc1) == known_result); in test03() 95 Octagonal_Shape<mpq_class> known_result(0, EMPTY); in test04() 114 Octagonal_Shape<mpq_class> known_result(0); in test05() 144 Octagonal_Shape<mpq_class> known_result(2); in test06() 179 Octagonal_Shape<mpq_class> known_result(2); in test07() [all …]
|
H A D | generalizedaffineimage4.cc | 42 Octagonal_Shape<mpq_class> known_result(2); in test01() 70 Octagonal_Shape<mpq_class> known_result(oct); in test02() 97 Octagonal_Shape<mpq_class> known_result(2); in test03() 123 Octagonal_Shape<mpq_class> known_result(oct); in test04() 150 Octagonal_Shape<mpq_class> known_result(2); in test05() 178 Octagonal_Shape<mpq_class> known_result(3); in test06() 207 Octagonal_Shape<mpq_class> known_result(3); in test07() 236 Octagonal_Shape<mpq_class> known_result(3); in test08() 264 Octagonal_Shape<mpq_class> known_result(3); in test09() 324 Octagonal_Shape<mpq_class> known_result(3); in test11() [all …]
|
H A D | generalizedaffineimage2.cc | 42 Octagonal_Shape<mpq_class> known_result(2, EMPTY); in test01() 65 Octagonal_Shape<mpq_class> known_result(oct); in test02() 90 Octagonal_Shape<mpq_class> known_result(2); in test03() 117 Octagonal_Shape<mpq_class> known_result(oct); in test04() 143 Octagonal_Shape<mpq_class> known_result(2); in test05() 173 Octagonal_Shape<mpq_class> known_result(3); in test06() 206 Octagonal_Shape<mpq_class> known_result(oct); in test07() 234 Octagonal_Shape<mpq_class> known_result(3); in test08() 264 Octagonal_Shape<mpq_class> known_result(3); in test09() 296 Octagonal_Shape<mpq_class> known_result(oct); in test10() [all …]
|
H A D | removespacedims1.cc | 39 Octagonal_Shape<mpq_class> known_result(2); in test01() 42 bool ok = (Octagonal_Shape<mpq_class>(oct1) == known_result); in test01() 68 Octagonal_Shape<mpq_class> known_result(4); in test02() 99 Octagonal_Shape<mpq_class> known_result(3); in test03() 132 Octagonal_Shape<mpq_class> known_result(7, EMPTY); in test04() 162 Octagonal_Shape<mpq_class> known_result(0, EMPTY); in test05() 245 Octagonal_Shape<mpq_class> known_result(oc); in test08() 265 Octagonal_Shape<mpq_class> known_result(oc); in test09() 295 Octagonal_Shape<mpq_class> known_result(oct1); in test10() 319 Octagonal_Shape<mpq_class> known_result(0, UNIVERSE); in test11() [all …]
|
H A D | affinepreimage2.cc | 43 Octagonal_Shape<mpq_class> known_result(3); in test01() 70 Octagonal_Shape<mpq_class> known_result(3); in test02() 97 Octagonal_Shape<mpq_class> known_result(3); in test03() 125 Octagonal_Shape<mpq_class> known_result(3); in test04() 153 Octagonal_Shape<mpq_class> known_result(3); in test05() 179 Octagonal_Shape<mpq_class> known_result(3); in test06() 206 Octagonal_Shape<mpq_class> known_result(3); in test07() 234 Octagonal_Shape<mpq_class> known_result(3); in test08() 261 Octagonal_Shape<mpq_class> known_result(3); in test09() 288 Octagonal_Shape<mpq_class> known_result(3); in test10() [all …]
|
H A D | limitedcc76extrapolation1.cc | 54 Octagonal_Shape<mpq_class> known_result(2); in test01() 81 Octagonal_Shape<mpq_class> known_result(0); in test02() 114 Octagonal_Shape<mpq_class> known_result(2); in test03() 147 Octagonal_Shape<mpq_class> known_result(2); in test04() 181 Octagonal_Shape<mpq_class> known_result(3); in test05() 217 Octagonal_Shape<mpq_class> known_result(2); in test06() 252 Octagonal_Shape<mpq_class> known_result(2); in test07() 325 Octagonal_Shape<mpq_class> known_result(2); in test09() 366 Octagonal_Shape<mpq_class> known_result(4); in test10() 403 Octagonal_Shape<mpq_class> known_result(2); in test11() [all …]
|
H A D | affineimage1.cc | 42 Octagonal_Shape<mpq_class> known_result(3); in test01() 67 Octagonal_Shape<mpq_class> known_result(3); in test02() 92 Octagonal_Shape<mpq_class> known_result(3); in test03() 118 Octagonal_Shape<mpq_class> known_result(3); in test04() 141 Octagonal_Shape<mpq_class> known_result(oc1); in test05() 166 Octagonal_Shape<mpq_class> known_result(3); in test06() 192 Octagonal_Shape<mpq_class> known_result(3); in test07() 217 Octagonal_Shape<mpq_class> known_result(3); in test08() 242 Octagonal_Shape<mpq_class> known_result(2); in test09() 403 Octagonal_Shape<mpq_class> known_result(2); in test15() [all …]
|
H A D | upperbound1.cc | 47 Octagonal_Shape<mpq_class> known_result(2); in test01() 50 bool ok = (Octagonal_Shape<mpq_class>(oct1) == known_result); in test01() 76 Octagonal_Shape<mpq_class> known_result(2); in test02() 110 Octagonal_Shape<mpq_class> known_result(5); in test03() 143 Octagonal_Shape<mpq_class> known_result(3); in test04() 178 Octagonal_Shape<mpq_class> known_result(oct2); in test05() 215 Octagonal_Shape<mpq_class> known_result(cs1); in test06() 234 Octagonal_Shape<mpq_class> known_result; in test07() 253 Octagonal_Shape<mpq_class> known_result(8); in test08() 282 Octagonal_Shape<mpq_class> known_result(3); in test09() [all …]
|
H A D | difference1.cc | 52 Octagonal_Shape<mpq_class> known_result(2, EMPTY); in test01() 54 bool ok = (Octagonal_Shape<mpq_class>(oct1) == known_result); in test01() 71 Octagonal_Shape<mpq_class> known_result(0, EMPTY); in test02() 73 bool ok = (Octagonal_Shape<mpq_class>(oct1) == known_result); in test02() 97 Octagonal_Shape<mpq_class> known_result(1); in test03() 101 bool ok = (Octagonal_Shape<mpq_class>(oct1) == known_result); in test03() 145 Octagonal_Shape<mpq_class> known_result(oct1); in test05() 179 Octagonal_Shape<mpq_class> known_result(4, EMPTY); in test06() 183 bool ok = (Octagonal_Shape<mpq_class>(oc1) == known_result); in test06() 207 Octagonal_Shape<mpq_class> known_result(2, EMPTY); in test07() [all …]
|
H A D | cc76extrapolation1.cc | 50 Octagonal_Shape<mpq_class> known_result(2); in test01() 82 Octagonal_Shape<mpq_class> known_result(2); in test02() 124 Octagonal_Shape<mpq_class> known_result(4); in test03() 149 Octagonal_Shape<mpq_class> known_result(0); in test04() 196 Octagonal_Shape<mpq_class> known_result(2); in test06() 225 Octagonal_Shape<mpq_class> known_result(2); in test07() 253 Octagonal_Shape<mpq_class> known_result(3); in test08() 292 Octagonal_Shape<mpq_class> known_result(2); in test09() 347 Octagonal_Shape<mpq_class> known_result(2); in test11() 391 Octagonal_Shape<mpq_class> known_result(2); in test12() [all …]
|
H A D | concatenate1.cc | 56 Octagonal_Shape<mpq_class> known_result(9); in test01() 64 bool ok = (Octagonal_Shape<mpq_class>(oc1) == known_result); in test01() 88 Octagonal_Shape<mpq_class> known_result(2, EMPTY); in test02() 90 bool ok = (Octagonal_Shape<mpq_class>(oc2) == known_result); in test02() 114 Octagonal_Shape<mpq_class> known_result(2, EMPTY); in test03() 116 bool ok = (Octagonal_Shape<mpq_class>(oc2) == known_result); in test03() 151 Octagonal_Shape<mpq_class> known_result(9); in test04() 176 Octagonal_Shape<mpq_class> known_result(4); in test05() 201 Octagonal_Shape<mpq_class> known_result(oc1); in test06() 222 Octagonal_Shape<mpq_class> known_result(0, EMPTY); in test07() [all …]
|
H A D | timeelapse1.cc | 55 Octagonal_Shape<mpq_class> known_result(2, EMPTY); in test01() 58 (Octagonal_Shape<mpq_class>(oc3) == known_result); in test01() 84 Octagonal_Shape<mpq_class> known_result(2); in test02() 88 bool ok = (Octagonal_Shape<mpq_class>(oc1) == known_result); in test02() 115 Octagonal_Shape<mpq_class> known_result(2); in test03() 144 Octagonal_Shape<mpq_class> known_result(oc2); in test04() 172 Octagonal_Shape<mpq_class> known_result(3); in test05() 207 Octagonal_Shape<mpq_class> known_result(3, EMPTY); in test06() 242 Octagonal_Shape<mpq_class> known_result(3); in test07() 283 Octagonal_Shape<mpq_class> known_result(3, EMPTY); in test08() [all …]
|
H A D | foldspacedims1.cc | 43 Octagonal_Shape<mpq_class> known_result(2); in test01() 45 bool ok = (Octagonal_Shape<mpq_class>(oct1) == known_result); in test01() 67 Octagonal_Shape<mpq_class> known_result(2, EMPTY); in test02() 93 Octagonal_Shape<mpq_class> known_result(3); in test03() 123 Octagonal_Shape<mpq_class> known_result(1); in test04() 156 Octagonal_Shape<mpq_class> known_result(1); in test05() 192 Octagonal_Shape<mpq_class> known_result(2); in test06() 228 Octagonal_Shape<mpq_class> known_result(2); in test07() 262 Octagonal_Shape<mpq_class> known_result(2, EMPTY); in test08() 389 Octagonal_Shape<mpq_class> known_result(1, EMPTY); in test12() [all …]
|
H A D | generalizedaffinepreimage2.cc | 193 Octagonal_Shape<mpq_class> known_result(2); in test07() 218 Octagonal_Shape<mpq_class> known_result(2); in test08() 271 Octagonal_Shape<mpq_class> known_result(2); in test10() 300 Octagonal_Shape<mpq_class> known_result(2); in test11() 331 Octagonal_Shape<mpq_class> known_result(2); in test12() 362 Octagonal_Shape<mpq_class> known_result(oct); in test13() 457 Octagonal_Shape<mpq_class> known_result(3); in test16() 490 Octagonal_Shape<mpq_class> known_result(3); in test17() 519 Octagonal_Shape<mpq_class> known_result(2); in test18() 550 Octagonal_Shape<mpq_class> known_result(3); in test19() [all …]
|
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Octagonal_Shape_inlines.hh | 122 Octagonal_Shape<T>::Octagonal_Shape(const Octagonal_Shape& y, Complexity_Class) in Octagonal_Shape() function in Parma_Polyhedra_Library::Octagonal_Shape 129 Octagonal_Shape<T>::Octagonal_Shape(const Octagonal_Shape<U>& y, in Octagonal_Shape() function in Parma_Polyhedra_Library::Octagonal_Shape 147 Octagonal_Shape<T>::Octagonal_Shape(const Constraint_System& cs) in Octagonal_Shape() function in Parma_Polyhedra_Library::Octagonal_Shape 160 Octagonal_Shape<T>::Octagonal_Shape(const Congruence_System& cgs) in Octagonal_Shape() function in Parma_Polyhedra_Library::Octagonal_Shape 174 Octagonal_Shape<T>::Octagonal_Shape(const Box<Interval>& box, in Octagonal_Shape() function in Parma_Polyhedra_Library::Octagonal_Shape 192 Octagonal_Shape<T>::Octagonal_Shape(const Grid& grid, in Octagonal_Shape() function in Parma_Polyhedra_Library::Octagonal_Shape 208 Octagonal_Shape<T>::Octagonal_Shape(const BD_Shape<U>& bd, in Octagonal_Shape() function in Parma_Polyhedra_Library::Octagonal_Shape 232 Octagonal_Shape<T>::operator=(const Octagonal_Shape& y) { in operator =() 241 Octagonal_Shape<T>::~Octagonal_Shape() { in ~Octagonal_Shape() 246 Octagonal_Shape<T>::m_swap(Octagonal_Shape& y) { in m_swap() [all …]
|
H A D | Octagonal_Shape_defs.hh | 76 void swap(Octagonal_Shape<T>& x, Octagonal_Shape<T>& y); 86 bool operator==(const Octagonal_Shape<T>& x, const Octagonal_Shape<T>& y); 96 bool operator!=(const Octagonal_Shape<T>& x, const Octagonal_Shape<T>& y); 420 class Parma_Polyhedra_Library::Octagonal_Shape { class in Parma_Polyhedra_Library 474 Octagonal_Shape(const Octagonal_Shape& y, 482 explicit Octagonal_Shape(const Octagonal_Shape<U>& y, 567 explicit Octagonal_Shape(const Grid& grid, 594 Octagonal_Shape& operator=(const Octagonal_Shape& y); 600 void m_swap(Octagonal_Shape& y); 603 ~Octagonal_Shape(); [all …]
|
H A D | Og_Status_inlines.hh | 31 Octagonal_Shape<T>::Status::Status(flags_t mask) in Status() 37 Octagonal_Shape<T>::Status::Status() in Status() 55 Octagonal_Shape<T>::Status::set(flags_t mask) { in set() 61 Octagonal_Shape<T>::Status::reset(flags_t mask) { in reset() 73 Octagonal_Shape<T>::Status::reset_zero_dim_univ() { in reset_zero_dim_univ() 83 Octagonal_Shape<T>::Status::set_zero_dim_univ() { in set_zero_dim_univ() 90 Octagonal_Shape<T>::Status::test_empty() const { in test_empty() 96 Octagonal_Shape<T>::Status::reset_empty() { in reset_empty() 102 Octagonal_Shape<T>::Status::set_empty() { in set_empty() 120 Octagonal_Shape<T>::Status::set_strongly_closed() { in set_strongly_closed() [all …]
|