Searched refs:ABC_PRB (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/bbr/ |
| H A D | bbrImage.c | 99 #ifndef ABC_PRB
100 #define ABC_PRB(dd,f) printf("%s = ", #f); Bbr_bddPrint(dd,f); printf("\n") macro
268 ABC_PRB( dd, pTree->bCareSupp ); in Bbr_bddImageCompute()
270 ABC_PRB( dd, bSupp ); in Bbr_bddImageCompute()
1156 ABC_PRB( pNode->dd, Cube ); in Bbr_bddImagePrintTree_rec()
1166 ABC_PRB( pNode->dd, Cube ); in Bbr_bddImagePrintTree_rec()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/ |
| H A D | extraBddImage.c | 235 ABC_PRB( dd, pTree->bCareSupp ); in Extra_bddImageCompute()
237 ABC_PRB( dd, bSupp ); in Extra_bddImageCompute()
1019 ABC_PRB( pNode->dd, Cube ); in Extra_bddImagePrintTree_rec()
1029 ABC_PRB( pNode->dd, Cube ); in Extra_bddImagePrintTree_rec()
|
| H A D | extraBdd.h | 205 #ifndef ABC_PRB
206 #define ABC_PRB(dd,f) printf("%s = ", #f); Extra_bddPrint(dd,f); printf("\n") macro
|