Here is a list of all typedefs with links to the files they belong to:

- b -

• b_queue_t : b_queue.h
• Bac_Man_t : bac.h
• Bac_Ntk_t : bac.h
• Bac_Pair_t : bacNtk.c
• Bac_Trip_t : bacPrsTrans.c
• 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
• binary_watch : watch.h
• blocking_watch : watch.h
• Bmc_AndPar_t : bmc.h
• Bmc_BCorePar_t : bmc.h
• Bmc_EsPar_t : bmc.h
• Bmc_Load_t : bmcLoad.c
• Bmc_Mna_t : bmcBmcAnd.c
• Bmc_MulPar_t : bmc.h
• Bmc_ParFf_t : bmc.h
• bmcg2_sat_solver : AbcGlucose2.h
• Bmcg_Man_t : bmcBmcG.c
• bmcg_sat_solver : AbcGlucose.h
• Bmcs_Man_t : bmcBmcS.c
• Bnd_Man_t : gia.h, giaBound.c
• Bool : bzlib_private.h
• bounds : kimits.h
• Buf_Man_t : sclBuffer.c
• buflist : ioReadAiger.c, ioReadBlifMv.c
• Bus_Man_t : sclBufSize.c
• Byte : zconf.h
• byte : exor.h
• Bytef : zconf.h
• bz2file : ioWriteAiger.c
• BZFILE : bzlib.h