/dports/math/spot/spot-2.10.2/tests/python/ |
H A D | satmin.py | 117 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 121 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 125 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 129 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 134 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 139 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 144 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 149 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 153 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 158 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable [all …]
|
/dports/math/py-spot/spot-2.10.2/tests/python/ |
H A D | satmin.py | 117 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 121 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 125 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 129 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 134 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 139 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 144 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 149 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 153 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable 158 min3 = spot.sat_minimize(aut, acc='Rabin 2', variable [all …]
|
/dports/graphics/geomview/geomview-1.9.5/src/lib/gprim/bbox/ |
H A D | bboxcreate.c | 63 HPoint3 min3, max3; in BBoxGet() local 103 HPoint3 min3, max3; in BBoxCreate() local
|
/dports/lang/runawk/runawk-1.6.1/modules/ |
H A D | min.awk | 35 function min3 (a, b, c, m){ function
|
/dports/lang/ruby26/ruby-2.6.9/gems/did_you_mean-1.3.0/lib/did_you_mean/ |
H A D | levenshtein.rb | 46 def min3(a, b, c) method
|
/dports/math/fcl05/fcl-0.5.0/include/fcl/simd/ |
H A D | simd_intersect.h | 90 const Vec3f& min3, const Vec3f& max3, in sse_four_spheres_four_AABBs_intersect() 127 const Vec3f& min3, const Vec3f& max3, in sse_four_AABBs_intersect() 194 const Vec3f& min3, const Vec3f& max3, in four_spheres_four_AABBs_intersect_and() 207 const Vec3f& min3, const Vec3f& max3, in four_spheres_four_AABBs_intersect_or() 217 const Vec3f& min3, const Vec3f& max3, in four_AABBs_intersect_and() 230 const Vec3f& min3, const Vec3f& max3, in four_AABBs_intersect_or()
|
/dports/math/fcl/fcl-0.7.0/.deprecated/simd/ |
H A D | simd_intersect.h | 88 … const Vector3d& min3, const Vector3d& max3, in sse_four_spheres_four_AABBs_intersect() 125 const Vector3d& min3, const Vector3d& max3, in sse_four_AABBs_intersect() 192 const Vector3d& min3, const Vector3d& max3, in four_spheres_four_AABBs_intersect_and() 205 const Vector3d& min3, const Vector3d& max3, in four_spheres_four_AABBs_intersect_or() 215 const Vector3d& min3, const Vector3d& max3, in four_AABBs_intersect_and() 228 const Vector3d& min3, const Vector3d& max3, in four_AABBs_intersect_or()
|
/dports/graphics/wdune/wdune-1.926/vcglib/img/ |
H A D | img_scalar.h | 65 inline ScalarType min3(ScalarType a, ScalarType b, ScalarType c) in min3() function
|
/dports/devel/vcglib/vcglib-2020.09/img/ |
H A D | img_scalar.h | 65 inline ScalarType min3(ScalarType a, ScalarType b, ScalarType c) in min3() function
|
/dports/lang/ruby26/ruby-2.6.9/lib/rubygems/ |
H A D | text.rb | 43 def min3(a, b, c) # :nodoc: method
|
/dports/textproc/kdiff3/kdiff3-1.9.4/src/ |
H A D | common.h | 18 T min3( T d1, T d2, T d3 ) in min3() function
|
/dports/math/fxt/fxt/src/sort/ |
H A D | minmaxmed23.h | 28 static inline Type min3(const Type &x, const Type &y, const Type &z) in min3() function
|
/dports/multimedia/mlt6-qt5/mlt-6.26.1/src/modules/videostab/stab/klt/ |
H A D | base.h | 35 #define min3(a,b,c) ((a) < (b) ? min((a),(c)) : min((b),(c))) macro
|
/dports/multimedia/mlt6/mlt-6.26.1/src/modules/videostab/stab/klt/ |
H A D | base.h | 35 #define min3(a,b,c) ((a) < (b) ? min((a),(c)) : min((b),(c))) macro
|
/dports/multimedia/py-mlt6/mlt-6.26.1/src/modules/videostab/stab/klt/ |
H A D | base.h | 35 #define min3(a,b,c) ((a) < (b) ? min((a),(c)) : min((b),(c))) macro
|
/dports/biology/viennarna/ViennaRNA-2.4.18/src/ViennaRNA/utils/ |
H A D | higher_order_functions_sse41.c | 67 __m128i min3 = _mm_shuffle_epi32(min2, _MM_SHUFFLE(0, 0, 0, 1)); in horizontal_min_Vec4i() local
|
/dports/graphics/reactphysics3d/reactphysics3d-0.8.0/include/reactphysics3d/mathematics/ |
H A D | mathematics_functions.h | 72 inline decimal min3(decimal a, decimal b, decimal c) { in min3() function
|
/dports/graphics/xfig/xfig-3.2.8a/src/ |
H A D | xfig_math.h | 31 #define min3(a,b,c) ((((a<b)?a:b)<c)?((a<b)?a:b):c) macro
|
/dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/gcc.dg/ |
H A D | fold-cond-2.c | 15 min3 (unsigned char op1, unsigned char op2) in min3() function
|
/dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gcc.dg/ |
H A D | fold-cond-2.c | 15 min3 (unsigned char op1, unsigned char op2) in min3() function
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gcc.dg/ |
H A D | fold-cond-2.c | 15 min3 (unsigned char op1, unsigned char op2) in min3() function
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/gcc.dg/ |
H A D | fold-cond-2.c | 15 min3 (unsigned char op1, unsigned char op2) in min3() function
|
/dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gcc.dg/ |
H A D | fold-cond-2.c | 15 min3 (unsigned char op1, unsigned char op2) in min3() function
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/ |
H A D | fold-cond-2.c | 15 min3 (unsigned char op1, unsigned char op2) in min3() function
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/ |
H A D | fold-cond-2.c | 15 min3 (unsigned char op1, unsigned char op2) in min3() function
|