Home
last modified time | relevance | path

Searched refs:Octagonal_Shape (Results 1 – 25 of 87) sorted by relevance

1234

/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/
H A Dmaxspacedim1.cc59 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 Ddropsomenonintegerpoints1.cc33 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 Dintegerupperboundifexact1.cc30 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 Dgeneralizedaffineimage1.cc41 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 Dconstraints1.cc39 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 Dcongruences1.cc39 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 Dgeneralizedaffinepreimage3.cc45 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 Dmapspacedims1.cc39 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 Dcc76narrowing1.cc38 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 Dgeneralizedaffineimage4.cc42 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 Dgeneralizedaffineimage2.cc42 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 Dremovespacedims1.cc39 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 Daffinepreimage2.cc43 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 Dlimitedcc76extrapolation1.cc54 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 Daffineimage1.cc42 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 Dupperbound1.cc47 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 Ddifference1.cc52 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 Dcc76extrapolation1.cc50 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 Dconcatenate1.cc56 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 Dtimeelapse1.cc55 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 Dfoldspacedims1.cc43 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 Dgeneralizedaffinepreimage2.cc193 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 DOctagonal_Shape_inlines.hh122 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 DOctagonal_Shape_defs.hh76 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 DOg_Status_inlines.hh31 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 …]

1234