Searched refs:inv_act_decay (Results 1 – 13 of 13) sorted by relevance
75 heap->inv_act_decay = 1/VAR_DECAY_FACTOR; in init_heap()391 heap.act_increment *= heap.inv_act_decay; in main()407 heap.act_increment *= heap.inv_act_decay; in main()431 heap.act_increment *= heap.inv_act_decay; in main()457 heap.act_increment *= heap.inv_act_decay; in main()471 heap.act_increment *= heap.inv_act_decay; in main()492 heap.act_increment *= heap.inv_act_decay; in main()
351 fprintf(f, "inverse var decay : %g\n\n", sol->heap.inv_act_decay);
104 float inv_act_decay; member275 table->act_increment *= table->inv_act_decay; in prop_table_decay_activities()
96 table->inv_act_decay = 1/PROPTABLE_DECAY_FACTOR; in init_prop_table()
61 double inv_act_decay; member
55 queue->inv_act_decay = 1/VAR_DECAY_FACTOR; in var_queue_construct()279 queue->act_increment *= queue->inv_act_decay; in var_queue_decay_activities()
397 double inv_act_decay; member1274 return 1/s->heap.inv_act_decay; in var_decay_factor()
409 double inv_act_decay; member
499 double inv_act_decay; member
518 heap->inv_act_decay = 1/VAR_DECAY_FACTOR; in init_heap()568 heap->inv_act_decay = 1/VAR_DECAY_FACTOR; in reset_heap()1795 s->heap.inv_act_decay = 1/factor; in set_var_decay_factor()5946 s->heap.act_increment *= s->heap.inv_act_decay; in smt_core_process()
483 heap->inv_act_decay = 1/VAR_DECAY_FACTOR; in init_heap()702 heap->act_increment *= heap->inv_act_decay; in decay_var_activities()
1927 heap->inv_act_decay = 1/VAR_DECAY_FACTOR;2185 heap->act_increment *= heap->inv_act_decay;
499 fprintf(f, "inverse var decay : %g\n\n", sol->heap.inv_act_decay); in print_solver_size()