Searched refs:yices_bvpower (Results 1 – 4 of 4) sorted by relevance
165 c = yices_bvpower(b, 5); in init_terms()
180 c = yices_bvpower(b, 5); in init_terms()
1544 __YICES_DLLSPEC__ extern term_t yices_bvpower(term_t t1, uint32_t d); // exponentiation (t1 ^ d)
4835 EXPORTED term_t yices_bvpower(term_t t1, uint32_t d) { in yices_bvpower() function