Searched defs:nCiVars (Results 1 – 1 of 1) sorted by relevance
603 int nCiVars = Gia_ManCiNum(p), iCiVarBeg = pCnf->nVars - nCiVars;// - 1; in Bmc_FxCompute() local678 int nCiVars = Gia_ManCiNum(p); // PI count in Bmc_FxComputeOne() local