Home
last modified time | relevance | path

Searched refs:_o_yices_get_scalar_value (Results 1 – 2 of 2) sorted by relevance

/dports/math/yices/yices-2.6.2/src/api/
H A Dyices_api_lock_free.h626 extern int32_t _o_yices_get_scalar_value(model_t *mdl, term_t t, int32_t *val);
H A Dyices_api.c10195 MT_PROTECT(int32_t, __yices_globals.lock, _o_yices_get_scalar_value(mdl, t, val)); in yices_get_scalar_value()
10198 int32_t _o_yices_get_scalar_value(model_t *mdl, term_t t, int32_t *val) { in _o_yices_get_scalar_value() function