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

- b -

• b0 : bbrImage.c, extraBdd.h
• b1 : bbrImage.c, extraBdd.h
• Bac_BoxForEachBi : bac.h
• Bac_BoxForEachBiMain : bac.h
• Bac_BoxForEachBiReverse : bac.h
• Bac_BoxForEachBo : bac.h
• Bac_BoxForEachBoMain : bac.h
• Bac_BoxForEachFanin : bac.h
• Bac_BoxForEachFaninBox : bac.h
• Bac_BoxForEachFanoutBox : bac.h
• Bac_ManForEachNtk : bac.h
• Bac_NtkForEachBi : bac.h
• Bac_NtkForEachBio : bac.h
• Bac_NtkForEachBo : bac.h
• Bac_NtkForEachBox : bac.h
• Bac_NtkForEachBoxPrim : bac.h
• Bac_NtkForEachBoxUser : bac.h
• Bac_NtkForEachCi : bac.h
• Bac_NtkForEachCio : bac.h
• Bac_NtkForEachCo : bac.h
• Bac_NtkForEachObj : bac.h
• Bac_NtkForEachObjType : bac.h
• Bac_NtkForEachPi : bac.h
• Bac_NtkForEachPiMain : bac.h
• Bac_NtkForEachPo : bac.h
• Bac_NtkForEachPoDriver : bac.h
• Bac_NtkForEachPoMain : bac.h
• Bac_ObjForEachFanout : bac.h
• backbone_terminated_1 : terminate.h
• backbone_terminated_2 : terminate.h
• backbone_terminated_3 : terminate.h
• BACKTRACK_BY_SAT : abcSaucy.c
• BAL_CUT_MAX : giaBalLut.c
• BAL_LEAF_MAX : giaBalLut.c
• BAL_NO_FUNC : giaBalLut.c
• BAL_NO_LEAF : giaBalLut.c
• BAL_SUPER : giaBalLut.c
• BALANCE : avl.c
• BAR_PROGRESS_USE : bar.h
• BARRIER_MONOTONE_TEST : arenaViolation.c
• BASE : adler32.c
• Bbl_ManForEachFnc_int : bblif.c
• Bbl_ManForEachObj : bblif.h
• Bbl_ManForEachObj_int : bblif.c
• Bbl_ObjForEachFanin : bblif.h
• Bbl_ObjForEachFanin_int : bblif.c
• BBLIF_ALLOC : bblif.c
• BBLIF_CALLOC : bblif.c
• BBLIF_FALLOC : bblif.c
• BBLIF_FREE : bblif.c
• BBLIF_REALLOC : bblif.c
• BDC_SCALE : bdcInt.h
• BDC_TERM : bdcSpfd.c
• BEGIN_ARRAY : array.h
• BEGIN_CONST_WATCHES : watch.h
• BEGIN_FIFO : fifo.h
• BEGIN_KLAUSE : cadical_kitten.c, kitten.c
• BEGIN_LITS : clause.h
• BEGIN_RHS : congruence.c
• BEGIN_STACK : stack.h
• BEGIN_WATCHES : watch.h
• BEST : phases.h
• BIAS_NODE : fretime.h
• BIGFREQ : blocksort.c
• BINARY_CLAUSES : statistics.h
• BINIRR_CLAUSES : statistics.h
• BITS : infback.c, inflate.c
• BITS_DISJOINT : mvc.h
• BITS_FULL : mvc.h
• BITS_PER_WORD : mvc.h
• BITS_PER_WORD_LOG : mvc.h
• BITS_PER_WORD_MINUS : mvc.h
• BL_CODES : deflate.h
• BLOCK : fretime.h
• BLOCK_OR_CONS : fretime.h
• BLUE : colors.h
• bmc_sat_solver : bmcBmcS.c
• bmc_sat_solver_addclause : bmcBmcS.c
• bmc_sat_solver_addvar : bmcBmcS.c
• bmc_sat_solver_read_cex_varvalue : bmcBmcS.c
• bmc_sat_solver_setstop : bmcBmcS.c
• bmc_sat_solver_solve : bmcBmcS.c
• bmc_sat_solver_start : bmcBmcS.c
• bmc_sat_solver_stop : bmcBmcS.c
• Bmc_SopForEachCube : bmcClp.c, bmcExpand.c
• BOLD : colors.h
• bool : espresso.h
• BOOL_TO_VALUE : value.h
• BRIDGE_ABORT : utilBridge.c
• BRIDGE_ABS_NETLIST : abc_global.h
• BRIDGE_BAD_ABS : utilBridge.c
• BRIDGE_NETLIST : abc_global.h
• BRIDGE_PROGRESS : utilBridge.c
• BRIDGE_RESULTS : utilBridge.c
• BRIDGE_TEXT_MESSAGE : utilBridge.c
• BRIDGE_VALUE_0 : utilBridge.c
• BRIDGE_VALUE_1 : utilBridge.c
• BRIDGE_VALUE_X : utilBridge.c
• bsNEEDW : compress.c
• BUF_SCALE : sclBuffer.c
• Buf_size : trees.c
• BUILD : build.h
• BUMP_DELAY : kimits.h
• BUSY_STATE : deflate.h
• BYTEBITS : infback.c, inflate.c
• BZ_API : bzlib.h
• BZ_CONFIG_ERROR : bzlib.h
• BZ_DATA_ERROR : bzlib.h
• BZ_DATA_ERROR_MAGIC : bzlib.h
• BZ_EXPORT : bzlib.h
• BZ_EXTERN : bzlib.h
• BZ_FINALISE_CRC : bzlib_private.h
• BZ_FINISH : bzlib.h
• BZ_FINISH_OK : bzlib.h
• BZ_FLUSH : bzlib.h
• BZ_FLUSH_OK : bzlib.h
• BZ_G_SIZE : bzlib_private.h
• BZ_GET_FAST : bzlib_private.h
• BZ_GET_FAST_C : bzlib_private.h
• BZ_GET_SMALL : bzlib_private.h
• BZ_GREATER_ICOST : compress.c
• BZ_HDR_0 : bzlib_private.h
• BZ_HDR_B : bzlib_private.h
• BZ_HDR_h : bzlib_private.h
• BZ_HDR_Z : bzlib_private.h
• BZ_INITIALISE_CRC : bzlib_private.h
• BZ_IO_ERROR : bzlib.h
• BZ_ITAH : compress.c
• BZ_ITER : compress.c
• BZ_ITUR : compress.c
• BZ_LESSER_ICOST : compress.c
• BZ_M_FINISHING : bzlib_private.h
• BZ_M_FLUSHING : bzlib_private.h
• BZ_M_IDLE : bzlib_private.h
• BZ_M_RUNNING : bzlib_private.h
• BZ_MAX_ALPHA_SIZE : bzlib_private.h
• BZ_MAX_CODE_LEN : bzlib_private.h
• BZ_MAX_SELECTORS : bzlib_private.h
• BZ_MAX_UNUSED : bzlib.h
• BZ_MEM_ERROR : bzlib.h
• BZ_N_GROUPS : bzlib_private.h
• BZ_N_ITERS : bzlib_private.h
• BZ_N_OVERSHOOT : bzlib_private.h
• BZ_N_QSORT : bzlib_private.h
• BZ_N_RADIX : bzlib_private.h
• BZ_N_SHELL : bzlib_private.h
• BZ_OK : bzlib.h
• BZ_OUTBUFF_FULL : bzlib.h
• BZ_PARAM_ERROR : bzlib.h
• BZ_RAND_DECLS : bzlib_private.h
• BZ_RAND_INIT_MASK : bzlib_private.h
• BZ_RAND_MASK : bzlib_private.h
• BZ_RAND_UPD_MASK : bzlib_private.h
• BZ_RUN : bzlib.h
• BZ_RUN_OK : bzlib.h
• BZ_RUNA : bzlib_private.h
• BZ_RUNB : bzlib_private.h
• BZ_S_INPUT : bzlib_private.h
• BZ_S_OUTPUT : bzlib_private.h
• BZ_SEQUENCE_ERROR : bzlib.h
• BZ_SETERR : bzlib.c
• BZ_STREAM_END : bzlib.h
• BZ_UNEXPECTED_EOF : bzlib.h
• BZ_UPDATE_CRC : bzlib_private.h
• BZ_VERSION : bzlib_private.h
• BZ_X_BCRC_1 : bzlib_private.h
• BZ_X_BCRC_2 : bzlib_private.h
• BZ_X_BCRC_3 : bzlib_private.h
• BZ_X_BCRC_4 : bzlib_private.h
• BZ_X_BLKHDR_1 : bzlib_private.h
• BZ_X_BLKHDR_2 : bzlib_private.h
• BZ_X_BLKHDR_3 : bzlib_private.h
• BZ_X_BLKHDR_4 : bzlib_private.h
• BZ_X_BLKHDR_5 : bzlib_private.h
• BZ_X_BLKHDR_6 : bzlib_private.h
• BZ_X_CCRC_1 : bzlib_private.h
• BZ_X_CCRC_2 : bzlib_private.h
• BZ_X_CCRC_3 : bzlib_private.h
• BZ_X_CCRC_4 : bzlib_private.h
• BZ_X_CODING_1 : bzlib_private.h
• BZ_X_CODING_2 : bzlib_private.h
• BZ_X_CODING_3 : bzlib_private.h
• BZ_X_ENDHDR_2 : bzlib_private.h
• BZ_X_ENDHDR_3 : bzlib_private.h
• BZ_X_ENDHDR_4 : bzlib_private.h
• BZ_X_ENDHDR_5 : bzlib_private.h
• BZ_X_ENDHDR_6 : bzlib_private.h
• BZ_X_IDLE : bzlib_private.h
• BZ_X_MAGIC_1 : bzlib_private.h
• BZ_X_MAGIC_2 : bzlib_private.h
• BZ_X_MAGIC_3 : bzlib_private.h
• BZ_X_MAGIC_4 : bzlib_private.h
• BZ_X_MAPPING_1 : bzlib_private.h
• BZ_X_MAPPING_2 : bzlib_private.h
• BZ_X_MTF_1 : bzlib_private.h
• BZ_X_MTF_2 : bzlib_private.h
• BZ_X_MTF_3 : bzlib_private.h
• BZ_X_MTF_4 : bzlib_private.h
• BZ_X_MTF_5 : bzlib_private.h
• BZ_X_MTF_6 : bzlib_private.h
• BZ_X_ORIGPTR_1 : bzlib_private.h
• BZ_X_ORIGPTR_2 : bzlib_private.h
• BZ_X_ORIGPTR_3 : bzlib_private.h
• BZ_X_OUTPUT : bzlib_private.h
• BZ_X_RANDBIT : bzlib_private.h
• BZ_X_SELECTOR_1 : bzlib_private.h
• BZ_X_SELECTOR_2 : bzlib_private.h
• BZ_X_SELECTOR_3 : bzlib_private.h
• BZALLOC : bzlib_private.h
• BZFREE : bzlib_private.h