Searched refs:_o_yices_val_get_rational64 (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 | 662 extern int32_t _o_yices_val_get_rational64(model_t *mdl, const yval_t *v, int64_t *num, uint64_t *d…
|
| H A D | yices_api.c | 10647 MT_PROTECT(int32_t, __yices_globals.lock, _o_yices_val_get_rational64(mdl, v, num, den)); in yices_val_get_rational64()
10650 int32_t _o_yices_val_get_rational64(model_t *mdl, const yval_t *v, int64_t *num, uint64_t *den) { in _o_yices_val_get_rational64() function
|