Searched defs:nIdMax (Results 1 – 5 of 5) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcBmc.c | 91 int i, f, nIdMax, Prev2, Prev3; in Abc_NtkBmcReport() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyMan.c | 177 int i, f, nPis, nPos, nIdMax; in Ivy_ManFrames() local
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
| H A D | aigRepr.c | 60 void Aig_ManReprStart( Aig_Man_t * p, int nIdMax ) in Aig_ManReprStart()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigRepr.c | 45 void Aig_ManReprStart( Aig_Man_t * p, int nIdMax ) in Aig_ManReprStart()
|
| H A D | aigPart.c | 1260 int i, k, m, nIdMax; in Aig_ManChoicePartitioned() local
|