Searched defs:iBaseSatVarI (Results 1 – 2 of 2) sorted by relevance
421 int iBaseSatVarI = p->iVar + 4*(i - p->nVars - 2); in Maj_ManAddCnf() local809 int iBaseSatVarI = p->iVar + 3*(i - p->nVars); in Exa_ManAddCnf() local1267 int iBaseSatVarI = p->iVar + (p->nLutSize+1)*(i - p->nVars); in Exa3_ManAddCnf() local
325 int iBaseSatVarI = p->iVar + 4*(i - p->nVars - 2); in Maj_ManAddCnf() local758 int iBaseSatVarI = p->iVar + 3*(i - p->nVars); in Exa_ManAddCnf() local1200 int iBaseSatVarI = p->iVar + (p->nLutSize+1)*(i - p->nVars); in Exa3_ManAddCnf() local