- b -

• BAapplyBias() : cuddApprox.c
• backtrack() : abcSaucy.c
• backtrack_bad() : abcSaucy.c
• backtrack_leftmost() : abcSaucy.c
• backtrack_loop() : abcSaucy.c
• backtrack_other() : abcSaucy.c
• backtrackBysatCounterExamples() : abcSaucy.c
• backward_compatibility_hack() : misc/espresso/main.c
• Bal_CutCheck() : giaBalLut.c
• Bal_CutCompareArea() : giaBalLut.c
• Bal_CutCountBits() : giaBalLut.c
• Bal_CutCreateUnit() : giaBalLut.c
• Bal_CutGetSign() : giaBalLut.c
• Bal_CutMergeOrder() : giaBalLut.c
• Bal_CutMergeOrderMux() : giaBalLut.c
• Bal_GiaMan() : giaBalLut.c
• Bal_LitCost() : giaBalLut.c
• Bal_LitDelay() : giaBalLut.c
• Bal_ManAlloc() : giaBalLut.c
• Bal_ManDeriveCuts() : giaBalLut.c
• Bal_ManEvalTwo() : giaBalLut.c
• Bal_ManFindBestPair() : giaBalLut.c
• Bal_ManFree() : giaBalLut.c
• Bal_ManPrepareSet() : giaBalLut.c
• Bal_ManSetGateLevel() : giaBalLut.c
• Bal_ObjCost() : giaBalLut.c
• Bal_ObjDelay() : giaBalLut.c
• Bal_SetAddCut() : giaBalLut.c
• Bal_SetCheckArray() : giaBalLut.c
• Bal_SetCutIsContainedOrder() : giaBalLut.c
• Bal_SetLastCutContains() : giaBalLut.c
• Bal_SetLastCutIsContained() : giaBalLut.c
• Bal_SetSortByDelay() : giaBalLut.c
• BAmarkNodes() : cuddApprox.c
• Bar_ProgressClean() : bar.c
• Bar_ProgressShow() : bar.c
• Bar_ProgressStart() : bar.c , bar.h
• Bar_ProgressStop() : bar.c , bar.h
• Bar_ProgressUpdate() : bar.h
• Bar_ProgressUpdate_int() : bar.c , bar.h
• Bat_ManCellFuncLookup() : ifMatch2.c
• Bat_ManFuncSetdownTable() : ifMatch2.c
• Bat_ManFuncSetupTable() : ifMatch2.c
• Bbl_FncSize() : bblif.c
• Bbl_ManAddFanin() : bblif.c , bblif.h
• Bbl_ManCheck() : bblif.c , bblif.h
• Bbl_ManCreateEntry() : bblif.c
• Bbl_ManCreateObject() : bblif.c , bblif.h
• Bbl_ManDfs() : ioReadBblif.c
• Bbl_ManDfs_rec() : ioReadBblif.c
• Bbl_ManDumpBinaryBlif() : bblif.c , bblif.h
• Bbl_ManDumpBlif() : bblif.c , bblif.h
• Bbl_ManFileRead() : bblif.c
• Bbl_ManFileSize() : bblif.c
• Bbl_ManFncSize() : bblif.c
• Bbl_ManFromAbc() : ioWriteBblif.c
• Bbl_ManName() : bblif.c , bblif.h
• Bbl_ManObj() : bblif.c
• Bbl_ManObjFirst() : bblif.c , bblif.h
• Bbl_ManObjNext() : bblif.c , bblif.h
• Bbl_ManPrintStats() : bblif.c , bblif.h
• Bbl_ManReadBinaryBlif() : bblif.c , bblif.h
• Bbl_ManSaveSop() : bblif.c
• Bbl_ManSimpleDemo() : bblif.c , bblif.h
• Bbl_ManSop() : bblif.c
• Bbl_ManSopCheckUnique() : bblif.c
• Bbl_ManSopToTruth() : bblif.c , bblif.h
• Bbl_ManSopToTruthElem() : bblif.c
• Bbl_ManSortCubes() : bblif.c
• Bbl_ManSortSop() : bblif.c
• Bbl_ManStart() : bblif.c , bblif.h
• Bbl_ManStop() : bblif.c , bblif.h
• Bbl_ManTest() : ioReadBblif.c
• Bbl_ManTestTruth() : bblif.c
• Bbl_ManToAbc() : ioReadBblif.c
• Bbl_ManToAig() : ioReadBblif.c
• Bbl_ManTruthToSop() : bblif.c , bblif.h
• Bbl_ManVerify() : ioReadBblif.c
• Bbl_ObjFanin() : bblif.c
• Bbl_ObjFaninFirst() : bblif.c , bblif.h
• Bbl_ObjFaninNext() : bblif.c , bblif.h
• Bbl_ObjFaninNum() : bblif.c
• Bbl_ObjFaninNumber() : bblif.c , bblif.h
• Bbl_ObjFncHandle() : bblif.c
• Bbl_ObjId() : bblif.c , bblif.h
• Bbl_ObjIdOriginal() : bblif.c , bblif.h
• Bbl_ObjIsCi() : bblif.c
• Bbl_ObjIsCo() : bblif.c
• Bbl_ObjIsInput() : bblif.c , bblif.h
• Bbl_ObjIsLut() : bblif.c , bblif.h
• Bbl_ObjIsMarked() : bblif.c
• Bbl_ObjIsNode() : bblif.c
• Bbl_ObjIsOutput() : bblif.c , bblif.h
• Bbl_ObjMark() : bblif.c
• Bbl_ObjSize() : bblif.c
• Bbl_ObjSop() : bblif.c , bblif.h
• Bbl_VecEnt() : bblif.c
• Bbl_VecFnc() : bblif.c
• Bbl_VecObj() : bblif.c
• Bbr_bddComputeCube() : bbrImage.c
• Bbr_bddComputeRangeCube() : bbrCex.c , bbrReach.c
• Bbr_bddImageCompute() : bbr.h , bbrImage.c
• Bbr_bddImageCompute2() : bbr.h , bbrImage.c
• Bbr_bddImageCompute_rec() : bbrImage.c
• Bbr_bddImagePrintLatchDependency() : bbrImage.c
• Bbr_bddImagePrintLatchDependencyOne() : bbrImage.c
• Bbr_bddImagePrintTree() : bbrImage.c
• Bbr_bddImagePrintTree_rec() : bbrImage.c
• Bbr_bddImageRead() : bbr.h , bbrImage.c
• Bbr_bddImageRead2() : bbr.h , bbrImage.c
• Bbr_bddImageStart() : bbr.h , bbrImage.c
• Bbr_bddImageStart2() : bbr.h , bbrImage.c
• Bbr_bddImageTreeDelete() : bbr.h , bbrImage.c
• Bbr_bddImageTreeDelete2() : bbr.h , bbrImage.c
• Bbr_bddImageTreeDelete_rec() : bbrImage.c
• Bbr_bddPrint() : bbrImage.c
• Bbr_BuildTreeNode() : bbrImage.c
• Bbr_CombineTwoNodes() : bbrImage.c
• Bbr_CreateNodes() : bbrImage.c
• Bbr_CreateParts() : bbrImage.c
• Bbr_CreateVars() : bbrImage.c
• Bbr_DeleteParts_rec() : bbrImage.c
• Bbr_FindBestPartitions() : bbrImage.c
• Bbr_FindBestVariable() : bbrImage.c
• Bbr_ManSetDefaultParams() : bbr.h , bbrReach.c
• Bbr_MergeTopNodes() : bbrImage.c
• Bbr_NodeGlobalBdds_rec() : bbrNtbdd.c
• Bbr_StopManager() : bbrReach.c
• Bdc_Cof6() : bdcSpfd.c
• Bdc_CountOnes() : bdcSpfd.c
• Bdc_CountSpfd() : bdcSpfd.c
• Bdc_DecomposeFindInitialVarSet() : bdcDec.c
• Bdc_DecomposeGetCost() : bdcDec.c
• Bdc_DecomposeOr() : bdcDec.c
• Bdc_DecomposeStep() : bdcDec.c
• Bdc_DecomposeStepMux() : bdcDec.c
• Bdc_DecomposeUpdateRight() : bdcDec.c
• Bdc_DecomposeWeakOr() : bdcDec.c
• Bdc_FuncCopy() : bdc.h , bdcCore.c
• Bdc_FuncCopyInt() : bdc.h , bdcCore.c
• Bdc_FuncFanin0() : bdc.h , bdcCore.c
• Bdc_FuncFanin1() : bdc.h , bdcCore.c
• Bdc_FunCopyHop() : aigCanon.c , abcBidec.c , nwkBidec.c
• Bdc_FuncSetCopy() : bdc.h , bdcCore.c
• Bdc_FuncSetCopyInt() : bdc.h , bdcCore.c
• Bdc_FunFanin0Copy() : bdc.h
• Bdc_FunFanin1Copy() : bdc.h
• Bdc_FunId() : bdcInt.h
• Bdc_FunNew() : bdcInt.h
• Bdc_FunObjCopy() : bdc.h
• Bdc_FunWithId() : bdcInt.h
• Bdc_IsComplement() : bdc.h
• Bdc_IsfClean() : bdcInt.h
• Bdc_IsfCopy() : bdcInt.h
• Bdc_IsfNot() : bdcInt.h
• Bdc_IsfStart() : bdcInt.h
• Bdc_ManAlloc() : bdc.h , bdcCore.c
• Bdc_ManAndNum() : bdc.h , bdcCore.c
• Bdc_ManCreateGate() : bdcDec.c
• Bdc_ManDecompose() : bdc.h , bdcCore.c
• Bdc_ManDecompose_rec() : bdcDec.c , bdcInt.h
• Bdc_ManDecomposeTest() : bdcCore.c
• Bdc_ManDecPrint() : bdc.h , bdcCore.c
• Bdc_ManDecPrint_rec() : bdcCore.c
• Bdc_ManDecPrintSimple() : bdcCore.c
• Bdc_ManFree() : bdc.h , bdcCore.c
• Bdc_ManFunc() : bdc.h , bdcCore.c
• Bdc_ManNodeNum() : bdc.h , bdcCore.c
• Bdc_ManNodeVerify() : bdcDec.c , bdcInt.h
• Bdc_ManPrepare() : bdcCore.c
• Bdc_ManRoot() : bdc.h , bdcCore.c
• Bdc_Not() : bdc.h
• Bdc_NotCond() : bdc.h
• Bdc_Regular() : bdc.h
• Bdc_SpfdAdjCost() : bdcSpfd.c
• Bdc_SpfdCheckOverlap() : bdcSpfd.c
• Bdc_SpfdComputeCost() : bdcSpfd.c
• Bdc_SpfdDecompose() : bdcSpfd.c
• Bdc_SpfdDecomposeTest() : bdcSpfd.c
• Bdc_SpfdDecomposeTest3() : bdcSpfd.c
• Bdc_SpfdDecomposeTest44() : bdcSpfd.c
• Bdc_SpfdDecomposeTest8() : bdcSpfd.c
• Bdc_SpfdDecomposeTest_() : bdcSpfd.c
• Bdc_SpfdDecomposeTest__() : bdcSpfd.c
• Bdc_SpfdDecomposeTestOne() : bdcSpfd.c
• Bdc_SpfdFindBest() : bdcSpfd.c
• Bdc_SpfdHashLookup() : bdcSpfd.c
• Bdc_SpfdHashValue() : bdcSpfd.c
• Bdc_SpfdMark0() : bdcSpfd.c
• Bdc_SpfdMark1() : bdcSpfd.c
• Bdc_SpfdPrint() : bdcSpfd.c
• Bdc_SpfdPrint_rec() : bdcSpfd.c
• Bdc_SpfdReadFiles5() : bdcSpfd.c
• Bdc_SpfdReadFiles6() : bdcSpfd.c
• Bdc_SpfdUnmark0() : bdcSpfd.c
• Bdc_SpfdUnmark1() : bdcSpfd.c
• Bdc_SuppMinimize() : bdcDec.c , bdcInt.h
• Bdc_SuppMinimize2() : bdcDec.c
• Bdc_TableAdd() : bdcTable.c , bdcInt.h
• Bdc_TableCheckContainment() : bdcInt.h , bdcTable.c
• Bdc_TableClear() : bdcInt.h , bdcTable.c
• Bdc_TableLookup() : bdcInt.h , bdcTable.c
• bddAnnotateMintermCount() : cuddSplit.c
• bddCheckPositiveCube() : cuddBddAbs.c
• bddCorrelationAux() : cuddBddCorr.c
• bddCorrelationWeightsAux() : cuddBddCorr.c
• bddFixTree() : cuddReorder.c
• bddVarToCanonical() : cuddBddIte.c
• bddVarToCanonicalSimple() : cuddBddIte.c
• bddVarToConst() : cuddBddIte.c
• beforep() : cuddEssent.c
• bi_flush() : trees.c
• bi_reverse() : trees.c
• bi_windup() : trees.c
• binate_split_select() : cofactor.c , espresso.h
• BinCode() : extraBddKmap.c
• bit_index() : espresso.h , set.c
• bitReverceOrder() : luckyFast16.c
• bits() : abcSaucy.c
• bitVectorAlloc() : cuddEssent.c
• bitVectorClear() : cuddEssent.c
• bitVectorFree() : cuddEssent.c
• bitVectorRead() : cuddEssent.c
• bitVectorSet() : cuddEssent.c
• Bmc_AigTargetStates() : bmcCexCut.c , bmc.h
• Bmc_BmciPart() : bmcBmci.c
• Bmc_BmciPart_rec() : bmcBmci.c
• Bmc_BmciPerform() : bmcBmci.c
• Bmc_BmciUnfold() : bmcBmci.c
• Bmc_CexAndSim() : bmcCexTools.c
• Bmc_CexBitCount() : bmcCexTools.c
• Bmc_CexBitMask() : bmcCexTools.c
• Bmc_CexBuildNetwork() : bmcCexTools.c
• Bmc_CexBuildNetwork2() : bmcCexDepth.c
• Bmc_CexBuildNetwork2_() : bmcCexDepth.c
• Bmc_CexBuildNetwork2Test() : bmcCexDepth.c
• Bmc_CexBuildNetworkTest() : bmcCexTools.c
• Bmc_CexCareBits() : bmcCexDepth.c , bmcCexTools.c
• Bmc_CexCareBits2_rec() : bmcCexTools.c
• Bmc_CexCareBits_rec() : bmcCexTools.c
• Bmc_CexCareMinimize() : bmc.h , bmcCexCare.c
• Bmc_CexCareMinimizeAig() : bmcCexCare.c
• Bmc_CexCarePropagateBwd() : bmcCexCare.c
• Bmc_CexCarePropagateBwdOne() : bmcCexCare.c
• Bmc_CexCarePropagateFwd() : bmcCexCare.c
• Bmc_CexCarePropagateFwdOne() : bmcCexCare.c
• Bmc_CexCareVerify() : bmc.h , bmcCexCare.c
• Bmc_CexCopySim() : bmcCexTools.c
• Bmc_CexDepthTest() : bmcCexDepth.c
• Bmc_CexDumpAogStats() : bmcCexTools.c
• Bmc_CexDumpStats() : bmcCexTools.c
• Bmc_CexEssentialBitOne() : bmcCexTools.c
• Bmc_CexEssentialBits() : bmcCexTools.c
• Bmc_CexEssentialBitTest() : bmcCexTools.c
• Bmc_CexInnerStates() : bmcCexDepth.c , bmcCexTools.c
• Bmc_CexOrSim() : bmcCexTools.c
• Bmc_CexPerformUnrolling() : bmcCexTools.c
• Bmc_CexPerformUnrollingTest() : bmcCexTools.c
• Bmc_CexPrint() : bmc.h , bmcCexTools.c
• Bmc_CexSim() : bmcCexTools.c
• Bmc_CexTarget() : bmcCexDepth.c
• Bmc_CexTargetEnlarge() : bmcCexDepth.c
• Bmc_CexTest() : bmcCexTools.c
• Bmc_CexVerify() : bmcCexDepth.c , bmcCexTools.c , bmc.h
• Bmc_ChainCleanup() : bmcChain.c
• Bmc_ChainFailOneOutput() : bmcChain.c
• Bmc_ChainFindFailedOutputs() : bmcChain.c
• Bmc_ChainTest() : bmcChain.c
• Bmc_DeriveSolver() : bmcICheck.c
• Bmc_EcoMiter() : bmcEco.c
• Bmc_EcoMiterTest() : bmcEco.c
• Bmc_EcoPatch() : bmcEco.c
• Bmc_EcoSolve() : bmcEco.c
• Bmc_GiaGenerateGiaAllFrames() : bmcCexCut.c
• Bmc_GiaGenerateGiaAllOne() : bmcCexCut.c
• Bmc_GiaGenerateGiaOne() : bmcCexCut.c
• Bmc_GiaGenerateJust() : bmcCexCut.c
• Bmc_GiaGenerateJust_rec() : bmcCexCut.c
• Bmc_GiaGenerateJustNonRec() : bmcCexCut.c
• Bmc_GiaTargetStates() : bmc.h , bmcCexCut.c
• Bmc_LoadAddCnf() : bmcLoad.c
• Bmc_LoadAddCnf_rec() : bmcLoad.c
• Bmc_LoadGetSatVar() : bmcLoad.c
• Bmc_LoadStart() : bmcLoad.c
• Bmc_LoadStop() : bmcLoad.c
• Bmc_LoadTest() : bmcLoad.c
• Bmc_ManBCoreAssignVar() : bmcBCore.c
• Bmc_ManBCoreCollect() : bmcBCore.c
• Bmc_ManBCoreCollect_rec() : bmcBCore.c
• Bmc_ManBCoreCollectPivots() : bmcBCore.c
• Bmc_ManBCorePerform() : bmcBCore.c , bmc.h
• Bmc_ManBCoreReadPivots() : bmcBCore.c
• Bmc_MnaAlloc() : bmcBmcAnd.c
• Bmc_MnaBuild() : bmcBmcAnd.c
• Bmc_MnaBuild_rec() : bmcBmcAnd.c
• Bmc_MnaCollect() : bmcBmcAnd.c
• Bmc_MnaCollect_rec() : bmcBmcAnd.c
• Bmc_MnaFree() : bmcBmcAnd.c
• Bmc_MnaSelect() : bmcBmcAnd.c
• Bmc_MnaSelect_rec() : bmcBmcAnd.c
• Bmc_MnaTernary() : bmcBmcAnd.c
• Bmc_ObjChild0Frames() : fraBmc.c
• Bmc_ObjChild1Frames() : fraBmc.c
• Bmc_ObjFraig() : fraBmc.c
• Bmc_ObjFrames() : fraBmc.c
• Bmc_ObjSetFraig() : fraBmc.c
• Bmc_ObjSetFrames() : fraBmc.c
• Bmc_PerformICheck() : bmc.h , bmcICheck.c
• Bmc_PerformISearch() : bmc.h , bmcICheck.c
• Bmc_PerformISearchOne() : bmcICheck.c
• bmGateWay() : abcBm.c
• bsFinishWrite() : compress.c
• bsPutUChar() : compress.c
• bsPutUInt32() : compress.c
• bsW() : compress.c
• Buf_ManStart() : sclBuffer.c
• Buf_ManStop() : sclBuffer.c
• build_bl_tree() : trees.c
• build_dd() : cuddGenetic.c
• build_intersection_matrix() : indep.c
• build_tree() : trees.c
• BuildConjuncts() : cuddDecomp.c
• buildDepGraph() : abcSaucy.c
• buildLogicFromLTLNode() : ltl_parser.c , liveness.c
• buildLogicFromLTLNode_combinationalOnly() : ltl_parser.c
• buildSim1Graph() : abcSaucy.c
• buildSim2Graph() : abcSaucy.c
• BuildSubsetBdd() : cuddSubsetSP.c , cuddSubsetHB.c
• bumpActivity() : abcSaucy.c
• Bus_ManReadInOutLoads() : sclBufSize.c
• Bus_ManStart() : sclBufSize.c
• Bus_ManStop() : sclBufSize.c
• Bus_SclCheckSortedFanout() : sclBufSize.c
• Bus_SclCompareFanouts() : sclBufSize.c
• Bus_SclInsertFanout() : sclBufSize.c
• Bus_SclObjCin() : sclBufSize.c
• Bus_SclObjDept() : sclBufSize.c
• Bus_SclObjETime() : sclBufSize.c
• Bus_SclObjLoad() : sclBufSize.c
• Bus_SclObjMan() : sclBufSize.c
• Bus_SclObjSetCin() : sclBufSize.c
• Bus_SclObjSetETime() : sclBufSize.c
• Bus_SclObjSetLoad() : sclBufSize.c
• Bus_SclObjUpdateDept() : sclBufSize.c
• BZ2_blockSort() : bzlib_private.h , blocksort.c
• BZ2_bsInitWrite() : compress.c , bzlib_private.h
• BZ2_bz__AssertH__fail() : bzlib_private.h , bzlib.c
• BZ2_bzBuffToBuffCompress() : bzlib.c , bzlib.h
• BZ2_bzBuffToBuffDecompress() : bzlib.c , bzlib.h
• BZ2_bzclose() : bzlib.c , bzlib.h
• BZ2_bzCompress() : bzlib.h , bzlib.c
• BZ2_bzCompressEnd() : bzlib.c , bzlib.h
• BZ2_bzCompressInit() : bzlib.c , bzlib.h
• BZ2_bzDecompress() : bzlib.c , bzlib.h
• BZ2_bzDecompressEnd() : bzlib.c , bzlib.h
• BZ2_bzDecompressInit() : bzlib.h , bzlib.c
• BZ2_bzdopen() : bzlib.c , bzlib.h
• BZ2_bzerror() : bzlib.h , bzlib.c
• BZ2_bzflush() : bzlib.c , bzlib.h
• BZ2_bzlibVersion() : bzlib.h , bzlib.c
• BZ2_bzopen() : bzlib.c , bzlib.h
• BZ2_bzRead() : bzlib.h
• BZ2_bzread() : bzlib.h , bzlib.c
• BZ2_bzRead() : bzlib.c
• BZ2_bzReadClose() : bzlib.h , bzlib.c
• BZ2_bzReadGetUnused() : bzlib.c , bzlib.h
• BZ2_bzReadOpen() : bzlib.h , bzlib.c
• BZ2_bzWrite() : bzlib.c
• BZ2_bzwrite() : bzlib.c , bzlib.h
• BZ2_bzWrite() : bzlib.h
• BZ2_bzWriteClose() : bzlib.h , bzlib.c
• BZ2_bzWriteClose64() : bzlib.h , bzlib.c
• BZ2_bzWriteOpen() : bzlib.c , bzlib.h
• BZ2_compressBlock() : compress.c , bzlib_private.h
• BZ2_decompress() : bzlib_private.h , decompress.c
• BZ2_hbAssignCodes() : huffman.c , bzlib_private.h
• BZ2_hbCreateDecodeTables() : huffman.c , bzlib_private.h
• BZ2_hbMakeCodeLengths() : bzlib_private.h , huffman.c
• BZ2_indexIntoF() : bzlib_private.h , bzlib.c
• bz_config_ok() : bzlib.c
• bzopen_or_bzdopen() : bzlib.c