Searched refs:_o_yices_abs (Results 1 – 3 of 3) sorted by relevance
170 extern term_t _o_yices_abs(term_t t);
3953 MT_PROTECT(term_t, __yices_globals.lock, _o_yices_abs(t)); in yices_abs()3956 term_t _o_yices_abs(term_t t) { in _o_yices_abs() function
5272 t = _o_yices_abs(t); in eval_mk_abs()