Searched refs:_o_yices_get_algebraic_number_value (Results 1 – 2 of 2) sorted by relevance
622 extern int32_t _o_yices_get_algebraic_number_value(model_t *mdl, term_t t, lp_algebraic_number_t *a…
10104 MT_PROTECT(int32_t, __yices_globals.lock, _o_yices_get_algebraic_number_value(mdl, t, a)); in yices_get_algebraic_number_value()10107 int32_t _o_yices_get_algebraic_number_value(model_t *mdl, term_t t, lp_algebraic_number_t *a) { in _o_yices_get_algebraic_number_value() function