Searched refs:q_get32 (Results 1 – 8 of 8) sorted by relevance
| /dports/math/yices/yices-2.6.2/tests/unit/ |
| H A D | test_rational_conversions.c | 110 if (q_get32(r1, &a)) { in convert32_test()
|
| /dports/math/yices/yices-2.6.2/src/solvers/floyd_warshall/ |
| H A D | idl_floyd_warshall.c | 1988 if (! q_get32(&d->constant, &c)) { in idl_eq_from_triple()
2035 if (! q_get32(&d->constant, &c)) { in idl_ge_from_triple()
2070 if (! q_get32(&d->constant, &c)) { in idl_assert_triple_eq()
2117 if (! q_get32(&d->constant, &c)) { in idl_assert_triple_ge()
2174 if (! q_get32(q, &c)) { in idl_create_const()
2427 if (! q_get32(&triple->constant, &d)) { in idl_assert_cond_vareq_axiom()
2481 if (! q_get32(&triple->constant, &d)) { in idl_assert_clause_vareq_axiom()
|
| /dports/math/yices/yices-2.6.2/src/mcsat/uf/ |
| H A D | uf_plugin.c | 395 bool ok = q_get32((rational_t*)&v->q, &v_int); in uf_plugin_decide()
407 bool ok = q_get32((rational_t*)&x_cached_value->q, &picked_value); in uf_plugin_decide()
|
| /dports/math/yices/yices-2.6.2/src/terms/ |
| H A D | rationals.h | 517 extern bool q_get32(rational_t *r, int32_t *v);
|
| H A D | rationals.c | 1789 bool q_get32(rational_t *r, int32_t *v) { in q_get32() function
|
| /dports/math/yices/yices-2.6.2/src/mcsat/ |
| H A D | value.c | 329 bool ok = q_get32((rational_t *)&mcsat_value->q, &id); in mcsat_value_to_value()
|
| /dports/math/yices/yices-2.6.2/src/api/ |
| H A D | yices_api.c | 9962 if (! q_get32(aux.val.q, val)) { in _o_yices_get_int32_value()
10598 if (! q_get32(q, val)) { in _o_yices_val_get_int32()
|
| /dports/math/yices/yices-2.6.2/src/parser_utils/ |
| H A D | term_stack2.c | 1472 if (q_get32(&e->val.rational, &v)) { in get_integer()
|