Home
last modified time | relevance | path

Searched refs:DD_DYN_RATIO (Results 1 – 12 of 12) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/
H A DcuddInt.h152 #define DD_DYN_RATIO 2 /* when to dynamically reorder */ macro
H A DcuddZddReord.c264 nextDyn = table->keysZ * DD_DYN_RATIO; in Cudd_zddReduceHeap()
H A DcuddReorder.c299 DD_DYN_RATIO + table->constants.keys; in Cudd_ReduceHeap()
/dports/math/cudd/cudd-3.0.0/cudd/
H A DcuddInt.h119 #define DD_DYN_RATIO 2 /* when to dynamically reorder */ macro
H A DcuddZddReord.c219 nextDyn = table->keysZ * DD_DYN_RATIO; in Cudd_zddReduceHeap()
H A DcuddReorder.c251 DD_DYN_RATIO + table->constants.keys; in Cudd_ReduceHeap()
/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A DcuddInt.h175 #define DD_DYN_RATIO 2 /* when to dynamically reorder */ macro
H A DcuddZddReord.c260 nextDyn = table->keysZ * DD_DYN_RATIO; in Cudd_zddReduceHeap()
H A DcuddReorder.c295 DD_DYN_RATIO + table->constants.keys; in Cudd_ReduceHeap()
/dports/math/brial/BRiAl-1.2.10/cudd/
H A DcuddZddReord.c260 nextDyn = table->keysZ * DD_DYN_RATIO; in Cudd_zddReduceHeap()
H A DcuddInt.h175 #define DD_DYN_RATIO 2 /* when to dynamically reorder */ macro
H A DcuddReorder.c295 DD_DYN_RATIO + table->constants.keys; in Cudd_ReduceHeap()