Home
last modified time | relevance | path

Searched refs:bv_interval_add_u_core (Results 1 – 1 of 1) sorted by relevance

/dports/math/yices/yices-2.6.2/src/solvers/bv/
H A Dbv_intervals.c353 static void bv_interval_add_u_core(bv_interval_t *a, uint32_t *l, uint32_t *u, uint32_t n) { in bv_interval_add_u_core() function
531 bv_interval_add_u_core(a, b->low, b->high, b->nbits); in bv_interval_add_u()
573 bv_interval_add_u_core(a, b_low, b_high, n); in bv_interval_addmul_u()