Lines Matching refs:If_Obj_t
109 If_Obj_t * pIfObj = NULL; in Nwk_ManToIf()
135 If_NotCond( (If_Obj_t *)Aig_ObjFanin0(pNode)->pData, Aig_ObjFaninC0(pNode) ), in Nwk_ManToIf()
136 If_NotCond( (If_Obj_t *)Aig_ObjFanin1(pNode)->pData, Aig_ObjFaninC1(pNode) ) ); in Nwk_ManToIf()
149 …pIfObj = If_ManCreateCo( pIfMan, If_NotCond( (If_Obj_t *)Aig_ObjFanin0(pNode)->pData, Aig_ObjFanin… in Nwk_ManToIf()
166 If_ObjSetChoice( (If_Obj_t *)pPrev->pData, (If_Obj_t *)pFanin->pData ); in Nwk_ManToIf()
167 If_ManCreateChoice( pIfMan, (If_Obj_t *)pNode->pData ); in Nwk_ManToIf()
188 Hop_Obj_t * Nwk_NodeIfToHop2_rec( Hop_Man_t * pHopMan, If_Man_t * pIfMan, If_Obj_t * pIfObj, Vec_Pt… in Nwk_NodeIfToHop2_rec()
191 If_Obj_t * pTemp; in Nwk_NodeIfToHop2_rec()
235 Hop_Obj_t * Nwk_NodeIfToHop( Hop_Man_t * pHopMan, If_Man_t * pIfMan, If_Obj_t * pIfObj ) in Nwk_NodeIfToHop()
239 If_Obj_t * pLeaf; in Nwk_NodeIfToHop()
281 If_Obj_t * pIfObj = NULL; in Nwk_ManFromIf()
293 pIfObj = (If_Obj_t *)Vec_PtrEntry( vAigToIf, i ); in Nwk_ManFromIf()
305 pIfObj = (If_Obj_t *)Vec_PtrEntry( vAigToIf, i ); in Nwk_ManFromIf()