Searched refs:yices_bvdiv (Results 1 – 5 of 5) sorted by relevance
539 res = yicespy.yices_bvdiv(args[0], args[1])
750 { "bvdiv", yices_bvdiv },
818 return yices_bvdiv(a, b); in random_bvdiv()
1546 __YICES_DLLSPEC__ extern term_t yices_bvdiv(term_t t1, term_t t2); // unsigned div
5896 EXPORTED term_t yices_bvdiv(term_t t1, term_t t2) { in yices_bvdiv() function