Searched defs:pTtElems (Results 1 – 8 of 8) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
H A D | extraUtilMaj.c | 49 word ** pTtElems; // elementary truth tables member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
H A D | dauDsd.c | 58 static word TtElems[DAU_MAX_VAR+1][DAU_MAX_WORD], * pTtElems[DAU_MAX_VAR+1] = {NULL}; in Dau_DsdTtElems() local 535 void Dau_DsdToTruth_rec( char * pStr, char ** p, int * pMatches, word ** pTtElems, word * pRes, int… in Dau_DsdToTruth_rec() 612 word ** pTtElems = Dau_DsdTtElems(); in Dau_DsdToTruth() local
|
H A D | dauTree.c | 87 word ** pTtElems; // elementary TTs member 403 static word TtElems[DAU_MAX_VAR+1][DAU_MAX_WORD], * pTtElems[DAU_MAX_VAR+1] = {NULL}; in Dss_ManTtElems() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/ |
H A D | utilIsop.c | 457 …static word TtElems[ABC_ISOP_MAX_VAR+1][ABC_ISOP_MAX_WORD], * pTtElems[ABC_ISOP_MAX_VAR+1] = {NULL… in Abc_IsopTtElems() local 469 word ** pTtElems = Abc_IsopTtElems(); in Abc_IsopBuildTruth() local
|
H A D | utilTruth.h | 639 static inline void Abc_TtElemInit( word ** pTtElems, int nVars ) in Abc_TtElemInit() 650 static inline void Abc_TtElemInit2( word * pTtElems, int nVars ) in Abc_TtElemInit2()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
H A D | ifTune.c | 87 word pTtElems[IFN_INS*IFN_WRD]; // elementary truth tables member
|
H A D | ifDsd.c | 90 word ** pTtElems; // elementary TTs member 237 static word TtElems[DAU_MAX_VAR+1][DAU_MAX_WORD], * pTtElems[DAU_MAX_VAR+1] = {NULL}; in If_ManDsdTtElems() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
H A D | sfmDec.c | 91 word * pTtElems[SFM_SUPP_MAX]; member
|