Searched refs:iDivOld (Results 1 – 1 of 1) sorted by relevance
1207 int j = 0, iDivOld; in Acb_DerivePatchSupport() local1212 Vec_IntForEachEntry( vSuppOld, iDivOld, j ) in Acb_DerivePatchSupport()1214 int iVar0 = iCoVarBeg+1+iDivOld; in Acb_DerivePatchSupport()1215 int iVar1 = iCoVarBeg+1+iDivOld+pCnf->nVars; in Acb_DerivePatchSupport()