Searched defs:pFunc0 (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/bdc/ |
| H A D | bdcDec.c | 123 …Man_t * p, Bdc_Isf_t * pIsf, Bdc_Isf_t * pIsfL, Bdc_Isf_t * pIsfR, Bdc_Fun_t * pFunc0, Bdc_Type_t … in Bdc_DecomposeUpdateRight()
621 Bdc_Fun_t * Bdc_ManCreateGate( Bdc_Man_t * p, Bdc_Fun_t * pFunc0, Bdc_Fun_t * pFunc1, Bdc_Type_t Ty… in Bdc_ManCreateGate()
680 Bdc_Fun_t * pFunc, * pFunc0, * pFunc1; in Bdc_ManDecompose_rec() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifDec16.c | 1554 If_Grp_t * pR, word * pFunc0, word * pFunc1, word * pLeftOver, int fHashing ) in If_CluCheck()
1910 If_Grp_t * pR, If_Grp_t * pG2, word * pFunc0, word * pFunc1, word * pFunc2 ) in If_CluCheck3()
2067 char * pLut0, char * pLut1, word * pFunc0, word * pFunc1 ) in If_CluCheckExt()
2080 … char * pLut0, char * pLut1, char * pLut2, word * pFunc0, word * pFunc1, word * pFunc2 ) in If_CluCheckExt3()
|