Searched refs:nResLitsAlloc (Results 1 – 4 of 4) sorted by relevance
70 int nResLitsAlloc;// the number of literals of the resolvent member103 p->nResLitsAlloc = (1<<16); in Intp_ManAlloc()104 p->pResLits = ABC_ALLOC( lit, p->nResLitsAlloc ); in Intp_ManAlloc()483 assert( (int)pConflict->nLits <= p->nResLitsAlloc ); in Intp_ManProofTraceOne()573 if ( p->nResLits == p->nResLitsAlloc ) in Intp_ManProofTraceOne()
72 int nResLitsAlloc;// the number of literals of the resolvent member114 p->nResLitsAlloc = (1<<16); in Int_ManAlloc()115 p->pResLits = ABC_ALLOC( lit, p->nResLitsAlloc ); in Int_ManAlloc()599 assert( (int)pConflict->nLits <= p->nResLitsAlloc ); in Int_ManProofTraceOne()679 if ( p->nResLits == p->nResLitsAlloc ) in Int_ManProofTraceOne()
71 int nResLitsAlloc;// the number of literals of the resolvent member117 p->nResLitsAlloc = (1<<16); in Intb_ManAlloc()118 p->pResLits = ABC_ALLOC( lit, p->nResLitsAlloc ); in Intb_ManAlloc()578 assert( (int)pConflict->nLits <= p->nResLitsAlloc ); in Intb_ManProofTraceOne()670 if ( p->nResLits == p->nResLitsAlloc ) in Intb_ManProofTraceOne()
89 int nResLitsAlloc;// the number of literals of the resolvent member154 p->nResLitsAlloc = (1<<16); in Pr_ManAlloc()155 p->pResLits = ABC_ALLOC( lit, p->nResLitsAlloc ); in Pr_ManAlloc()682 assert( (int)pConflict->nLits <= p->nResLitsAlloc ); in Pr_ManProofTraceOne()762 if ( p->nResLits == p->nResLitsAlloc ) in Pr_ManProofTraceOne()