Searched defs:nVertsMax (Results 1 – 4 of 4) sorted by relevance
288 int i, k, nVertsMax, nCands; in Abc_NtkLutMerge() local
46 Nwk_Grf_t * Nwk_ManGraphAlloc( int nVertsMax ) in Nwk_ManGraphAlloc()977 int i, k, nVertsMax, nCands; in Nwk_ManLutMerge() local
85 int nVertsMax; // the upper bound on the number of vertices member