| /dports/math/py-graphillion/Graphillion-1.3/src/graphillion/ |
| H A D | zdd.cc | 99 zdd_t single(elem_t e) { in single()
106 vector<zdd_t> n(num_elems_ + 2); in complement() local
121 zdd_t rl = minimal(lo(f)); in minimal() local
136 zdd_t rl = non_subsets(r, rh); in maximal() local
152 zdd_t n = stacks[v].back(); in hitting() local
204 zdd_t r, r2, rl, rh; in non_subsets() local
240 zdd_t rl; in non_supersets() local
393 map<word_t, zdd_t> n; in load() local
427 map<word_t, zdd_t> n; in load() local
579 double probability(elem_t e, zdd_t f, const vector<double>& probabilities, in probability()
[all …]
|
| /dports/math/gecode/gecode-0916a1a/gecode/minimodel/ |
| H A D | bool-expr.cpp | 56 LinIntRel rl; member in Gecode::BoolExpr::Node
116 BoolExpr::BoolExpr(const BoolExpr& e) : n(e.n) { in BoolExpr()
156 BoolExpr::BoolExpr(const LinIntRel& rl) in BoolExpr()
206 BoolExpr::operator =(const BoolExpr& e) { in operator =()
234 int n; member in Gecode::__anon85abf7cb0111::NNF
333 bool n = false; in expr() local
507 NNF::nnf(Region& r, Node* n, bool neg) { in nnf()
600 operator !(const BoolExpr& e) { in operator !()
638 rel(Home home, const BoolExpr& e, const IntPropLevels& ipls) { in rel()
654 int n; member in Gecode::BElementExpr
[all …]
|
| /dports/lang/scheme48/scheme48-1.9.2/c/ |
| H A D | free.c | 100 #define ADD(x, y, z, k) {\ argument
110 #define SUB(x, y, z, b) {\ argument
119 #define MUL(x, y, z, k) {\ argument
188 int estimate(n) int n; { in estimate() argument
196 int n, m, i; local
208 int n, m, i, zl; local
228 int n, m, i, xl, zl; local
330 int rl, ml, sl, suml; in add_cmp() local
393 int sign, e, f_n, m_n, i, d, tc1, tc2; local
434 int n; local
[all …]
|
| /dports/sysutils/fusefs-ntfs/ntfs-3g_ntfsprogs-2017.3.23/ntfsprogs/ |
| H A D | ntfscluster.c | 281 u64 a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u; in info() local
287 runlist_element *rl; in info() local
289 int z; in info() local
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/libc/AOR_v20.02/math/test/rtest/ |
| H A D | dotest.c | 114 static void set_mpc_d(mpc_t z, uint32 rh, uint32 rl, uint32 ih, uint32 il) in set_mpc_d()
125 static void set_mpc_f(mpc_t z, uint32 r, uint32 i) in set_mpc_f()
256 static void get_mpc_d(const mpc_t z, in get_mpc_d()
257 uint32 *rh, uint32 *rl, uint32 *rextra, in get_mpc_d()
270 static void get_mpc_f(const mpc_t z, in get_mpc_f()
818 int n, bits; in float32_case() local
945 int n, bits; in float64_case() local
1375 int e, n; in pow_cases() local
1465 int e, n; in pow_cases_float() local
2157 int e = 0x412 + scale; in doubletop() local
[all …]
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/libc/AOR_v20.02/math/test/rtest/ |
| H A D | dotest.c | 114 static void set_mpc_d(mpc_t z, uint32 rh, uint32 rl, uint32 ih, uint32 il) in set_mpc_d()
125 static void set_mpc_f(mpc_t z, uint32 r, uint32 i) in set_mpc_f()
256 static void get_mpc_d(const mpc_t z, in get_mpc_d()
257 uint32 *rh, uint32 *rl, uint32 *rextra, in get_mpc_d()
270 static void get_mpc_f(const mpc_t z, in get_mpc_f()
818 int n, bits; in float32_case() local
945 int n, bits; in float64_case() local
1375 int e, n; in pow_cases() local
1465 int e, n; in pow_cases_float() local
2157 int e = 0x412 + scale; in doubletop() local
[all …]
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/libc/AOR_v20.02/math/test/rtest/ |
| H A D | dotest.c | 114 static void set_mpc_d(mpc_t z, uint32 rh, uint32 rl, uint32 ih, uint32 il) in set_mpc_d()
125 static void set_mpc_f(mpc_t z, uint32 r, uint32 i) in set_mpc_f()
256 static void get_mpc_d(const mpc_t z, in get_mpc_d()
257 uint32 *rh, uint32 *rl, uint32 *rextra, in get_mpc_d()
270 static void get_mpc_f(const mpc_t z, in get_mpc_f()
818 int n, bits; in float32_case() local
945 int n, bits; in float64_case() local
1375 int e, n; in pow_cases() local
1465 int e, n; in pow_cases_float() local
2157 int e = 0x412 + scale; in doubletop() local
[all …]
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/libc/AOR_v20.02/math/test/rtest/ |
| H A D | dotest.c | 114 static void set_mpc_d(mpc_t z, uint32 rh, uint32 rl, uint32 ih, uint32 il) in set_mpc_d()
125 static void set_mpc_f(mpc_t z, uint32 r, uint32 i) in set_mpc_f()
256 static void get_mpc_d(const mpc_t z, in get_mpc_d()
257 uint32 *rh, uint32 *rl, uint32 *rextra, in get_mpc_d()
270 static void get_mpc_f(const mpc_t z, in get_mpc_f()
818 int n, bits; in float32_case() local
945 int n, bits; in float64_case() local
1375 int e, n; in pow_cases() local
1465 int e, n; in pow_cases_float() local
2157 int e = 0x412 + scale; in doubletop() local
[all …]
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/libc/AOR_v20.02/math/test/rtest/ |
| H A D | dotest.c | 114 static void set_mpc_d(mpc_t z, uint32 rh, uint32 rl, uint32 ih, uint32 il) in set_mpc_d()
125 static void set_mpc_f(mpc_t z, uint32 r, uint32 i) in set_mpc_f()
256 static void get_mpc_d(const mpc_t z, in get_mpc_d()
257 uint32 *rh, uint32 *rl, uint32 *rextra, in get_mpc_d()
270 static void get_mpc_f(const mpc_t z, in get_mpc_f()
818 int n, bits; in float32_case() local
945 int n, bits; in float64_case() local
1375 int e, n; in pow_cases() local
1465 int e, n; in pow_cases_float() local
2157 int e = 0x412 + scale; in doubletop() local
[all …]
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/libc/AOR_v20.02/math/test/rtest/ |
| H A D | dotest.c | 114 static void set_mpc_d(mpc_t z, uint32 rh, uint32 rl, uint32 ih, uint32 il) in set_mpc_d()
125 static void set_mpc_f(mpc_t z, uint32 r, uint32 i) in set_mpc_f()
256 static void get_mpc_d(const mpc_t z, in get_mpc_d()
257 uint32 *rh, uint32 *rl, uint32 *rextra, in get_mpc_d()
270 static void get_mpc_f(const mpc_t z, in get_mpc_f()
818 int n, bits; in float32_case() local
945 int n, bits; in float64_case() local
1375 int e, n; in pow_cases() local
1465 int e, n; in pow_cases_float() local
2157 int e = 0x412 + scale; in doubletop() local
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/libc/AOR_v20.02/math/test/rtest/ |
| H A D | dotest.c | 114 static void set_mpc_d(mpc_t z, uint32 rh, uint32 rl, uint32 ih, uint32 il) in set_mpc_d()
125 static void set_mpc_f(mpc_t z, uint32 r, uint32 i) in set_mpc_f()
256 static void get_mpc_d(const mpc_t z, in get_mpc_d()
257 uint32 *rh, uint32 *rl, uint32 *rextra, in get_mpc_d()
270 static void get_mpc_f(const mpc_t z, in get_mpc_f()
818 int n, bits; in float32_case() local
945 int n, bits; in float64_case() local
1375 int e, n; in pow_cases() local
1465 int e, n; in pow_cases_float() local
2157 int e = 0x412 + scale; in doubletop() local
[all …]
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/libc/AOR_v20.02/math/test/rtest/ |
| H A D | dotest.c | 114 static void set_mpc_d(mpc_t z, uint32 rh, uint32 rl, uint32 ih, uint32 il) in set_mpc_d()
125 static void set_mpc_f(mpc_t z, uint32 r, uint32 i) in set_mpc_f()
256 static void get_mpc_d(const mpc_t z, in get_mpc_d()
257 uint32 *rh, uint32 *rl, uint32 *rextra, in get_mpc_d()
270 static void get_mpc_f(const mpc_t z, in get_mpc_f()
818 int n, bits; in float32_case() local
945 int n, bits; in float64_case() local
1375 int e, n; in pow_cases() local
1465 int e, n; in pow_cases_float() local
2157 int e = 0x412 + scale; in doubletop() local
[all …]
|
| /dports/misc/gnuls/coreutils-8.30/src/ |
| H A D | factor.c | 245 unsigned char e[MAX_NFACTS]; member
253 unsigned long int *e; member
530 unsigned char *e = factors->e; in factor_insert_multiplicity() local
620 unsigned long int *e = factors->e; in mp_factor_insert() local
977 uintmax_t rh, rl, q, th, tl _GL_UNUSED, xh; in mulredc() local
1061 powm (uintmax_t b, uintmax_t e, uintmax_t n, uintmax_t ni, uintmax_t one) in powm()
1087 uintmax_t e; in powm2() local
1333 uintmax_t e[2], y[2]; in prime2_p() local
1469 uintmax_t x, z, y, P, t, ni, g; in factor_using_pollard_rho() local
1677 mpz_t x, z, y, P; in mp_factor_using_pollard_rho() local
[all …]
|
| /dports/sysutils/coreutils/coreutils-8.32/src/ |
| H A D | factor.c | 245 unsigned char e[MAX_NFACTS]; member
253 unsigned long int *e; member
530 unsigned char *e = factors->e; in factor_insert_multiplicity() local
620 unsigned long int *e = factors->e; in mp_factor_insert() local
977 uintmax_t rh, rl, q, th, tl _GL_UNUSED, xh; in mulredc() local
1061 powm (uintmax_t b, uintmax_t e, uintmax_t n, uintmax_t ni, uintmax_t one) in powm()
1087 uintmax_t e; in powm2() local
1333 uintmax_t e[2], y[2]; in prime2_p() local
1469 uintmax_t x, z, y, P, t, ni, g; in factor_using_pollard_rho() local
1677 mpz_t x, z, y, P; in mp_factor_using_pollard_rho() local
[all …]
|
| /dports/x11/xscreensaver/xscreensaver-5.44/hacks/ |
| H A D | piecewise.c | 127 tree **lr, **rl; in splay() local
128 tree *x, *y, *z; in splay() local
248 tree *r, **rl; in splay_min() local
249 tree *x, *y, *z; in splay_min() local
289 tree *x, *y, *z; in splay_max() local
491 event *e; in event_next() local
501 static void event_shred(event *e) in event_shred()
521 event *e; in fringe_intersect() local
713 static void sweep(struct state *st, int n, circle *c) in sweep()
716 event *eq, *e; in sweep() local
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/Utils/BVDomain/ |
| H A D | Arith.hs | 315 | e - d > c - b = go (a, d) (e, e) rest function
539 (ql, rl) = al `divMod` max 1 bh -- assume that division by 0 does not happen function
603 rl = if al < 0 then min (bl+1) (-bh+1) else 0 function
660 pmember n a x = proper n a && member a x function
666 correct_ubounds n (a,x) = pmember n a x' ==> lo <= x' && x' <= hi function
672 correct_sbounds n (a,x) = pmember n a x' ==> lo <= x' && x' <= hi function
706 z = x' `shiftL` (widthVal n) .|. y' function
731 correct_not n (a,x) = member a x ==> pmember n (not a) (complement x) function
782 z = (toUnsigned n x) `shiftL` fromInteger (min (intValue n) y) function
787 z = (toUnsigned n x) `shiftR` fromInteger (min (intValue n) y) function
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/csl/cslbase/ |
| H A D | arith10.cpp | 141 UNUSED_NAME static Complex CSLcpowi(Complex z, int n) in CSLcpowi()
204 int n = _reduced_exp(absy, &w) - 1; in CSLcsin() local
219 int j, n; in CSLcsqrt() local
318 int n1, n2, n; in Cdiv_z() local
705 int32_t n = static_cast<int>(w); in arg_reduce_degrees() local
1218 { double (*rl)(double) = trig_functions[which_one].real; in Ltrigfn() local
1225 double (*rl)(double) = trig_functions[which_one].real; in Ltrigfn() local
1318 { Complex z; in complex_of_number() local
1354 { double d, e; in Lexpt() local
1355 int32_t restype, n; in Lexpt() local
[all …]
|
| /dports/math/pari/pari-2.13.3/src/basemath/ |
| H A D | F2x.c | 237 GEN z; in F2x_add() local
251 GEN z; in F2x_addspec() local
271 GEN z; in F2x_1_add() local
335 GEN z; in F2x_mul1() local
612 ulong rl = (x2>>i)&15UL, rh = (x2>>(i+4))&15UL; in F2x_sqrt() local
621 ulong rl = (x2>>i)&15UL, rh = (x2>>(i+4))&15UL; in F2x_sqrt() local
762 F2xn_inv1(GEN v, long e) in F2xn_inv1()
769 F2xn_inv(GEN f, long e) in F2xn_inv()
774 long n=1; in F2xn_inv() local
1383 F2xq_log_find_rel(GEN b, long r, GEN T, GEN *g, ulong *e) in F2xq_log_find_rel()
[all …]
|
| /dports/math/singular/Singular-Release-4-2-1/libpolys/coeffs/ |
| H A D | longrat.cc | 166 number z = ALLOC_RNUMBER(); in nlInitMPZ() local
225 number z=ALLOC_RNUMBER(); in nlMapMachineInt() local
376 number z = ALLOC_RNUMBER(); in nlConvFactoryNSingN() local
434 int e,al,bl; in nlMapLongR() local
515 mpz_t z; in nlMapC() local
536 int e,al,bl; in nlMapC() local
2492 number z=ALLOC_RNUMBER(); in nlRInit() local
2506 number z=ALLOC_RNUMBER(); in nlInit2() local
2519 number z=ALLOC_RNUMBER(); in nlInit2gmp() local
2943 number z=INT_TO_SR(0); in nlFarey() local
[all …]
|
| /dports/math/gap/gap-4.11.0/extern/gmp/mini-gmp/ |
| H A D | mini-gmp.c | 525 mp_limb_t ul, cl, hpl, lpl, rl; in mpn_addmul_1() local
551 mp_limb_t ul, cl, hpl, lpl, rl; in mpn_submul_1() local
1471 #define MPZ_REALLOC(z,n) ((n) > (z)->_mp_alloc \ argument
2539 mp_limb_t rl; in mpz_div_qr_ui() local
3075 mpz_pow_ui (mpz_t r, const mpz_t b, unsigned long e) in mpz_pow_ui()
3210 mpz_t e; in mpz_powm_ui() local
3216 mpz_rootrem (mpz_t x, mpz_t r, const mpz_t y, unsigned long z) in mpz_rootrem()
3276 mpz_root (mpz_t x, const mpz_t y, unsigned long z) in mpz_root()
3638 mp_limb_t ul, vl, rl; in mpz_and() local
3710 mp_limb_t ul, vl, rl; in mpz_ior() local
[all …]
|
| /dports/security/sequoia/sequoia-383133f6be990237044900a4df676488bf8dd71e/cargo-crates/nettle-src-3.5.1-2/nettle/ |
| H A D | mini-gmp.c | 531 mp_limb_t ul, cl, hpl, lpl, rl; in mpn_addmul_1() local
557 mp_limb_t ul, cl, hpl, lpl, rl; in mpn_submul_1() local
1479 #define MPZ_REALLOC(z,n) ((n) > (z)->_mp_alloc \ argument
2547 mp_limb_t rl; in mpz_div_qr_ui() local
3083 mpz_pow_ui (mpz_t r, const mpz_t b, unsigned long e) in mpz_pow_ui()
3218 mpz_t e; in mpz_powm_ui() local
3224 mpz_rootrem (mpz_t x, mpz_t r, const mpz_t y, unsigned long z) in mpz_rootrem()
3284 mpz_root (mpz_t x, const mpz_t y, unsigned long z) in mpz_root()
3646 mp_limb_t ul, vl, rl; in mpz_and() local
3718 mp_limb_t ul, vl, rl; in mpz_ior() local
[all …]
|
| /dports/math/mingw32-libgmp/gmp-6.0.0/mini-gmp/ |
| H A D | mini-gmp.c | 521 mp_limb_t ul, cl, hpl, lpl, rl; in mpn_addmul_1() local
547 mp_limb_t ul, cl, hpl, lpl, rl; in mpn_submul_1() local
1406 #define MPZ_REALLOC(z,n) ((n) > (z)->_mp_alloc \ argument
2517 mp_limb_t rl; in mpz_div_qr_ui() local
3053 mpz_pow_ui (mpz_t r, const mpz_t b, unsigned long e) in mpz_pow_ui()
3190 mpz_t e; in mpz_powm_ui() local
3198 mpz_rootrem (mpz_t x, mpz_t r, const mpz_t y, unsigned long z) in mpz_rootrem()
3262 mpz_root (mpz_t x, const mpz_t y, unsigned long z) in mpz_root()
3624 mp_limb_t ul, vl, rl; in mpz_and() local
3696 mp_limb_t ul, vl, rl; in mpz_ior() local
[all …]
|
| /dports/audio/py-fmoo-audiotools/audiotools-3.0/src/ |
| H A D | mini-gmp.c | 520 mp_limb_t ul, cl, hpl, lpl, rl; in mpn_addmul_1() local
546 mp_limb_t ul, cl, hpl, lpl, rl; in mpn_submul_1() local
1402 #define MPZ_REALLOC(z,n) ((n) > (z)->_mp_alloc \ argument
2506 mp_limb_t rl; in mpz_div_qr_ui() local
3042 mpz_pow_ui (mpz_t r, const mpz_t b, unsigned long e) in mpz_pow_ui()
3177 mpz_t e; in mpz_powm_ui() local
3183 mpz_rootrem (mpz_t x, mpz_t r, const mpz_t y, unsigned long z) in mpz_rootrem()
3247 mpz_root (mpz_t x, const mpz_t y, unsigned long z) in mpz_root()
3609 mp_limb_t ul, vl, rl; in mpz_and() local
3681 mp_limb_t ul, vl, rl; in mpz_ior() local
[all …]
|
| /dports/emulators/fs-uae/fs-uae-3.1.35/src/ |
| H A D | rommgr.cpp | 28 static struct romlist *rl; variable
104 #define ALTROM(id,grp,num,size,flags,crc32,a,b,c,d,e) \ argument
106 #define ALTROMPN(id,grp,num,size,flags,pn,crc32,a,b,c,d,e) \ argument
572 struct romlist *rl = romlist_getrl (rd); in romlist_cleanup() local
1341 struct romlist *rl = romlist_getrl (rd); in read_rom_file() local
1611 TCHAR *n = rl[i].path; in read_rom_name_guess() local
1852 struct zfile *z = NULL; in read_device_from_romconfig() local
1859 struct romlist *rl = getromlistbyromtype(romtype); in read_device_from_romconfig() local
1879 struct zfile *z = read_rom_name (romname); in read_device_rom() local
1881 struct romlist *rl = getromlistbyids(roms, romname); in read_device_rom() local
|
| /dports/lang/rexx-imc/rexx-imc-1.76/ |
| H A D | rxfn.c | 723 int len,l,m,e,z; local
867 int m,e,z,l; local
1087 int n; local
1259 int n; local
1450 int n=0; local
1489 int n; local
1542 int m,e,z,l,n; local
1792 int m,z,e,l; local
1874 int d=0,n,m,e,z,l,i; local
1923 int sl,rl,st=1,opt=0; local
[all …]
|