Searched refs:yices_idiv (Results 1 – 4 of 4) sorted by relevance
418 { "div", yices_idiv },
1183 __YICES_DLLSPEC__ extern term_t yices_idiv(term_t t1, term_t t2);
672 t1 = yices_idiv(t1, t2); in eval_smt2_div()
3883 EXPORTED term_t yices_idiv(term_t t1, term_t t2) { in yices_idiv() function