Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_api11.c165 c = yices_bvpower(b, 5); in init_terms()
H A Dtest_api9.c180 c = yices_bvpower(b, 5); in init_terms()
/dports/math/yices/yices-2.6.2/src/include/
H A Dyices.h1544 __YICES_DLLSPEC__ extern term_t yices_bvpower(term_t t1, uint32_t d); // exponentiation (t1 ^ d)
/dports/math/yices/yices-2.6.2/src/api/
H A Dyices_api.c4835 EXPORTED term_t yices_bvpower(term_t t1, uint32_t d) { in yices_bvpower() function