Searched refs:_o_yices_sum_component (Results 1 – 2 of 2) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/api/ |
| H A D | yices_api_lock_free.h | 504 extern int32_t _o_yices_sum_component(term_t t, int32_t i, mpq_t coeff, term_t *term);
|
| H A D | yices_api.c | 7070 MT_PROTECT(int32_t, __yices_globals.lock, _o_yices_sum_component(t, i, coeff, term)); in yices_sum_component()
7073 int32_t _o_yices_sum_component(term_t t, int32_t i, mpq_t coeff, term_t *term) { in _o_yices_sum_component() function
|