Searched refs:get_value_fun_t (Results 1 – 1 of 1) sorted by relevance
68 typedef bval_t (*get_value_fun_t)(void *solver, bvar_t x); typedef88 get_value_fun_t get_value;