Searched defs:zCover (Results 1 – 4 of 4) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
H A D | abcFunc.c | 218 DdNode * bFuncNew, * bCover, * zCover, * zCover0, * zCover1; in Abc_ConvertBddToSop() local 464 void Abc_ConvertZddToSop_rec( DdManager * dd, DdNode * zCover, char * pSop, int nFanins, Vec_Str_t … in Abc_ConvertZddToSop_rec() 501 int Abc_ConvertZddToSop( DdManager * dd, DdNode * zCover, char * pSop, int nFanins, Vec_Str_t * vCu… in Abc_ConvertZddToSop() 594 void Abc_CountZddCubes_rec( DdManager * dd, DdNode * zCover, int * pnCubes ) in Abc_CountZddCubes_rec() 623 int Abc_CountZddCubes( DdManager * dd, DdNode * zCover ) in Abc_CountZddCubes()
|
H A D | abcUtil.c | 308 DdNode * bCover, * zCover, * bFunc; in Abc_NtkGetClauseNum() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaClp.c | 95 DdNode * bCover, * zCover, * zCover0, * zCover1; in Gia_ManRebuildIsop() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
H A D | ioWritePla.c | 213 DdNode * bOnset, * bOffset, * bCube, * bFunc, * bTemp, * zCover; in Io_WriteMoPlaOneInt() local
|