/**Function************************************************************* Synopsis [Shifts all cut leaves of the node by the given number of latches.] Description [] SideEffects [] SeeAlso [] ***********************************************************************/ static inline void Cut_NodeShiftCutLeaves( Cut_Cut_t * pList, int nLat ) { Cut_Cut_t * pTemp; int i; // shift the cuts by as many latches Cut_ListForEachCut( pList, pTemp ) { pTemp->uSign = 0; for ( i = 0; i < (int)pTemp->nLeaves; i++ ) { pTemp->pLeaves[i] += nLat; pTemp->uSign |= Cut_NodeSign( pTemp->pLeaves[i] ); } }
ABC_NAMESPACE_IMPL_START //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* Synopsis [Shifts all cut leaves of the node by the given number of latches.] Description [] SideEffects [] SeeAlso [] ***********************************************************************/ static inline void Cut_NodeShiftCutLeaves( Cut_Cut_t * pList, int nLat ) { Cut_Cut_t * pTemp; int i; // shift the cuts by as many latches Cut_ListForEachCut( pList, pTemp ) { pTemp->uSign = 0; for ( i = 0; i < (int)pTemp->nLeaves; i++ ) { pTemp->pLeaves[i] += nLat; pTemp->uSign |= Cut_NodeSign( pTemp->pLeaves[i] ); } }