| /dports/devel/ppl/ppl-1.2/tests/Grid/ |
| H A D | isuniverse1.cc | 33 bool ok = (gr.is_universe()); in test01()
46 bool ok = (gr.is_universe()); in test02()
59 bool ok = (gr.is_universe()); in test03()
72 bool ok = (!gr.is_universe()); in test04()
85 bool ok = (!gr.is_universe()); in test05()
105 bool ok = (!gr.is_universe()); in test06()
123 bool ok = (gr.is_universe()); in test07()
142 bool ok = (!gr.is_universe()); in test08()
168 bool ok = (gr.is_universe()); in test09()
210 bool ok = (gr.is_universe()); in test11()
[all …]
|
| H A D | dropnonintegerpoints1.cc | 59 bool ok = (gr2.is_empty() && gr1.is_universe()); in test02()
195 bool ok = (gr2.is_empty() && gr1.is_universe()); in test08()
|
| /dports/devel/ppl/ppl-1.2/tests/Powerset/ |
| H A D | universe1.cc | 32 bool b = !ps.is_universe(); in test01()
35 bool b1 = ps.is_universe(); in test01()
56 bool b = !ps.is_universe(); in test02()
64 bool b = !ps.is_universe(); in test03()
68 bool b1 = ps.is_universe(); in test03()
78 bool b0 = !ps.is_universe(); in test04()
83 bool b1 = !ps.is_universe(); in test04()
88 bool b2 = !ps.is_universe(); in test04()
92 bool b3 = ps.is_universe(); in test04()
|
| H A D | fromspacedimension1.cc | 42 bool ok = (ps.OK() && ps.is_universe() && ps.space_dimension() == 0); in test02()
60 bool ok = (ps.OK() && ps.is_universe() && ps.space_dimension() == 4); in test04()
69 bool ok = (ps.OK() && ps.is_universe() && ps.space_dimension() == 4); in test05()
|
| H A D | fromcongruences1.cc | 34 bool ok = (ps.OK() && ps.is_universe() && ps.space_dimension() == 0); in test01()
49 bool ok = (ps.OK() && !ps.is_universe() && ps.space_dimension() == 2); in test02()
|
| /dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/ |
| H A D | directproduct1.cc | 79 bool ok = ((!dp.domain1().is_universe() && dp.domain2().is_universe()) in test03()
80 || (!dp.domain2().is_universe() && dp.domain1().is_universe())); in test03()
101 bool ok = ((dp.domain1().is_empty() && dp.domain2().is_universe()) in test04()
102 || (dp.domain2().is_empty() && dp.domain1().is_universe())); in test04()
|
| H A D | isuniverse1.cc | 40 bool ok = !prp.is_universe(); in test01()
57 bool ok = !prp.is_universe(); in test02()
70 bool ok = prp.is_universe(); in test03()
|
| /dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
| H A D | universe1.cc | 33 bool universe = ph.is_universe(); in test01()
54 bool universe = ph.is_universe(); in test02()
77 bool universe = ph.is_universe(); in test03()
101 bool universe = ph.is_universe(); in test04()
122 bool universe = ph.is_universe(); in test05()
146 bool universe = ph.is_universe(); in test06()
|
| H A D | universe2.cc | 45 bool universe1 = ph1.is_universe(); in test01()
52 bool universe2 = ph2.is_universe(); in test01()
59 bool universe3 = ph3.is_universe(); in test01()
66 bool universe4 = ph4.is_universe(); in test01()
|
| H A D | congruences1.cc | 319 bool ok = ph.is_universe(); in test14()
340 bool ok = ph.is_universe(); in test15()
|
| H A D | bgp99extrapolation1.cc | 66 if (p[n].is_universe()) { in aux1_test01()
|
| /dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/ |
| H A D | universe1.cc | 39 bool universe = oc.is_universe(); in test01()
51 bool universe = oc.is_universe(); in test02()
70 bool universe = oc.is_universe(); in test03()
82 bool universe = oc.is_universe(); in test04()
96 bool universe = oc.is_universe(); in test05()
|
| H A D | fromspacedim1.cc | 43 bool ok = (oc.OK() && oc.is_universe() && oc.space_dimension() == 0); in test02()
65 bool ok = (oc.OK() && oc.is_universe() && oc.space_dimension() == 4); in test04()
|
| /dports/devel/ppl/ppl-1.2/tests/Box/ |
| H A D | universe1.cc | 36 bool universe = box.is_universe(); in test01()
48 bool universe = box.is_universe(); in test02()
60 bool universe = box.is_universe(); in test03()
72 bool universe = box.is_universe(); in test04()
|
| H A D | fromspacedim1.cc | 43 bool ok = (box.OK() && box.is_universe() && box.space_dimension() == 0); in test02()
65 bool ok = (box.OK() && box.is_universe() && box.space_dimension() == 4); in test04()
|
| /dports/devel/ppl/ppl-1.2/tests/BD_Shape/ |
| H A D | universe1.cc | 39 bool universe = bds.is_universe(); in test01()
51 bool universe = bds.is_universe(); in test02()
63 bool universe = bds.is_universe(); in test03()
75 bool universe = bds.is_universe(); in test04()
|
| H A D | fromspacedim1.cc | 43 bool ok = (bds.OK() && bds.is_universe() && bds.space_dimension() == 0); in test02()
65 bool ok = (bds.OK() && bds.is_universe() && bds.space_dimension() == 4); in test04()
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/polly/lib/External/isl/ |
| H A D | isl_ast_graft.c | 765 int is_universe; in store_guard() local
770 is_universe = isl_set_plain_is_universe(guard); in store_guard()
771 if (is_universe < 0) in store_guard()
773 if (is_universe) { in store_guard()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/polly/lib/External/isl/ |
| H A D | isl_ast_graft.c | 797 int is_universe; in store_guard() local
802 is_universe = isl_set_plain_is_universe(guard); in store_guard()
803 if (is_universe < 0) in store_guard()
805 if (is_universe) { in store_guard()
|
| /dports/math/barvinok/barvinok-0.41.5/isl/ |
| H A D | isl_ast_graft.c | 797 int is_universe; in store_guard() local
802 is_universe = isl_set_plain_is_universe(guard); in store_guard()
803 if (is_universe < 0) in store_guard()
805 if (is_universe) { in store_guard()
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/polly/lib/External/isl/ |
| H A D | isl_ast_graft.c | 797 int is_universe; in store_guard() local
802 is_universe = isl_set_plain_is_universe(guard); in store_guard()
803 if (is_universe < 0) in store_guard()
805 if (is_universe) { in store_guard()
|
| /dports/devel/isl/isl-0.24/ |
| H A D | isl_ast_graft.c | 797 int is_universe; in store_guard() local
802 is_universe = isl_set_plain_is_universe(guard); in store_guard()
803 if (is_universe < 0) in store_guard()
805 if (is_universe) { in store_guard()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/polly/lib/External/isl/ |
| H A D | isl_ast_graft.c | 797 int is_universe; in store_guard() local
802 is_universe = isl_set_plain_is_universe(guard); in store_guard()
803 if (is_universe < 0) in store_guard()
805 if (is_universe) { in store_guard()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/polly/lib/External/isl/ |
| H A D | isl_ast_graft.c | 797 int is_universe; in store_guard() local
802 is_universe = isl_set_plain_is_universe(guard); in store_guard()
803 if (is_universe < 0) in store_guard()
805 if (is_universe) { in store_guard()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/polly/lib/External/isl/ |
| H A D | isl_ast_graft.c | 797 int is_universe; in store_guard() local
802 is_universe = isl_set_plain_is_universe(guard); in store_guard()
803 if (is_universe < 0) in store_guard()
805 if (is_universe) { in store_guard()
|