Home
last modified time | relevance | path

Searched defs:iBaseSatVarI (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcMaj2.c421 int iBaseSatVarI = p->iVar + 4*(i - p->nVars - 2); in Maj_ManAddCnf() local
809 int iBaseSatVarI = p->iVar + 3*(i - p->nVars); in Exa_ManAddCnf() local
1267 int iBaseSatVarI = p->iVar + (p->nLutSize+1)*(i - p->nVars); in Exa3_ManAddCnf() local
H A DbmcMaj.c325 int iBaseSatVarI = p->iVar + 4*(i - p->nVars - 2); in Maj_ManAddCnf() local
758 int iBaseSatVarI = p->iVar + 3*(i - p->nVars); in Exa_ManAddCnf() local
1200 int iBaseSatVarI = p->iVar + (p->nLutSize+1)*(i - p->nVars); in Exa3_ManAddCnf() local