Searched refs:Saig_ManSimulateFrames (Results 1 – 1 of 1) sorted by relevance
172 void Saig_ManSimulateFrames( Saig_SimObj_t * pAig, int nFrames, int nPref ) in Saig_ManSimulateFrames() function294 Saig_ManSimulateFrames( pAig, nFramesReal, nPref ); in Saig_ManComputeSwitchProb4s()