Searched refs:DD_DYN_RATIO (Results 1 – 12 of 12) sorted by relevance
152 #define DD_DYN_RATIO 2 /* when to dynamically reorder */ macro
264 nextDyn = table->keysZ * DD_DYN_RATIO; in Cudd_zddReduceHeap()
299 DD_DYN_RATIO + table->constants.keys; in Cudd_ReduceHeap()
119 #define DD_DYN_RATIO 2 /* when to dynamically reorder */ macro
219 nextDyn = table->keysZ * DD_DYN_RATIO; in Cudd_zddReduceHeap()
251 DD_DYN_RATIO + table->constants.keys; in Cudd_ReduceHeap()
175 #define DD_DYN_RATIO 2 /* when to dynamically reorder */ macro
260 nextDyn = table->keysZ * DD_DYN_RATIO; in Cudd_zddReduceHeap()
295 DD_DYN_RATIO + table->constants.keys; in Cudd_ReduceHeap()