Searched refs:nNodesDsd (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcDsd.c | 174 int i, nNodesDsd; in Abc_NtkDsdConstruct() local
186 ppNodesDsd = Dsd_TreeCollectNodesDfs( pManDsd, &nNodesDsd ); in Abc_NtkDsdConstruct()
187 for ( i = 0; i < nNodesDsd; i++ ) in Abc_NtkDsdConstruct()
405 int i, nNodesDsd, iVar, fCompl; in Abc_NodeDecompDsdAndMux() local
424 ppNodesDsd = Dsd_TreeCollectNodesDfsOne( pManDsd, pNodeDsd, &nNodesDsd ); in Abc_NodeDecompDsdAndMux()
425 for ( i = 0; i < nNodesDsd; i++ ) in Abc_NodeDecompDsdAndMux()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaClp.c | 216 int i, nNodesDsd, iLit = -1; in Gia_ManRebuild() local
238 ppNodesDsd = Dsd_TreeCollectNodesDfs( pManDsd, &nNodesDsd ); in Gia_ManRebuild()
239 for ( i = 0; i < nNodesDsd; i++ ) in Gia_ManRebuild()
|