Home
last modified time | relevance | path

Searched refs:DD_COLOR (Results 1 – 4 of 4) sorted by relevance

/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A DcuddTable.c137 #define DD_COLOR(p) ((p)->index) macro
2929 DD_COLOR(node) = DD_RED; in cuddOrderedInsert()
3098 DD_COLOR(parent) = DD_BLACK; in cuddDoRebalance()
3099 DD_COLOR(y) = DD_BLACK; in cuddDoRebalance()
3100 DD_COLOR(grandpa) = DD_RED; in cuddDoRebalance()
3106 DD_COLOR(x) = DD_BLACK; in cuddDoRebalance()
3110 DD_COLOR(grandpa) = DD_RED; in cuddDoRebalance()
3118 DD_COLOR(y) = DD_BLACK; in cuddDoRebalance()
3119 DD_COLOR(grandpa) = DD_RED; in cuddDoRebalance()
3125 DD_COLOR(x) = DD_BLACK; in cuddDoRebalance()
[all …]
/dports/math/cudd/cudd-3.0.0/cudd/
H A DcuddTable.c95 #define DD_COLOR(p) ((p)->index) macro
2922 DD_COLOR(node) = DD_RED; in cuddOrderedInsert()
3076 DD_COLOR(parent) = DD_BLACK; in cuddDoRebalance()
3077 DD_COLOR(y) = DD_BLACK; in cuddDoRebalance()
3078 DD_COLOR(grandpa) = DD_RED; in cuddDoRebalance()
3084 DD_COLOR(x) = DD_BLACK; in cuddDoRebalance()
3088 DD_COLOR(grandpa) = DD_RED; in cuddDoRebalance()
3096 DD_COLOR(y) = DD_BLACK; in cuddDoRebalance()
3097 DD_COLOR(grandpa) = DD_RED; in cuddDoRebalance()
3103 DD_COLOR(x) = DD_BLACK; in cuddDoRebalance()
[all …]
/dports/math/brial/BRiAl-1.2.10/cudd/
H A DcuddTable.c137 #define DD_COLOR(p) ((p)->index) macro
2929 DD_COLOR(node) = DD_RED; in cuddOrderedInsert()
3098 DD_COLOR(parent) = DD_BLACK; in cuddDoRebalance()
3099 DD_COLOR(y) = DD_BLACK; in cuddDoRebalance()
3100 DD_COLOR(grandpa) = DD_RED; in cuddDoRebalance()
3106 DD_COLOR(x) = DD_BLACK; in cuddDoRebalance()
3110 DD_COLOR(grandpa) = DD_RED; in cuddDoRebalance()
3118 DD_COLOR(y) = DD_BLACK; in cuddDoRebalance()
3119 DD_COLOR(grandpa) = DD_RED; in cuddDoRebalance()
3125 DD_COLOR(x) = DD_BLACK; in cuddDoRebalance()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/
H A DcuddTable.c137 #define DD_COLOR(p) ((p)->index) macro
2854 DD_COLOR(node) = DD_RED; in cuddOrderedInsert()
3024 DD_COLOR(y) = DD_BLACK; in cuddDoRebalance()
3025 DD_COLOR(grandpa) = DD_RED; in cuddDoRebalance()
3031 DD_COLOR(x) = DD_BLACK; in cuddDoRebalance()
3035 DD_COLOR(grandpa) = DD_RED; in cuddDoRebalance()
3043 DD_COLOR(y) = DD_BLACK; in cuddDoRebalance()
3044 DD_COLOR(grandpa) = DD_RED; in cuddDoRebalance()
3050 DD_COLOR(x) = DD_BLACK; in cuddDoRebalance()
3054 DD_COLOR(grandpa) = DD_RED; in cuddDoRebalance()
[all …]