Searched refs:DD_ADD_ITE_CONSTANT_TAG (Results 1 – 8 of 8) sorted by relevance
| /dports/math/py-brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddAddIte.c | 200 r = cuddConstantLookup(dd,DD_ADD_ITE_CONSTANT_TAG,f,g,h); in cuddAddScalarInverseRecur()
226 cuddCacheInsert(dd, DD_ADD_ITE_CONSTANT_TAG, f, g, h, DD_NON_CONSTANT); in cuddAddScalarInverseRecur()
231 cuddCacheInsert(dd, DD_ADD_ITE_CONSTANT_TAG, f, g, h, DD_NON_CONSTANT); in cuddAddScalarInverseRecur()
234 cuddCacheInsert(dd, DD_ADD_ITE_CONSTANT_TAG, f, g, h, t); in cuddAddScalarInverseRecur()
|
| H A D | cuddInt.h | 207 #define DD_ADD_ITE_CONSTANT_TAG 0x62 macro
|
| /dports/math/cudd/cudd-3.0.0/cudd/ |
| H A D | cuddAddIte.c | 181 r = cuddConstantLookup(dd,DD_ADD_ITE_CONSTANT_TAG,f,g,h); in Cudd_addIteConstant()
207 cuddCacheInsert(dd, DD_ADD_ITE_CONSTANT_TAG, f, g, h, DD_NON_CONSTANT); in Cudd_addIteConstant()
212 cuddCacheInsert(dd, DD_ADD_ITE_CONSTANT_TAG, f, g, h, DD_NON_CONSTANT); in Cudd_addIteConstant()
215 cuddCacheInsert(dd, DD_ADD_ITE_CONSTANT_TAG, f, g, h, t); in Cudd_addIteConstant()
|
| H A D | cuddInt.h | 151 #define DD_ADD_ITE_CONSTANT_TAG 0x62 macro
|
| /dports/math/brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddAddIte.c | 200 r = cuddConstantLookup(dd,DD_ADD_ITE_CONSTANT_TAG,f,g,h); in Cudd_addIteConstant()
226 cuddCacheInsert(dd, DD_ADD_ITE_CONSTANT_TAG, f, g, h, DD_NON_CONSTANT); in Cudd_addIteConstant()
231 cuddCacheInsert(dd, DD_ADD_ITE_CONSTANT_TAG, f, g, h, DD_NON_CONSTANT); in Cudd_addIteConstant()
234 cuddCacheInsert(dd, DD_ADD_ITE_CONSTANT_TAG, f, g, h, t); in Cudd_addIteConstant()
|
| H A D | cuddInt.h | 207 #define DD_ADD_ITE_CONSTANT_TAG 0x62 macro
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
| H A D | cuddAddIte.c | 204 r = cuddConstantLookup(dd,DD_ADD_ITE_CONSTANT_TAG,f,g,h); in Cudd_addIteConstant()
230 cuddCacheInsert(dd, DD_ADD_ITE_CONSTANT_TAG, f, g, h, DD_NON_CONSTANT); in Cudd_addIteConstant()
235 cuddCacheInsert(dd, DD_ADD_ITE_CONSTANT_TAG, f, g, h, DD_NON_CONSTANT); in Cudd_addIteConstant()
238 cuddCacheInsert(dd, DD_ADD_ITE_CONSTANT_TAG, f, g, h, t); in Cudd_addIteConstant()
|
| H A D | cuddInt.h | 184 #define DD_ADD_ITE_CONSTANT_TAG 0x62 macro
|