Home
last modified time | relevance | path

Searched defs:nVertsMax (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A Dfahout_cut.c288 int i, k, nVertsMax, nCands; in Abc_NtkLutMerge() local
H A DabcMerge.c288 int i, k, nVertsMax, nCands; in Abc_NtkLutMerge() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/
H A DnwkMerge.c46 Nwk_Grf_t * Nwk_ManGraphAlloc( int nVertsMax ) in Nwk_ManGraphAlloc()
977 int i, k, nVertsMax, nCands; in Nwk_ManLutMerge() local
H A DnwkMerge.h85 int nVertsMax; // the upper bound on the number of vertices member