Lines Matching refs:vTargets
58 Vec_Ptr_t * vTargets; // targets to be solved in this interval member
331 p->vTargets = Vec_PtrAlloc( 1000 ); in Saig_BmcManStart()
356 Vec_PtrFree( p->vTargets ); in Saig_BmcManStop()
475 Vec_PtrClear( p->vTargets ); in Saig_BmcInterval()
490 Vec_PtrPush( p->vTargets, pTarget ); in Saig_BmcInterval()
551 Vec_PtrForEachEntry( Aig_Obj_t *, p->vTargets, pObj, i ) in Saig_BmcIntervalToAig()
650 for ( k = Vec_PtrSize(p->vTargets); k > iTargetFail; k-- ) in Saig_BmcDeriveFailed()
721 assert( Vec_PtrSize(p->vTargets) > 0 ); in Saig_BmcSolveTargets()
727 Vec_PtrForEachEntry( Aig_Obj_t *, p->vTargets, pObj, i ) in Saig_BmcSolveTargets()
793 Vec_PtrForEachEntry( Aig_Obj_t *, p->vTargets, pObj, i ) in Saig_BmcAddTargetsAsPos()
850 if ( Vec_PtrSize(p->vTargets) == 0 ) in Saig_BmcPerform()