Searched refs:If_ManCreateAnd (Results 1 – 6 of 6) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifMan.c | 382 If_Obj_t * If_ManCreateAnd( If_Man_t * p, If_Obj_t * pFan0, If_Obj_t * pFan1 ) in If_ManCreateAnd() function
423 pRes1 = If_ManCreateAnd( p, If_Not(pFan0), pFan1 ); in If_ManCreateXor()
424 pRes2 = If_ManCreateAnd( p, pFan0, If_Not(pFan1) ); in If_ManCreateXor()
425 return If_Not( If_ManCreateAnd( p, If_Not(pRes1), If_Not(pRes2) ) ); in If_ManCreateXor()
442 pRes1 = If_ManCreateAnd( p, pFan0, If_Not(pCtrl) ); in If_ManCreateMux()
443 pRes2 = If_ManCreateAnd( p, pFan1, pCtrl ); in If_ManCreateMux()
444 return If_Not( If_ManCreateAnd( p, If_Not(pRes1), If_Not(pRes2) ) ); in If_ManCreateMux()
|
| H A D | if.h | 623 extern If_Obj_t * If_ManCreateAnd( If_Man_t * p, If_Obj_t * pFan0, If_Obj_t * pFan1 );
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/ |
| H A D | lpkMap.c | 61 pNode->pFunc = If_ManCreateAnd( pIfMan, in Lpk_MapPrimeInternal()
141 pObjNew = If_ManCreateAnd( p->pIfMan, pFansNew[0], pFansNew[1] ); in Lpk_MapTree_rec()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
| H A D | nwkMap.c | 134 pIfObj = If_ManCreateAnd( pIfMan, in Nwk_ManToIf()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcIf.c | 245 pNode->pCopy = (Abc_Obj_t *)If_ManCreateAnd( pIfMan, in Abc_NtkToIf()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaIf.c | 797 …pIfObj = If_ManCreateAnd( pIfMan, If_ManFanin0Copy(pIfMan, pObj), If_ManFanin1Copy(pIfMan, pObj) ); in Gia_ManToIf()
|