Lines Matching refs:vFanins
240 Vec_Ptr_t * vFrontier, * vFanins; in Fra_CnfNodeAddToSolver() local
259 vFanins = Vec_PtrAlloc( 4 ); in Fra_CnfNodeAddToSolver()
260 Vec_PtrPushUnique( vFanins, Aig_ObjFanin0( Aig_ObjFanin0(pNode) ) ); in Fra_CnfNodeAddToSolver()
261 Vec_PtrPushUnique( vFanins, Aig_ObjFanin0( Aig_ObjFanin1(pNode) ) ); in Fra_CnfNodeAddToSolver()
262 Vec_PtrPushUnique( vFanins, Aig_ObjFanin1( Aig_ObjFanin0(pNode) ) ); in Fra_CnfNodeAddToSolver()
263 Vec_PtrPushUnique( vFanins, Aig_ObjFanin1( Aig_ObjFanin1(pNode) ) ); in Fra_CnfNodeAddToSolver()
264 Vec_PtrForEachEntry( Aig_Obj_t *, vFanins, pFanin, k ) in Fra_CnfNodeAddToSolver()
270 vFanins = Fra_CollectSuper( pNode, fUseMuxes ); in Fra_CnfNodeAddToSolver()
271 Vec_PtrForEachEntry( Aig_Obj_t *, vFanins, pFanin, k ) in Fra_CnfNodeAddToSolver()
273 Fra_AddClausesSuper( p, pNode, vFanins ); in Fra_CnfNodeAddToSolver()
275 assert( Vec_PtrSize(vFanins) > 1 ); in Fra_CnfNodeAddToSolver()
276 Fra_ObjSetFaninVec( pNode, vFanins ); in Fra_CnfNodeAddToSolver()