Searched refs:rescale_var_activities (Results 1 – 4 of 4) sorted by relevance
300 static void rescale_var_activities(var_heap_t *heap, uint32_t n) { in rescale_var_activities() function321 rescale_var_activities(heap, nvars); in incr_bvar_activity()
667 static void rescale_var_activities(var_heap_t *heap) { in rescale_var_activities() function687 rescale_var_activities(heap); in increase_var_activity()
783 static void rescale_var_activities(var_heap_t *heap, uint32_t n) { in rescale_var_activities() function2279 rescale_var_activities(heap, s->nvars); in increase_bvar_activity()
2141 static void rescale_var_activities(nvar_heap_t *heap) {2160 rescale_var_activities(heap);