Searched refs:idl_value_in_model (Results 1 – 2 of 2) sorted by relevance
766 extern bool idl_value_in_model(idl_solver_t *solver, thvar_t v, rational_t *q);
2673 bool idl_value_in_model(idl_solver_t *solver, thvar_t x, rational_t *v) { in idl_value_in_model() function2767 (arith_val_in_model_fun_t) idl_value_in_model,