- b -

• Bal_Cut_t : giaBalLut.c
• Bal_Man_t : giaBalLut.c
• Bar_Progress_t : bar.h
• Bbl_Ent_t : bblif.c
• Bbl_Fnc_t : bblif.c
• Bbl_Man_t : bblif.h
• Bbl_Obj_t : bblif.h
• Bbr_ImageNode_t : bbrImage.c
• Bbr_ImagePart_t : bbrImage.c
• Bbr_ImageTree2_t : bbr.h
• Bbr_ImageTree_t : bbr.h
• Bbr_ImageVar_t : bbrImage.c
• Bdc_Ent_t : bdcSpfd.c
• Bdc_Fun_t : bdc.h
• Bdc_Isf_t : bdcInt.h
• Bdc_Man_t : bdc.h
• Bdc_Nod_t : bdcSpfd.c
• Bdc_Par_t : bdc.h
• BitVector : cuddEssent.c
• Bmc_AndPar_t : bmc.h
• Bmc_BCorePar_t : bmc.h
• Bmc_Load_t : bmcLoad.c
• Bmc_Mna_t : bmcBmcAnd.c
• Bmc_MulPar_t : bmc.h
• Bmc_ParFf_t : bmc.h
• Bool : bzlib_private.h
• Buf_Man_t : sclBuffer.c
• buflist : ioReadBlifMv.c , ioReadAiger.c
• Bus_Man_t : sclBufSize.c
• Byte : zconf.h
• byte : kitPerm.c
• Bytef : zconf.h
• bz2file : ioWriteAiger.c
• BZFILE : bzlib.h