Searched refs:set_bvar_activity (Results 1 – 2 of 2) sorted by relevance
1463 extern void set_bvar_activity(smt_core_t *s, bvar_t x, double a);
1996 void set_bvar_activity(smt_core_t *s, bvar_t x, double a) { in set_bvar_activity() function