| /dports/math/spot/spot-2.10.2/tests/python/ |
| H A D | satmin.py | 184 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
188 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
192 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
196 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
200 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
204 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
208 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
212 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
216 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
220 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
[all …]
|
| /dports/math/py-spot/spot-2.10.2/tests/python/ |
| H A D | satmin.py | 184 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
188 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
192 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
196 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
200 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
204 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
208 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
212 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
216 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
220 min4 = spot.sat_minimize(aut, acc='parity max odd 3', variable
[all …]
|
| /dports/lang/runawk/runawk-1.6.1/modules/ |
| H A D | min.awk | 40 function min4 (a, b, c, d, m){ function
|
| /dports/math/fcl05/fcl-0.5.0/include/fcl/simd/ |
| H A D | simd_intersect.h | 91 const Vec3f& min4, const Vec3f& max4) in sse_four_spheres_four_AABBs_intersect()
128 const Vec3f& min4, const Vec3f& max4, in sse_four_AABBs_intersect()
195 const Vec3f& min4, const Vec3f& max4) in four_spheres_four_AABBs_intersect_and()
208 const Vec3f& min4, const Vec3f& max4) in four_spheres_four_AABBs_intersect_or()
218 const Vec3f& min4, const Vec3f& max4, in four_AABBs_intersect_and()
231 const Vec3f& min4, const Vec3f& max4, in four_AABBs_intersect_or()
|
| /dports/math/fcl/fcl-0.7.0/.deprecated/simd/ |
| H A D | simd_intersect.h | 89 … const Vector3d& min4, const Vector3d& max4) in sse_four_spheres_four_AABBs_intersect()
126 const Vector3d& min4, const Vector3d& max4, in sse_four_AABBs_intersect()
193 const Vector3d& min4, const Vector3d& max4) in four_spheres_four_AABBs_intersect_and()
206 const Vector3d& min4, const Vector3d& max4) in four_spheres_four_AABBs_intersect_or()
216 const Vector3d& min4, const Vector3d& max4, in four_AABBs_intersect_and()
229 const Vector3d& min4, const Vector3d& max4, in four_AABBs_intersect_or()
|
| /dports/biology/viennarna/ViennaRNA-2.4.18/src/ViennaRNA/utils/ |
| H A D | higher_order_functions_sse41.c | 68 __m128i min4 = _mm_min_epi32(min2, min3); in horizontal_min_Vec4i() local
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/gcc.dg/ |
| H A D | fold-cond-2.c | 20 min4 (unsigned char op1, unsigned char op2) in min4() function
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gcc.dg/ |
| H A D | fold-cond-2.c | 20 min4 (unsigned char op1, unsigned char op2) in min4() function
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gcc.dg/ |
| H A D | fold-cond-2.c | 20 min4 (unsigned char op1, unsigned char op2) in min4() function
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/gcc.dg/ |
| H A D | fold-cond-2.c | 20 min4 (unsigned char op1, unsigned char op2) in min4() function
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gcc.dg/ |
| H A D | fold-cond-2.c | 20 min4 (unsigned char op1, unsigned char op2) in min4() function
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/ |
| H A D | fold-cond-2.c | 20 min4 (unsigned char op1, unsigned char op2) in min4() function
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/ |
| H A D | fold-cond-2.c | 20 min4 (unsigned char op1, unsigned char op2) in min4() function
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gcc.dg/ |
| H A D | fold-cond-2.c | 20 min4 (unsigned char op1, unsigned char op2) in min4() function
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/ |
| H A D | fold-cond-2.c | 20 min4 (unsigned char op1, unsigned char op2) in min4() function
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gcc.dg/ |
| H A D | fold-cond-2.c | 20 min4 (unsigned char op1, unsigned char op2) in min4() function
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gcc.dg/ |
| H A D | fold-cond-2.c | 20 min4 (unsigned char op1, unsigned char op2) in min4() function
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/ |
| H A D | fold-cond-2.c | 20 min4 (unsigned char op1, unsigned char op2) in min4() function
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gcc.dg/ |
| H A D | fold-cond-2.c | 20 min4 (unsigned char op1, unsigned char op2) in min4() function
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gcc.dg/ |
| H A D | fold-cond-2.c | 20 min4 (unsigned char op1, unsigned char op2) in min4() function
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gcc.dg/ |
| H A D | fold-cond-2.c | 20 min4 (unsigned char op1, unsigned char op2) in min4() function
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gcc.dg/ |
| H A D | fold-cond-2.c | 20 min4 (unsigned char op1, unsigned char op2) in min4() function
|
| /dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/ulong_extras/profile/ |
| H A D | p-mod2_preinv.c | 118 double min1, min2, min3, min4, min5, max; in main() local
|
| /dports/math/e-antic/flint2-ae7ec89/ulong_extras/profile/ |
| H A D | p-mod2_preinv.c | 118 double min1, min2, min3, min4, min5, max; in main() local
|
| /dports/math/flint2/flint-2.8.4/ulong_extras/profile/ |
| H A D | p-mod2_preinv.c | 118 double min1, min2, min3, min4, min5, max; in main() local
|