Searched refs:Abc_CountZddCubes (Results 1 – 4 of 4) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaClp.c | 37 extern int Abc_CountZddCubes( DdManager * dd, DdNode * zCover );
104 nCubes0 = Abc_CountZddCubes( dd, zCover0 ); in Gia_ManRebuildIsop()
111 nCubes1 = Abc_CountZddCubes( dd, zCover1 ); in Gia_ManRebuildIsop()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abcFunc.c | 44 extern int Abc_CountZddCubes( DdManager * dd, DdNode * zCover );
244 nCubes0 = Abc_CountZddCubes( dd, zCover0 ); in Abc_ConvertBddToSop()
251 nCubes1 = Abc_CountZddCubes( dd, zCover1 ); in Abc_ConvertBddToSop()
284 nCubes = Abc_CountZddCubes( dd, zCover ); in Abc_ConvertBddToSop()
302 nCubes = Abc_CountZddCubes( dd, zCover ); in Abc_ConvertBddToSop()
623 int Abc_CountZddCubes( DdManager * dd, DdNode * zCover ) in Abc_CountZddCubes() function
|
| H A D | abcUtil.c | 306 extern int Abc_CountZddCubes( DdManager * dd, DdNode * zCover ); in Abc_NtkGetClauseNum()
320 nClauses += Abc_CountZddCubes( dd, zCover ); in Abc_NtkGetClauseNum()
327 nClauses += Abc_CountZddCubes( dd, zCover ); in Abc_NtkGetClauseNum()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
| H A D | ioWritePla.c | 263 extern int Abc_CountZddCubes( DdManager * dd, DdNode * zCover ); in Io_WriteMoPlaOneInt()
271 nCubes0 = Abc_CountZddCubes( dd, zCover0 ); in Io_WriteMoPlaOneInt()
278 nCubes1 = Abc_CountZddCubes( dd, zCover1 ); in Io_WriteMoPlaOneInt()
|