Searched refs:bvconst_mul (Results 1 – 5 of 5) sorted by relevance
/dports/math/yices/yices-2.6.2/src/terms/ |
H A D | bv_constants.c | 1415 void bvconst_mul(uint32_t *bv, uint32_t k, uint32_t *a) { in bvconst_mul() function 1437 bvconst_mul(bv, k, a); in bvconst_mulpower() 1443 bvconst_mul(bv, k, tmp); in bvconst_mulpower() 1452 bvconst_mul(bv, k, tmp); in bvconst_mulpower()
|
H A D | bvarith_buffer_terms.c | 270 bvconst_mul(c.data, b->width, a); in bvarith_buffer_add_const_times_term()
|
H A D | bv_constants.h | 394 extern void bvconst_mul(uint32_t *bv, uint32_t k, uint32_t *a);
|
H A D | bvarith_buffers.c | 447 bvconst_mul(p->coeff, k, a); in bvarith_buffer_mul_const() 515 bvconst_mul(p->coeff, k, a); in bvarith_buffer_mul_mono()
|
/dports/math/yices/yices-2.6.2/tests/unit/ |
H A D | test_bvconst.c | 548 bvconst_mul(c, 4, b); in main() 598 bvconst_mul(e, 4, a); in main()
|