Lines Matching refs:nVarsAlloc

49     int             nVarsAlloc;   // the allocated size of var arrays  member
212     if ( p->nVarsAlloc < p->pCnf->nVars )  in Int_ManResize()
215         if ( p->nVarsAlloc == 0 )  in Int_ManResize()
216             p->nVarsAlloc = 1;  in Int_ManResize()
217         while ( p->nVarsAlloc < p->pCnf->nVars )   in Int_ManResize()
218             p->nVarsAlloc *= 2;  in Int_ManResize()
220         p->pTrail    = ABC_REALLOC(lit,         p->pTrail,    p->nVarsAlloc );  in Int_ManResize()
221         p->pAssigns  = ABC_REALLOC(lit,         p->pAssigns,  p->nVarsAlloc );  in Int_ManResize()
222         p->pSeens    = ABC_REALLOC(char,        p->pSeens,    p->nVarsAlloc );  in Int_ManResize()
223         p->pVarTypes = ABC_REALLOC(int,         p->pVarTypes, p->nVarsAlloc );  in Int_ManResize()
224         p->pReasons  = ABC_REALLOC(Sto_Cls_t *, p->pReasons,  p->nVarsAlloc );  in Int_ManResize()
225         p->pWatches  = ABC_REALLOC(Sto_Cls_t *, p->pWatches,  p->nVarsAlloc*2 );  in Int_ManResize()