Searched refs:nFramesJump (Results 1 – 3 of 3) sorted by relevance
95 int nFramesJump; // the number of tiemframes to jump member
1341 p->nFramesJump = 0; // the number of tiemframes to jump in Saig_ParBmcSetDefaultParams()1532 if ( !pPars->nFramesJump && Aig_ManRegNum(pAig) < 30 && f == (1 << Aig_ManRegNum(pAig)) ) in Saig_ManBmcScalable()1819 if ( pPars->nFramesJump ) in Saig_ManBmcScalable()1822 nJumpFrame = f + pPars->nFramesJump; in Saig_ManBmcScalable()1866 pPars->iFrame = nJumpFrame - pPars->nFramesJump; in Saig_ManBmcScalable()
26584 pPars->nFramesJump = atoi(argv[globalUtilOptind]); in Abc_CommandBmc3()26586 if ( pPars->nFramesJump < 0 ) in Abc_CommandBmc3()26752 …\t-J num : the number of timeframes to jump (0 = not used) [default = %d]\n", pPars->nFramesJump ); in Abc_CommandBmc3()