Searched refs:If_DsdManPushInv (Results 1 – 1 of 1) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
H A D | ifDsd.c | 1496 int If_DsdManPushInv( If_DsdMan_t * p, int iLit, unsigned char * pPerm ) in If_DsdManPushInv() function 1556 … pChildren[nChildren] = Abc_LitNotCond( pLits[k], If_DsdManPushInv(p, pLits[k], pPermStart) ); in If_DsdManOperation() 1578 pLits[k] = Abc_LitNotCond( pLits[k], If_DsdManPushInv(p, pLits[k], pPermStart) ); in If_DsdManOperation() 1608 … pChildren[nChildren++] = Abc_LitNotCond( pLits[k], If_DsdManPushInv(p, pLits[k], pPermStart) ); in If_DsdManOperation() 1624 … pChildren[nChildren++] = Abc_LitNotCond( iLitNew, If_DsdManPushInv(p, iLitNew, pPermStart) ); in If_DsdManOperation()
|