| /dports/devel/ppl/ppl-1.2/tests/Grid/ |
| H A D | relations3.cc | 86 && Poly_Con_Relation::saturates())); in test03()
103 && Poly_Con_Relation::saturates()) in test04()
107 && Poly_Con_Relation::saturates())); in test04()
122 == (Poly_Con_Relation::saturates() in test05()
126 == (Poly_Con_Relation::saturates() in test05()
129 == (Poly_Con_Relation::saturates() in test05()
175 && Poly_Con_Relation::saturates()) in test07()
215 && Poly_Con_Relation::saturates()) in test09()
277 && Poly_Con_Relation::saturates()) in test12()
352 && Poly_Con_Relation::saturates()) in test16()
[all …]
|
| H A D | relations2.cc | 126 && Poly_Con_Relation::saturates())); in test06()
150 && Poly_Con_Relation::saturates()) in test07()
154 && Poly_Con_Relation::saturates()) in test07()
158 && Poly_Con_Relation::saturates()) in test07()
162 && Poly_Con_Relation::saturates())); in test07()
215 && Poly_Con_Relation::saturates()) in test10()
308 && Poly_Con_Relation::saturates())); in test15()
380 && Poly_Con_Relation::saturates())); in test19()
|
| /dports/devel/ppl/ppl-1.2/interfaces/Prolog/tests/ |
| H A D | ppl_prolog_generated_test_common.pl | 171 Rel = [saturates, is_included, is_disjoint]
172 ; Rel = [saturates, is_disjoint, is_included]
173 ; Rel = [is_included, is_disjoint, saturates]
174 ; Rel = [is_included, saturates, is_disjoint]
175 ; Rel = [is_disjoint, is_included, saturates]
176 ; Rel = [is_disjoint, saturates, is_included]
181 Rel = [saturates, is_included, is_disjoint]
217 Rel = [saturates, is_included, is_disjoint]
227 Rel = [saturates, is_included, is_disjoint]
261 Rel = [saturates, is_included] ; Rel = [is_included, saturates]
[all …]
|
| /dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/ |
| H A D | relations1.cc | 85 && Poly_Con_Relation::saturates()) in test03()
89 && Poly_Con_Relation::saturates())); in test03()
132 && Poly_Con_Relation::saturates()) in test04()
135 && Poly_Con_Relation::saturates())); in test04()
215 && Poly_Con_Relation::saturates())); in test07()
259 && Poly_Con_Relation::saturates()) in test08()
262 && Poly_Con_Relation::saturates())); in test08()
|
| /dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/ |
| H A D | relatwithcons2.cc | 40 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test01()
94 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test04()
115 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test05()
223 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test10()
245 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test11()
269 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test12()
342 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test15()
|
| H A D | relatwithcons1.cc | 42 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test01()
224 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test08()
382 && Poly_Con_Relation::saturates(); in test11()
435 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test14()
456 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test15()
|
| /dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
| H A D | relations1.cc | 149 Poly_Con_Relation known_rel = Poly_Con_Relation::saturates() in test06()
197 known_result = Poly_Con_Relation::saturates() in test07()
209 known_result = Poly_Con_Relation::saturates() in test07()
262 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test09()
307 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test12()
326 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test13()
420 Poly_Con_Relation known_rel = Poly_Con_Relation::saturates() in test18()
|
| H A D | writerelation1.cc | 71 Poly_Con_Relation rel = Poly_Con_Relation::saturates(); in test05()
|
| /dports/devel/ppl/ppl-1.2/tests/Box/ |
| H A D | relations1.cc | 40 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test01()
128 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test05()
153 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test06()
242 && Poly_Con_Relation::saturates(); in test10()
293 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test13()
318 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test14()
|
| H A D | relations2.cc | 38 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test01()
88 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test04()
108 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test05()
231 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test11()
252 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test12()
275 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test13()
|
| H A D | relations4.cc | 139 = Poly_Con_Relation::is_included() && Poly_Con_Relation::saturates(); in test05()
174 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test07()
218 = Poly_Con_Relation::is_included() && Poly_Con_Relation::saturates(); in test09()
306 = Poly_Con_Relation::is_included() && Poly_Con_Relation::saturates(); in test13()
457 = Poly_Con_Relation::saturates() in test20()
|
| /dports/devel/ppl/ppl-1.2/tests/BD_Shape/ |
| H A D | relations2.cc | 38 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test01()
88 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test04()
108 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test05()
234 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test11()
255 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test12()
278 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test13()
|
| H A D | relations1.cc | 40 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test01()
128 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test05()
153 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test06()
242 && Poly_Con_Relation::saturates(); in test10()
293 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test13()
318 Poly_Con_Relation known_result = Poly_Con_Relation::saturates() in test14()
|
| /dports/devel/ppl/ppl-1.2/src/ |
| H A D | Partially_Reduced_Product_templates.hh | 179 if (relation1.implies(Poly_Con_Relation::saturates())) { in relation_with()
180 result = result && Poly_Con_Relation::saturates(); in relation_with()
182 else if (relation2.implies(Poly_Con_Relation::saturates())) { in relation_with()
183 result = result && Poly_Con_Relation::saturates(); in relation_with()
211 if (relation1.implies(Poly_Con_Relation::saturates())) { in relation_with()
212 result = result && Poly_Con_Relation::saturates(); in relation_with()
214 else if (relation2.implies(Poly_Con_Relation::saturates())) { in relation_with()
215 result = result && Poly_Con_Relation::saturates(); in relation_with()
|
| H A D | Poly_Con_Relation_inlines.hh | 60 Poly_Con_Relation::saturates() { in saturates() function in Parma_Polyhedra_Library::Poly_Con_Relation
|
| H A D | Poly_Con_Relation_defs.hh | 153 static Poly_Con_Relation saturates();
|
| H A D | Grid_public.cc | 393 return Poly_Con_Relation::saturates() in relation_with()
403 return Poly_Con_Relation::saturates() in relation_with()
407 return Poly_Con_Relation::saturates() in relation_with()
414 return Poly_Con_Relation::saturates() in relation_with()
539 && Poly_Con_Relation::saturates(); in relation_with()
634 return Poly_Con_Relation::saturates() in relation_with()
644 return Poly_Con_Relation::saturates() in relation_with()
652 return Poly_Con_Relation::saturates() in relation_with()
665 return Poly_Con_Relation::saturates() in relation_with()
730 return Poly_Con_Relation::saturates() in relation_with()
|
| /dports/devel/z88dk/z88dk/libsrc/_DEVELOPMENT/l/z80/long/ |
| H A D | l_long_sbcu_exx.asm | 12 ; unsigned a saturates at 0
|
| H A D | l_long_addus_exx.asm | 12 ; unsigned a saturates at 0 or $ffff ffff
|
| /dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/ |
| H A D | Poly_Con_Relation.java | 80 public static Poly_Con_Relation saturates() { in saturates() method in Poly_Con_Relation
|
| /dports/science/dakota/dakota-6.13.0-release-public.src-UI/docs/KeywordMetadata/ |
| H A D | DUPLICATE-increment_max_rank | 9 the CV process saturates (the best rank is less than the max), then
|
| H A D | DUPLICATE-increment_max_order | 9 the CV process saturates (the best order is less than the max), then
|
| H A D | DUPLICATE-increment_max_rank_order | 9 for the cross validation (CV) process. Once the CV process saturates
|
| /dports/devel/ppl/ppl-1.2/tests/Powerset/ |
| H A D | relationwith1.cc | 39 Poly_Con_Relation known_rel = Poly_Con_Relation::saturates() in test01()
132 Poly_Con_Relation known_rel = Poly_Con_Relation::saturates() in test05()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/test/CodeGen/PowerPC/ |
| H A D | fp-int128-fp-combine.ll | 4 ; xscvdpsxds should NOT be emitted, since it saturates the result down to i64.
|