Home
last modified time | relevance | path

Searched refs:_o_yices_abs (Results 1 – 3 of 3) sorted by relevance

/dports/math/yices/yices-2.6.2/src/api/
H A Dyices_api_lock_free.h170 extern term_t _o_yices_abs(term_t t);
H A Dyices_api.c3953 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
/dports/math/yices/yices-2.6.2/src/parser_utils/
H A Dterm_stack2.c5272 t = _o_yices_abs(t); in eval_mk_abs()