Searched refs:If_DsdVecObjSuppSize (Results 1 – 1 of 1) sorted by relevance
130 static inline int If_DsdVecObjSuppSize( Vec_Ptr_t * p, int iObj ) { return If_… in If_DsdVecObjSuppSize() function131 …_DsdVecLitSuppSize( Vec_Ptr_t * p, int iLit ) { return If_DsdVecObjSuppSize( p, Abc_Lit… in If_DsdVecLitSuppSize()513 fprintf( pFile, "%2d ", If_DsdVecObjSuppSize(&p->vObjs, iObjId) ); in If_DsdManPrintOne()519 assert( nSupp == If_DsdVecObjSuppSize(&p->vObjs, iObjId) ); in If_DsdManPrintOne()