Searched defs:nSaved (Results 1 – 8 of 8) sorted by relevance
388 int nSaved, nCur; in Aig_ManReduceLaches() local
459 int nSaved, nCur; in Aig_ManReduceLaches() local
221 short nSaved = RET_YES; in saveModified() local
254 short nSaved = RET_YES; in saveModified() local
681 INT32 nSaved = 0; in SaveFavorites() local
700 INT32 nSaved = 0; in SaveFavorites() local
767 int nSaved = 0, nRecords = 0, nUndec = 0, nClassRefs = 0, nTsat = 0, nMiniSat = 0; in Gia_ComputeEquivalencesLevel() local
549 int nSaved; /* actual allocated size of names and seqs */ member2932 int nSaved = 0; in FastNJ() local3656 int nSaved = 100; in ReadAlignment() local