/dports/devel/ppl/ppl-1.2/tests/Box/ |
H A D | relations1.cc | 37 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 D | relations2.cc | 35 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 D | relations4.cc | 39 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 D | relations3.cc | 39 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 D | membytes1.cc | 43 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 D | relations2.cc | 35 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 D | relations1.cc | 37 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 D | relations3.cc | 106 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 D | relations4.cc | 43 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 D | relatwithcons2.cc | 37 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 D | relatwithgen1.cc | 43 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 D | relatwithcons3.cc | 43 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 D | relatwithcons1.cc | 39 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 D | minconstraints1.cc | 44 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 D | writerelation1.cc | 33 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 D | writeconsys1.cc | 26 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 D | variablesset1.cc | 45 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 D | ppl_test.cc | 220 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 D | ppl_test.hh | 540 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 D | difference1.cc | 43 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 D | Variable_defs.hh | 35 namespace IO_Operators { namespace 147 Parma_Polyhedra_Library::IO_Operators::operator<<(std::ostream& s,
|
H A D | termination.cc | 151 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 D | Poly_Gen_Relation_defs.hh | 57 namespace IO_Operators { namespace 110 IO_Operators::operator<<(std::ostream& s, const Poly_Gen_Relation& r);
|
H A D | Poly_Con_Relation_defs.hh | 57 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 D | ppl_c_implementation_common_defs.hh | 190 using namespace IO_Operators; \ 202 using namespace IO_Operators; \ 214 using namespace IO_Operators; \
|