Searched refs:nRecycle (Results 1 – 5 of 5) sorted by relevance
44 int nRecycle; // limit on vars for recycling member
84 if ( Vec_IntEntry(p->vActVars, k) < p->pPars->nRecycle ) in Pdr_ManFetchSolver()
54 pPars->nRecycle = 300; // limit on vars for recycling in Pdr_ManSetDefaultParams()1406 pPars->nRecycle, in Pdr_ManSolve()
807 pPars->nRecycle, in IPdr_ManSolve()
28468 pPars->nRecycle = atoi(argv[globalUtilOptind]); in Abc_CommandPdr()28470 if ( pPars->nRecycle < 0 ) in Abc_CommandPdr()28690 … : limit on unused vars to trigger SAT solver recycling [default = %d]\n", pPars->nRecycle ); in Abc_CommandPdr()