Searched refs:bvconst_get_mpz (Results 1 – 4 of 4) sorted by relevance
| /dports/math/yices/yices-2.6.2/tests/unit/ |
| H A D | test_bvconst.c | 561 bvconst_get_mpz(a, 4, z0); in main()
565 bvconst_get_mpz(b, 4, z0); in main()
569 bvconst_get_mpz(e, 4, z0); in main()
579 bvconst_get_mpz(e, 4, z0); in main()
590 bvconst_get_mpz(e, 4, z1); in main()
603 bvconst_get_mpz(a, 4, z0); in main()
610 bvconst_get_mpz(e, 4, z2); in main()
627 bvconst_get_mpz(a, 4, z0); in main()
640 bvconst_get_mpz(a, 4, z1); in main()
666 bvconst_get_mpz(a, 4, z0); in main()
[all …]
|
| H A D | test_bvconst_conversions.c | 41 bvconst_get_mpz(a, k, z); in unsigned_bv2mpz()
57 bvconst_get_mpz(a, k, z); in signed_bv2mpz()
|
| /dports/math/yices/yices-2.6.2/src/terms/ |
| H A D | bv_constants.c | 520 void bvconst_get_mpz(const uint32_t *bv, uint32_t k, mpz_t z) { in bvconst_get_mpz() function
1754 bvconst_get_mpz(a, k, z); in unsigned_bv2mpz()
1770 bvconst_get_mpz(a, k, z); in signed_bv2mpz()
|
| H A D | bv_constants.h | 285 extern void bvconst_get_mpz(const uint32_t *bv, uint32_t k, mpz_t z);
|