Home
last modified time | relevance | path

Searched refs:IO_Operators (Results 1 – 25 of 189) sorted by relevance

12345678

/dports/devel/ppl/ppl-1.2/tests/Box/
H A Drelations1.cc37 using namespace IO_Operators; in test01()
60 using namespace IO_Operators; in test02()
82 using namespace IO_Operators; in test03()
104 using namespace IO_Operators; in test04()
125 using namespace IO_Operators; in test05()
150 using namespace IO_Operators; in test06()
175 using namespace IO_Operators; in test07()
199 using namespace IO_Operators; in test08()
223 using namespace IO_Operators; in test09()
238 using namespace IO_Operators; in test10()
[all …]
H A Drelations2.cc35 using namespace IO_Operators; in test01()
51 using namespace IO_Operators; in test02()
66 using namespace IO_Operators; in test03()
85 using namespace IO_Operators; in test04()
105 using namespace IO_Operators; in test05()
124 using namespace IO_Operators; in test06()
144 using namespace IO_Operators; in test07()
166 using namespace IO_Operators; in test08()
188 using namespace IO_Operators; in test09()
210 using namespace IO_Operators; in test10()
[all …]
H A Drelations4.cc39 using namespace IO_Operators; in test01()
63 using namespace IO_Operators; in test02()
87 using namespace IO_Operators; in test03()
111 using namespace IO_Operators; in test04()
135 using namespace IO_Operators; in test05()
152 using namespace IO_Operators; in test06()
171 using namespace IO_Operators; in test07()
197 using namespace IO_Operators; in test08()
214 using namespace IO_Operators; in test09()
236 using namespace IO_Operators; in test10()
[all …]
H A Drelations3.cc39 using namespace IO_Operators; in test01()
58 using namespace IO_Operators; in test02()
82 using namespace IO_Operators; in test03()
106 using namespace IO_Operators; in test04()
130 using namespace IO_Operators; in test05()
154 using namespace IO_Operators; in test06()
178 using namespace IO_Operators; in test07()
202 using namespace IO_Operators; in test08()
224 using namespace IO_Operators; in test09()
247 using namespace IO_Operators; in test10()
[all …]
H A Dmembytes1.cc43 using namespace IO_Operators; in test01()
95 using namespace IO_Operators; in test02()
107 using namespace IO_Operators; in test02()
/dports/devel/ppl/ppl-1.2/tests/BD_Shape/
H A Drelations2.cc35 using namespace IO_Operators; in test01()
51 using namespace IO_Operators; in test02()
66 using namespace IO_Operators; in test03()
85 using namespace IO_Operators; in test04()
105 using namespace IO_Operators; in test05()
124 using namespace IO_Operators; in test06()
144 using namespace IO_Operators; in test07()
167 using namespace IO_Operators; in test08()
190 using namespace IO_Operators; in test09()
213 using namespace IO_Operators; in test10()
[all …]
H A Drelations1.cc37 using namespace IO_Operators; in test01()
60 using namespace IO_Operators; in test02()
82 using namespace IO_Operators; in test03()
104 using namespace IO_Operators; in test04()
125 using namespace IO_Operators; in test05()
150 using namespace IO_Operators; in test06()
175 using namespace IO_Operators; in test07()
199 using namespace IO_Operators; in test08()
223 using namespace IO_Operators; in test09()
238 using namespace IO_Operators; in test10()
[all …]
H A Drelations3.cc106 using namespace IO_Operators; in test04()
124 using namespace IO_Operators; in test05()
142 using namespace IO_Operators; in test06()
160 using namespace IO_Operators; in test07()
180 using namespace IO_Operators; in test08()
199 using namespace IO_Operators; in test09()
218 using namespace IO_Operators; in test10()
237 using namespace IO_Operators; in test11()
257 using namespace IO_Operators; in test12()
279 using namespace IO_Operators; in test13()
[all …]
H A Drelations4.cc43 using namespace IO_Operators; in test01()
66 using namespace IO_Operators; in test02()
89 using namespace IO_Operators; in test03()
112 using namespace IO_Operators; in test04()
135 using namespace IO_Operators; in test05()
158 using namespace IO_Operators; in test06()
181 using namespace IO_Operators; in test07()
204 using namespace IO_Operators; in test08()
228 using namespace IO_Operators; in test09()
252 using namespace IO_Operators; in test10()
[all …]
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/
H A Drelatwithcons2.cc37 using namespace IO_Operators; in test01()
55 using namespace IO_Operators; in test02()
72 using namespace IO_Operators; in test03()
91 using namespace IO_Operators; in test04()
112 using namespace IO_Operators; in test05()
132 using namespace IO_Operators; in test06()
155 using namespace IO_Operators; in test07()
178 using namespace IO_Operators; in test08()
201 using namespace IO_Operators; in test09()
220 using namespace IO_Operators; in test10()
[all …]
H A Drelatwithgen1.cc43 using namespace IO_Operators; in test01()
62 using namespace IO_Operators; in test02()
81 using namespace IO_Operators; in test03()
102 using namespace IO_Operators; in test04()
127 using namespace IO_Operators; in test05()
147 using namespace IO_Operators; in test06()
168 using namespace IO_Operators; in test07()
188 using namespace IO_Operators; in test08()
209 using namespace IO_Operators; in test09()
230 using namespace IO_Operators; in test10()
[all …]
H A Drelatwithcons3.cc43 using namespace IO_Operators; in test01()
66 using namespace IO_Operators; in test02()
89 using namespace IO_Operators; in test03()
112 using namespace IO_Operators; in test04()
135 using namespace IO_Operators; in test05()
158 using namespace IO_Operators; in test06()
181 using namespace IO_Operators; in test07()
206 using namespace IO_Operators; in test08()
230 using namespace IO_Operators; in test09()
254 using namespace IO_Operators; in test10()
[all …]
H A Drelatwithcons1.cc39 using namespace IO_Operators; in test01()
65 using namespace IO_Operators; in test02()
90 using namespace IO_Operators; in test03()
114 using namespace IO_Operators; in test04()
143 using namespace IO_Operators; in test05()
170 using namespace IO_Operators; in test06()
194 using namespace IO_Operators; in test07()
221 using namespace IO_Operators; in test08()
338 using namespace IO_Operators; in test09()
361 using namespace IO_Operators; in test10()
[all …]
H A Dminconstraints1.cc44 using namespace IO_Operators; in test01()
82 using namespace IO_Operators; in test02()
113 using namespace IO_Operators; in test03()
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/
H A Dwriterelation1.cc33 using namespace IO_Operators; in test01()
43 using namespace IO_Operators; in test02()
53 using namespace IO_Operators; in test03()
63 using namespace IO_Operators; in test04()
73 using namespace IO_Operators; in test05()
83 using namespace IO_Operators; in test06()
93 using namespace IO_Operators; in test07()
H A Dwriteconsys1.cc26 using namespace IO_Operators;
41 using namespace IO_Operators; in test01()
55 using namespace IO_Operators; in test02()
71 using namespace IO_Operators; in test03()
H A Dvariablesset1.cc45 using namespace Parma_Polyhedra_Library::IO_Operators; in test01()
63 using namespace Parma_Polyhedra_Library::IO_Operators; in test02()
76 using namespace Parma_Polyhedra_Library::IO_Operators; in test03()
97 using namespace Parma_Polyhedra_Library::IO_Operators; in test04()
146 using namespace Parma_Polyhedra_Library::IO_Operators; in test05()
/dports/devel/ppl/ppl-1.2/tests/
H A Dppl_test.cc220 using IO_Operators::operator<<; in check_result()
237 using IO_Operators::operator<<; in check_result()
281 using IO_Operators::operator<<; in check_result()
316 using IO_Operators::operator<<; in check_result()
332 using IO_Operators::operator<<; in operator <<()
346 using IO_Operators::operator<<; in print_constraint()
373 using IO_Operators::operator<<; in print_constraints()
386 using IO_Operators::operator<<; in print_congruence()
399 using IO_Operators::operator<<; in print_congruences()
418 using IO_Operators::operator<<; in print_generator()
[all …]
H A Dppl_test.hh540 using IO_Operators::operator<<; in check_result_i()
561 using IO_Operators::operator<<; in check_result_i()
592 using IO_Operators::operator<<; in check_result()
641 using IO_Operators::operator<<; in check_result_i()
662 using IO_Operators::operator<<; in check_result_i()
732 using IO_Operators::operator<<; in check_result_i()
1022 using IO_Operators::operator<<; in print_constraints()
1033 using IO_Operators::operator<<; in print_constraints()
1044 using IO_Operators::operator<<; in print_constraints()
1055 using IO_Operators::operator<<; in print_constraints()
[all …]
/dports/devel/ppl/ppl-1.2/tests/Powerset/
H A Ddifference1.cc43 using namespace IO_Operators; in test01()
66 using namespace IO_Operators; in test02()
95 using namespace IO_Operators; in test03()
/dports/devel/ppl/ppl-1.2/src/
H A DVariable_defs.hh35 namespace IO_Operators { namespace
147 Parma_Polyhedra_Library::IO_Operators::operator<<(std::ostream& s,
H A Dtermination.cc151 using namespace IO_Operators; in fill_constraint_systems_MS()
217 using namespace IO_Operators; in fill_constraint_systems_MS()
223 using namespace IO_Operators; in fill_constraint_systems_MS()
228 using namespace IO_Operators; in fill_constraint_systems_MS()
537 using namespace IO_Operators; in all_affine_ranking_functions_MS()
548 using namespace IO_Operators; in all_affine_ranking_functions_MS()
582 using namespace IO_Operators; in all_affine_quasi_ranking_functions_MS()
626 using namespace IO_Operators; in termination_test_PR()
692 using namespace IO_Operators; in one_affine_ranking_function_PR()
748 using namespace IO_Operators; in one_affine_ranking_function_PR_original()
[all …]
H A DPoly_Gen_Relation_defs.hh57 namespace IO_Operators { namespace
110 IO_Operators::operator<<(std::ostream& s, const Poly_Gen_Relation& r);
H A DPoly_Con_Relation_defs.hh57 namespace IO_Operators { namespace
116 IO_Operators::operator<<(std::ostream& s, const Poly_Con_Relation& r);
/dports/devel/ppl/ppl-1.2/interfaces/C/
H A Dppl_c_implementation_common_defs.hh190 using namespace IO_Operators; \
202 using namespace IO_Operators; \
214 using namespace IO_Operators; \

12345678