Searched refs:DD_BDD_LEQ_UNLESS_TAG (Results 1 – 8 of 8) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
| H A D | cuddSat.c | 719 tmp = cuddCacheLookup(dd,DD_BDD_LEQ_UNLESS_TAG,f,g,D); in Cudd_bddLeqUnless()
764 cuddCacheInsert(dd,DD_BDD_LEQ_UNLESS_TAG,f,g,D,Cudd_NotCond(One,!res)); in Cudd_bddLeqUnless()
|
| H A D | cuddInt.h | 188 #define DD_BDD_LEQ_UNLESS_TAG 0x82 macro
|
| /dports/math/py-brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddSat.c | 734 tmp = cuddCacheLookup(dd,DD_BDD_LEQ_UNLESS_TAG,f,g,D); in Cudd_bddLeqUnless()
779 cuddCacheInsert(dd,DD_BDD_LEQ_UNLESS_TAG,f,g,D,Cudd_NotCond(One,!res)); in Cudd_bddLeqUnless()
|
| H A D | cuddInt.h | 211 #define DD_BDD_LEQ_UNLESS_TAG 0x82 macro
|
| /dports/math/cudd/cudd-3.0.0/cudd/ |
| H A D | cuddSat.c | 700 tmp = cuddCacheLookup(dd,DD_BDD_LEQ_UNLESS_TAG,f,g,D); in Cudd_bddLeqUnless()
745 cuddCacheInsert(dd,DD_BDD_LEQ_UNLESS_TAG,f,g,D,Cudd_NotCond(One,!res)); in Cudd_bddLeqUnless()
|
| H A D | cuddInt.h | 155 #define DD_BDD_LEQ_UNLESS_TAG 0x82 macro
|
| /dports/math/brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddSat.c | 734 tmp = cuddCacheLookup(dd,DD_BDD_LEQ_UNLESS_TAG,f,g,D); in Cudd_bddLeqUnless()
779 cuddCacheInsert(dd,DD_BDD_LEQ_UNLESS_TAG,f,g,D,Cudd_NotCond(One,!res)); in Cudd_bddLeqUnless()
|
| H A D | cuddInt.h | 211 #define DD_BDD_LEQ_UNLESS_TAG 0x82 macro
|