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

- a -

• Abc2_End() : mainInit.c
• Abc2_Init() : mainInit.c
• Abc85_End() : mainInit.c
• Abc85_Init() : mainInit.c
• Abc_AdderTree() : abcGen.c
• ABC_AddGate() : csat_apis.c, csat_apis.h
• ABC_AddTarget() : csat_apis.c, csat_apis.h
• Abc_AigAlloc() : abc.h, abcAig.c
• Abc_AigAnd() : abc.h, abcAig.c
• Abc_AigAndLookup() : abc.h, abcAig.c
• Abc_AigCheck() : abc.h, abcAig.c
• Abc_AigCheckFaninOrder() : abc.h, abcAig.c
• Abc_AigCheckTfi() : abcSpeedup.c
• Abc_AigCheckTfi_rec() : abcSpeedup.c
• Abc_AigCleanup() : abc.h, abcAig.c
• Abc_AigConst1() : abc.h, abcAig.c
• Abc_AigCountNext() : abcAig.c
• Abc_AigDeleteNode() : abc.h, abcAig.c
• Abc_AigDfs() : abc.h, abcDfs.c
• Abc_AigDfs_rec() : abcDfs.c
• Abc_AigDfsMap() : abc.h, abcDfs.c
• Abc_AigFree() : abc.h, abcAig.c
• Abc_AigGetLevelizedOrder() : abc.h, abcDfs.c
• Abc_AigLevel() : abc.h, abcAig.c
• Abc_AigMiter() : abc.h, abcAig.c
• Abc_AigMiter2() : abcAig.c
• Abc_AigMiter_rec() : abcAig.c
• Abc_AigMux() : abc.h, abcAig.c
• Abc_AigMuxLookup() : abc.h, abcAig.c
• Abc_AigNodeHasComplFanoutEdge() : abc.h, abcAig.c
• Abc_AigNodeHasComplFanoutEdgeTrav() : abc.h, abcAig.c
• Abc_AigNodeIsAcyclic() : abc.h, abcAig.c
• Abc_AigOr() : abc.h, abcAig.c
• Abc_AigPrintNode() : abc.h, abcAig.c
• Abc_AigRehash() : abc.h, abcAig.c
• Abc_AigReplace() : abc.h, abcAig.c
• Abc_AigSetChoiceLevels() : abcDfs.c
• Abc_AigSetNodePhases() : abc.h, abcAig.c
• Abc_AigUpdateReset() : abc.h, abcAig.c
• Abc_AigUpdateStart() : abc.h, abcAig.c
• Abc_AigUpdateStop() : abc.h, abcAig.c
• Abc_AigXor() : abc.h, abcAig.c
• Abc_AigXorLookup() : abc.h, abcAig.c
• Abc_allFlip() : luckyFast6.c
• ABC_AnalyzeTargets() : csat_apis.c, csat_apis.h
• Abc_BddAnd() : extraUtilMult.c
• Abc_BddCount_rec() : extraUtilMult.c
• Abc_BddCountNodes() : extraUtilMult.c
• Abc_BddCountNodesArray() : extraUtilMult.c
• Abc_BddCountNodesArray2() : extraUtilMult.c
• Abc_BddGiaTest() : extraUtilMult.c
• Abc_BddGiaTest2() : extraUtilMult.c
• Abc_BddManAlloc() : extraUtilMult.c
• Abc_BddManFree() : extraUtilMult.c
• Abc_BddOr() : extraUtilMult.c
• Abc_BddPrint() : extraUtilMult.c
• Abc_BddPrint_rec() : extraUtilMult.c
• Abc_BddPrintTest() : extraUtilMult.c
• Abc_BddUnmark_rec() : extraUtilMult.c
• Abc_BSEvalAlloc() : abcCas.c, utilBSet.c
• Abc_BSEvalBest() : utilBSet.c
• Abc_BSEvalBestGen() : utilBSet.c
• Abc_BSEvalBestTest() : utilBSet.c
• Abc_BSEvalCreateCofactorSets() : utilBSet.c
• Abc_BSEvalCreateCofs() : utilBSet.c
• Abc_BSEvalEncode() : utilBSet.c
• Abc_BSEvalFree() : abcCas.c, utilBSet.c
• Abc_BSEvalOneTest() : utilBSet.c
• Abc_BufAddToQue() : sclBuffer.c
• Abc_BufCollectTfiCone() : sclBuffer.c
• Abc_BufCollectTfiCone_rec() : sclBuffer.c
• Abc_BufCollectTfoCone() : sclBuffer.c
• Abc_BufCollectTfoCone_rec() : sclBuffer.c
• Abc_BufComputeArr() : sclBuffer.c
• Abc_BufComputeAverage() : sclBuffer.c
• Abc_BufComputeDep() : sclBuffer.c
• Abc_BufCountNonCritical() : sclBuffer.c
• Abc_BufCreateEdges() : sclBuffer.c
• Abc_BufFindNonBuffDriver() : sclBuffer.c
• Abc_BufPerformOne() : sclBuffer.c
• Abc_BufPrintOne() : sclBuffer.c
• Abc_BufReplaceBufsByInvs() : sclBuffer.c
• Abc_BufSortByDelay() : sclBuffer.c
• Abc_BufUpdateArr() : sclBuffer.c
• Abc_BufUpdateDep() : sclBuffer.c
• Abc_BufUpdateGlobal() : sclBuffer.c
• Abc_CallMiniSat22() : AbcApi.cpp
• Abc_CascadeExperiment() : casCore.c
• Abc_CexAlloc() : utilCex.c, utilCex.h
• Abc_CexAllocFull() : utilCex.c, utilCex.h
• Abc_CexCountOnes() : utilCex.c, utilCex.h
• Abc_CexCreate() : utilCex.c, utilCex.h
• Abc_CexDeriveFromCombModel() : utilCex.c, utilCex.h
• Abc_CexDup() : utilCex.c, utilCex.h
• Abc_CexFree() : utilCex.c, utilCex.h
• Abc_CexFreeP() : utilCex.c, utilCex.h
• Abc_CexMakeTriv() : utilCex.c, utilCex.h
• Abc_CexMerge() : utilCex.c, utilCex.h
• Abc_CexPermute() : utilCex.c, utilCex.h
• Abc_CexPermuteTwo() : utilCex.c, utilCex.h
• Abc_CexPrint() : utilCex.c, utilCex.h
• Abc_CexPrintStats() : utilCex.c, utilCex.h
• Abc_CexPrintStatsInputs() : utilCex.c, utilCex.h
• Abc_CexTransformPhase() : utilCex.c, utilCex.h
• Abc_CexTransformTempor() : utilCex.c, utilCex.h
• Abc_CexTransformUndc() : utilCex.c, utilCex.h
• ABC_Check_Integrity() : csat_apis.c, csat_apis.h
• Abc_CollectTopOr() : abcDar.c
• Abc_CollectTopOr_rec() : abcDar.c
• Abc_ColorTest() : utilColor.c
• Abc_CommandAbc9CexCut() : abc.c
• Abc_CommandAbc9CexMerge() : abc.c
• Abc_CommandAbc9CexMin() : abc.c
• Abc_CommandAbc9PoPart2() : abc.c
• Abc_CommandAbcLivenessToSafety() : abc.c, liveness.c
• Abc_CommandAbcLivenessToSafetyAbstraction() : liveness.c
• Abc_CommandAbcLivenessToSafetySim() : abc.c, liveness_sim.c
• Abc_CommandAbcLivenessToSafetyWithLTL() : abc.c, liveness.c
• Abc_CommandCexMin() : abc.c
• Abc_CommandCS_kLiveness() : abc.c, kliveness.c
• Abc_CommandFold2() : abciUnfold2.c
• Abc_CommandNChooseK() : abc.c, kliveness.c
• Abc_CommandUnfold2() : abciUnfold2.c
• Abc_ConvertAigToAig() : abcFunc.c, resStrash.c
• Abc_ConvertAigToAig_rec() : abcFunc.c
• Abc_ConvertAigToGia() : abcFunc.c
• Abc_ConvertAigToGia_rec1() : abcFunc.c
• Abc_ConvertAigToGia_rec2() : abcFunc.c
• Abc_ConvertHopToGia() : abcDress3.c
• Abc_ConvertHopToGia_rec1() : abcDress3.c
• Abc_ConvertHopToGia_rec2() : abcDress3.c
• Abc_ConvertSopToAigInternal() : abcFunc.c
• Abc_CutFactor() : abcResub.c
• Abc_CutFactor_1() : abcOrchestration.c
• Abc_CutFactor_rec() : abcResub.c
• Abc_CutFactor_rec_1() : abcOrchestration.c
• Abc_CutVolumeCheck_rec() : abcResub.c
• Abc_CutVolumeCheck_rec_1() : abcOrchestration.c
• Abc_DecRecordToHop() : abcIf.c
• Abc_DecTest() : abcDec.c
• Abc_DesAddModel() : abc.h, abcLib.c
• Abc_DesCleanManPointer() : abc.h, abcLib.c
• Abc_DesCreate() : abc.h, abcLib.c
• Abc_DesDeriveRoot() : abc.h, abcLib.c
• Abc_DesDup() : abc.h, abcLib.c
• Abc_DesDupBlackboxes() : abcLib.c
• Abc_DesFindModelByName() : abc.h, abcLib.c
• Abc_DesFindTopLevelModels() : abc.h, abcLib.c
• Abc_DesFree() : abc.h, abcLib.c
• Abc_DesPrint() : abc.h, abcLib.c
• Abc_DfsLevelized() : abc.h, abcDfs.c
• Abc_DfsLevelizedTfo_rec() : abcDfs.c
• ABC_Dump_Bench_File() : csat_apis.c, csat_apis.h
• ABC_EnableDump() : csat_apis.c, csat_apis.h
• Abc_End() : abc.c, mainInit.c
• Abc_EnumerateCubeStates() : extraUtilCube.c
• Abc_EnumerateCubeStates2() : extraUtilCube.c
• Abc_EnumerateCubeStatesZdd() : extraUtilPerm.c
• Abc_EnumerateFrontierTest() : extraUtilPath.c
• Abc_EnumerateFuncs() : extraUtilEnum.c
• Abc_EnumerateFuncs_rec() : extraUtilEnum.c
• Abc_EnumerateFunctions() : extraUtilEnum.c
• Abc_EnumeratePaths() : extraUtilPath.c
• Abc_EnumeratePathsTest() : extraUtilPath.c
• Abc_EnumPrint() : extraUtilEnum.c
• Abc_EnumPrint_rec() : extraUtilEnum.c
• Abc_Esop6Cover() : utilIsop.c
• Abc_EsopCheck() : utilIsop.c
• Abc_EsopCover() : utilIsop.c
• Abc_ExactBuildNode() : abc.h, abcExact.c
• Abc_ExactDelayCost() : abcExact.c, ifMap.c
• Abc_ExactInputNum() : abc.h, abcExact.c
• Abc_ExactIsRunning() : abc.h, abcExact.c
• Abc_ExactStart() : abcExact.c
• Abc_ExactStats() : abcExact.c
• Abc_ExactStop() : abcExact.c
• Abc_ExactStoreTest() : abcExact.c
• Abc_ExactTest() : abcExact.c
• Abc_ExactTestSingleOutput() : abcExact.c
• Abc_ExactTestSingleOutputAIG() : abcExact.c
• Abc_ExorcismMain() : exor.c
• Abc_ExorcismNtk2Esop() : exor.c
• Abc_FileRead() : abcDec.c, abcRpo.c
• Abc_FileSize() : abcDec.c, abcRpo.c
• Abc_FlowRetime_AddInitBias() : fretime.h, fretInit.c
• Abc_FlowRetime_ClearFlows() : fretime.h, fretMain.c
• Abc_FlowRetime_ConstrainConserv() : fretime.h, fretTime.c
• Abc_FlowRetime_ConstrainExact() : fretime.h, fretTime.c
• Abc_FlowRetime_ConstrainExact_back_rec() : fretTime.c
• Abc_FlowRetime_ConstrainExact_forw_rec() : fretTime.c
• Abc_FlowRetime_ConstrainExactAll() : fretime.h, fretTime.c
• Abc_FlowRetime_ConstrainInit() : fretime.h, fretInit.c
• Abc_FlowRetime_CopyInitState() : fretMain.c
• Abc_FlowRetime_CopyNodeToInitNtk() : fretInit.c
• Abc_FlowRetime_FixLatchBoxes() : fretMain.c
• Abc_FlowRetime_FreeTiming() : fretime.h, fretTime.c
• Abc_FlowRetime_GetLag() : fretime.h, fretMain.c
• Abc_FlowRetime_InitState() : fretime.h, fretInit.c
• Abc_FlowRetime_InitTiming() : fretime.h, fretTime.c
• Abc_FlowRetime_IsAcrossCut() : fretime.h, fretMain.c
• Abc_FlowRetime_MinReg() : fretime.h, fretMain.c
• Abc_FlowRetime_NtkSilentRestrash() : fretime.h, fretMain.c
• Abc_FlowRetime_PartialSat() : fretInit.c
• Abc_FlowRetime_PrintInitStateInfo() : fretime.h, fretInit.c
• Abc_FlowRetime_PushFlows() : fretime.h, fretMain.c
• Abc_FlowRetime_RefineConstraints() : fretime.h, fretTime.c
• Abc_FlowRetime_RemoveInitBias() : fretime.h, fretInit.c
• Abc_FlowRetime_SetLag() : fretime.h, fretMain.c
• Abc_FlowRetime_SetupBackwardInit() : fretime.h, fretInit.c
• Abc_FlowRetime_SolveBackwardInit() : fretime.h, fretInit.c
• Abc_FlowRetime_UpdateBackwardInit() : fretime.h, fretInit.c
• Abc_FlowRetime_UpdateForwardInit() : fretime.h, fretInit.c
• Abc_FlowRetime_UpdateLags() : fretime.h, fretMain.c
• Abc_FrameAddInitializer() : mainInit.c, mainInt.h
• Abc_FrameAllocate() : mainFrame.c, mainInt.h
• Abc_FrameCheckPoConst() : main.h, mainFrame.c
• Abc_FrameCheckPoConstTest() : mainFrame.c
• Abc_FrameClearDesign() : abc.c
• Abc_FrameClearVerifStatus() : main.h, mainFrame.c
• Abc_FrameCopyLTLDataBase() : io.c, ltl_parser.c
• Abc_FrameDeallocate() : mainFrame.c, mainInt.h
• Abc_FrameDeleteAllNetworks() : main.h, mainFrame.c
• Abc_FrameDeriveStatusArray() : abc.c
• Abc_FrameDeriveStatusArray2() : abc.c
• Abc_FrameEnd() : mainInit.c, mainInt.h
• Abc_FrameExportPtr() : bac.h, bacCom.c
• Abc_FrameGetGia() : abc.c, main.h
• Abc_FrameGetGlobalFrame() : abcapis.h, abcapis_old.h, main.h, mainFrame.c, demo.c
• Abc_FrameGiaInputMiniAig() : giaMini.c, abcapis.h, abcapis_old.h
• Abc_FrameGiaInputMiniLut() : giaMini.c, abcapis.h, abcapis_old.h
• Abc_FrameGiaInputMiniLut2() : giaMini.c, abcapis.h
• Abc_FrameGiaOutputMiniAig() : giaMini.c, abcapis.h, abcapis_old.h
• Abc_FrameGiaOutputMiniLut() : giaMini.c, abcapis.h, abcapis_old.h
• Abc_FrameGiaOutputMiniLutAttr() : giaMini.c, abcapis.h
• Abc_FrameGiaOutputMiniLutObj() : giaMini.c, abcapis.h
• Abc_FrameImportPtr() : bac.h, bacCom.c
• Abc_FrameInit() : mainInit.c, mainInt.h
• Abc_FrameInputNdr() : abcapis.h, mainFrame.c
• Abc_FrameIsBatchMode() : main.h, mainFrame.c
• Abc_FrameIsBridgeMode() : main.h, mainFrame.c
• Abc_FrameIsFlagEnabled() : main.h, mainFrame.c
• Abc_FrameMiniAigReadCoArrivals() : giaIf.c
• Abc_FrameMiniAigSetAndGateDelay() : giaIf.c
• Abc_FrameMiniAigSetCiArrivals() : giaIf.c
• Abc_FrameMiniAigSetCoRequireds() : giaIf.c
• Abc_FrameOutputNdr() : abcapis.h, mainFrame.c
• Abc_FrameOutputNdrArray() : abcapis.h, mainFrame.c
• Abc_FrameReadArrayMapping() : abcapis.h, mainFrame.c
• Abc_FrameReadBmcFrames() : main.h, mainFrame.c
• Abc_FrameReadBoxes() : abcapis.h, mainFrame.c
• Abc_FrameReadCex() : abcapis.h, abcapis_old.h, main.h, mainFrame.c
• Abc_FrameReadCexFrame() : main.h, mainFrame.c
• Abc_FrameReadCexPiNum() : main.h, mainFrame.c
• Abc_FrameReadCexPo() : main.h, mainFrame.c
• Abc_FrameReadCexRegNum() : main.h, mainFrame.c
• Abc_FrameReadCexVec() : main.h, mainFrame.c
• Abc_FrameReadDrivingCell() : main.h, mainFrame.c
• Abc_FrameReadErr() : main.h, mainFrame.c
• Abc_FrameReadFlag() : main.h, mainFrame.c
• Abc_FrameReadGia() : main.h, mainFrame.c
• Abc_FrameReadGlobalFrame() : main.h, mainFrame.c
• Abc_FrameReadJsonObjs() : main.h, mainFrame.c
• Abc_FrameReadJsonStrs() : main.h, mainFrame.c
• Abc_FrameReadLibBox() : main.h, mainFrame.c
• Abc_FrameReadLibGen() : main.h, mainFrame.c, fretInit.c
• Abc_FrameReadLibGen2() : main.h, mainFrame.c, rewire_map.c
• Abc_FrameReadLibLut() : main.h, mainFrame.c
• Abc_FrameReadLibScl() : main.h, mainFrame.c
• Abc_FrameReadLibSuper() : main.h, mainFrame.c
• Abc_FrameReadManDd() : main.h
• Abc_FrameReadManDec() : main.h, mainFrame.c
• Abc_FrameReadManDsd() : main.h, mainFrame.c
• Abc_FrameReadManDsd2() : main.h, mainFrame.c
• Abc_FrameReadMaxLoad() : main.h, mainFrame.c
• Abc_FrameReadMiniAigEquivClasses() : giaMini.c, abcapis.h
• Abc_FrameReadMiniLutNameMapping() : giaMini.c
• Abc_FrameReadMiniLutSwitching() : giaMini.c, abcapis.h
• Abc_FrameReadMiniLutSwitching2() : giaMini.c, abcapis.h
• Abc_FrameReadMiniLutSwitchingPo() : giaMini.c, abcapis.h
• Abc_FrameReadMode() : main.h, mainFrame.c
• Abc_FrameReadNtk() : main.h, mainFrame.c
• Abc_FrameReadObjIds() : main.h, mainFrame.c
• Abc_FrameReadOut() : main.h, mainFrame.c
• Abc_FrameReadPoEquivs() : main.h, mainFrame.c
• Abc_FrameReadPoStatuses() : main.h, mainFrame.c
• Abc_FrameReadProbStatus() : abcapis.h, abcapis_old.h, main.h, mainFrame.c
• Abc_FrameReadSave1() : mainFrame.c
• Abc_FrameReadSave2() : mainFrame.c
• Abc_FrameReadSignalNames() : main.h, mainFrame.c
• Abc_FrameReadSpecName() : main.h, mainFrame.c
• Abc_FrameReadStatusVec() : main.h, mainFrame.c
• Abc_FrameReadStore() : main.h, mainFrame.c
• Abc_FrameReadStoreSize() : main.h, mainFrame.c
• Abc_FrameRemapLits() : giaMini.c
• Abc_FrameReplaceCex() : abc.c, main.h
• Abc_FrameReplaceCexVec() : abc.c, main.h
• Abc_FrameReplaceCurrentNetwork() : main.h, mainFrame.c
• Abc_FrameReplacePoEquivs() : abc.c, main.h
• Abc_FrameReplacePoStatuses() : abc.c, main.h
• Abc_FrameRestart() : main.h, mainFrame.c
• Abc_FrameSetArrayMapping() : main.h, mainFrame.c
• Abc_FrameSetBatchMode() : main.h, mainFrame.c
• Abc_FrameSetBoxes() : main.h, mainFrame.c
• Abc_FrameSetBridgeMode() : main.h, mainFrame.c
• Abc_FrameSetCex() : main.h, mainFrame.c
• Abc_FrameSetCnf() : main.h
• Abc_FrameSetCurrentNetwork() : main.h, mainFrame.c
• Abc_FrameSetDrivingCell() : main.h, mainFrame.c
• Abc_FrameSetFlag() : main.h, mainFrame.c
• Abc_FrameSetGlobalFrame() : main.h, mainFrame.c
• Abc_FrameSetInv() : main.h, mainFrame.c
• Abc_FrameSetJsonObjs() : main.h, mainFrame.c
• Abc_FrameSetJsonStrs() : main.h, mainFrame.c
• Abc_FrameSetLibBox() : main.h, mainFrame.c
• Abc_FrameSetLibGen() : main.h, mainFrame.c
• Abc_FrameSetLibGen2() : main.h, mainFrame.c
• Abc_FrameSetLibLut() : main.h, mainFrame.c
• Abc_FrameSetLibSuper() : main.h, mainFrame.c
• Abc_FrameSetLibVer() : main.h
• Abc_FrameSetLutLibrary() : ifLibLut.c
• Abc_FrameSetLutLibraryTest() : ifLibLut.c
• Abc_FrameSetManDsd() : main.h, mainFrame.c
• Abc_FrameSetManDsd2() : main.h, mainFrame.c
• Abc_FrameSetMaxLoad() : main.h, mainFrame.c
• Abc_FrameSetMode() : main.h, mainFrame.c
• Abc_FrameSetNFrames() : main.h, mainFrame.c
• Abc_FrameSetNtkStore() : main.h
• Abc_FrameSetNtkStoreSize() : main.h
• Abc_FrameSetObjDelays() : giaMini.c, abcapis.h
• Abc_FrameSetRetimingData() : giaMini.c, abcapis.h
• Abc_FrameSetSave1() : mainFrame.c
• Abc_FrameSetSave2() : mainFrame.c
• Abc_FrameSetSignalNames() : main.h, mainFrame.c
• Abc_FrameSetSpecName() : main.h, mainFrame.c
• Abc_FrameSetStatus() : main.h, mainFrame.c
• Abc_FrameSetStr() : main.h
• Abc_FrameShowProgress() : main.h, mainFrame.c
• Abc_FrameStoreAdd() : mainInt.h, mainUtils.c
• Abc_FrameStorePrint() : mainInt.h, mainUtils.c
• Abc_FrameStoreStart() : mainInt.h, mainUtils.c
• Abc_FrameStoreStop() : mainInt.h, mainUtils.c
• Abc_FrameSwapCurrentAndBackup() : main.h, mainFrame.c
• Abc_FrameUnmapAllNetworks() : main.h, mainFrame.c
• Abc_FrameUpdateGia() : abc.c, main.h
• Abc_GateToType() : abcUtil.c
• Abc_GenAdder() : abcGen.c
• Abc_GenAdder4() : abcGen.c
• Abc_GenAdder4test() : abcGen.c
• Abc_GenAdderTree() : abcGen.c
• Abc_GenAT() : abcGen.c
• Abc_GenATDual() : abcGen.c
• Abc_GenBooth() : abcGen.c
• Abc_GenChaseNext() : utilBSet.c
• Abc_GenChasePairs() : utilBSet.c
• Abc_GenChasePrint() : utilBSet.c
• Abc_GenChaseTest() : utilBSet.c
• Abc_GenComp63a4() : abcGen.c
• Abc_GenComp63a6() : abcGen.c
• Abc_GenCountDump() : extraUtilPrime.c
• Abc_GenCountHits1() : extraUtilPrime.c
• Abc_GenFpga() : abcGen.c
• Abc_GenFsm() : abcGen.c
• Abc_GenFsmCond() : abcGen.c
• Abc_GenGraph() : abcGen.c
• Abc_GenMesh() : abcGen.c
• Abc_GenMulti() : abcGen.c
• Abc_GenOneHot() : abcGen.c
• Abc_GenOneHotIntervals() : abcGen.c
• Abc_GenPrimes() : extraUtilPrime.c
• Abc_GenPrimesTest() : extraUtilPrime.c
• Abc_GenRandom() : abcGen.c
• Abc_GenSignedBooth() : abcGen.c
• Abc_GenSignedBoothMini() : abcGen.c
• Abc_GenSignedBoothPP() : abcGen.c
• Abc_GenSignedBoothPPTest() : abcGen.c
• Abc_GenSorter() : abcGen.c
• Abc_GenThresh() : abcGen.c
• Abc_GenThreshAdder() : abcGen.c
• Abc_GenTree_rec() : abcGen.c
• Abc_GenTreeFindGroups() : abcGen.c
• ABC_Get_Target_Result() : csat_apis.c, csat_apis.h
• Abc_GetBinaryName() : cmdPlugin.c
• Abc_GetFirst() : extraUtilEnum.c
• Abc_GetSecond() : extraUtilEnum.c
• Abc_GetThird() : extraUtilEnum.c
• ABC_GetTotalBacktracksMade() : csat_apis.c, csat_apis.h
• ABC_GetTotalInspectsMade() : csat_apis.c, csat_apis.h
• Abc_GiaDeriveSops() : abcCollapse.c
• Abc_GiaSynthesize() : abcUtil.c
• Abc_GiaSynthesizeInter() : abcUtil.c
• Abc_GraphBuildFrontier() : extraUtilPath.c
• Abc_GraphBuildState() : extraUtilPath.c
• Abc_GraphCountPaths() : extraUtilPath.c
• Abc_GraphCountPaths_rec() : extraUtilPath.c
• Abc_GraphDeriveGia() : extraUtilPath.c
• Abc_GraphDeriveGia_rec() : extraUtilPath.c
• Abc_GraphDeriveGiaDump() : extraUtilPath.c
• Abc_GraphFrontiers() : extraUtilPath.c
• Abc_GraphGrid() : extraUtilPath.c
• Abc_GraphNodeLife() : extraUtilPath.c
• Abc_GraphPathPrint4() : extraUtilPath.c
• Abc_GraphPathPrint5() : extraUtilPath.c
• Abc_GraphSolve() : extraUtilPath.c
• Abc_InfoRandomBytes() : resSim.c
• Abc_Init() : abc.c, mainInit.c
• ABC_InitManager() : csat_apis.c, csat_apis.h
• Abc_Isop() : utilIsop.c
• Abc_Isop10Cover() : utilIsop.c
• Abc_Isop11Cover() : utilIsop.c
• Abc_Isop12Cover() : utilIsop.c
• Abc_Isop13Cover() : utilIsop.c
• Abc_Isop14Cover() : utilIsop.c
• Abc_Isop15Cover() : utilIsop.c
• Abc_Isop16Cover() : utilIsop.c
• Abc_Isop6Cover() : utilIsop.c
• Abc_Isop7Cover() : utilIsop.c
• Abc_Isop8Cover() : utilIsop.c
• Abc_Isop9Cover() : utilIsop.c
• Abc_IsopBuildTruth() : utilIsop.c
• Abc_IsopCheck() : utilIsop.c
• Abc_IsopCnf() : utilIsop.c
• Abc_IsopCountLits() : utilIsop.c
• Abc_IsopNew() : utilIsop.c
• Abc_IsopPrint() : utilIsop.c
• Abc_IsopPrintCover() : utilIsop.c
• Abc_IsopTest() : utilIsop.c
• Abc_IsopTestNew() : utilIsop.c
• Abc_LutBddScan() : extraLutCas.h
• Abc_LutBddToTruth() : extraLutCas.h
• Abc_LutCasAlloc() : abcCas.c
• Abc_LutCasAssignNames() : abcCas.c
• Abc_LutCasBuildBdds() : extraLutCas.h
• Abc_LutCascade() : abcCas.c
• Abc_LutCascadeChar() : abcCas.c
• Abc_LutCascadeCount() : abcCas.c
• Abc_LutCascadeDec() : abcCas.c
• Abc_LutCascadeDerive() : abcCas.c
• Abc_LutCascadeGen() : abcCas.c
• Abc_LutCascadeGenOne() : abcCas.c
• Abc_LutCascadeGenTest() : abcCas.c
• Abc_LutCascadeLookup() : abcCas.c
• Abc_LutCascadeMinBase() : abcCas.c
• Abc_LutCascadePrint() : abcCas.c
• Abc_LutCascadePrintLut() : abcCas.c
• Abc_LutCascadeTest() : abcCas.c
• Abc_LutCascadeTruth() : abcCas.c
• Abc_LutCasCollapse() : extraLutCas.h
• Abc_LutCasCollapseDeref() : extraLutCas.h
• Abc_LutCasFakeNames() : extraLutCas.h
• Abc_LutCasFree() : abcCas.c
• Abc_LutCasPrintDsd() : extraLutCas.h
• Abc_ManCollectLatches_rec() : retLvalue.c
• Abc_ManExpandCex() : cmdPlugin.c
• Abc_ManReadAig() : cmdPlugin.c
• Abc_ManReadBinary() : cmdPlugin.c
• Abc_ManReadFile() : cmdPlugin.c
• Abc_ManReadInteger() : cmdPlugin.c
• Abc_ManReadStatus() : cmdPlugin.c
• Abc_ManResubCollectDivs_rec() : abcResub.c
• Abc_ManResubCollectDivs_rec1() : abcOrchestration.c
• Abc_ManResubDumpInstance() : abcResub.c
• Abc_ManResubQuit0() : abcResub.c
• Abc_ManResubQuit0_1() : abcOrchestration.c
• Abc_ManResubQuit1() : abcResub.c
• Abc_ManResubQuit1_1() : abcOrchestration.c
• Abc_ManResubQuit2() : abcResub.c
• Abc_ManResubQuit21() : abcResub.c
• Abc_ManResubQuit21_1() : abcOrchestration.c
• Abc_ManResubQuit2_1() : abcOrchestration.c
• Abc_ManResubQuit3() : abcResub.c
• Abc_ManResubQuit3_1() : abcOrchestration.c
• Abc_ManRewire() : rewire_rar.c, rewire_rar.h
• Abc_ManRewireInt() : rewire_miaig.cpp, rewire_rar.h
• Abc_ManRewireMapAmap() : rewire_map.c, rewire_map.h
• Abc_ManRewireMiniAigFromNtk() : rewire_map.c, rewire_map.h
• Abc_ManRewireNtkFromMiniMapping() : rewire_map.c, rewire_map.h
• Abc_ManRewireNtkWriteMiniMapping() : rewire_map.c, rewire_map.h
• Abc_ManRewritePrintDivs() : abcRewrite.c
• Abc_ManShowCutCone() : abcOrchestration.c
• Abc_ManShowCutCone_rec() : abcRewrite.c
• Abc_ManTimeDup() : abc.h, abcTiming.c
• Abc_ManTimeStop() : abc.h, abcTiming.c
• Abc_MergeSort() : abc_global.h, utilSort.c
• Abc_MergeSortCost() : abc_global.h, utilSort.c
• Abc_MergeSortCost2() : abc_global.h, utilSort.c
• Abc_MergeSortCost2Reverse() : abc_global.h, utilSort.c
• Abc_MergeSortCost_rec() : utilSort.c
• Abc_MergeSortCostMerge() : utilSort.c
• Abc_MffcCollectLeaves() : abcMffc.c
• Abc_MffcCollectNodes() : abcMffc.c
• Abc_MffcDeref_rec() : abcMffc.c
• Abc_MffcRef_rec() : abcMffc.c
• Abc_MfsComputeDivisors() : mfsDiv.c, mfsInt.h
• Abc_MfsComputeRoots() : mfsInt.h, mfsWin.c
• Abc_MfsComputeRoots_rec() : mfsWin.c
• Abc_MfsConvertAigToHop() : mfsStrash.c
• Abc_MfsConvertAigToHop_rec() : mfsStrash.c
• Abc_MfsConvertHopToAig() : mfsStrash.c
• Abc_MfsConvertHopToAig_rec() : mfsStrash.c
• Abc_MfsCreateSolverResub() : mfsInt.h, mfsInter.c
• Abc_MfsNodeDeref_rec() : mfsDiv.c
• Abc_MfsNodeRef_rec() : mfsDiv.c
• Abc_MfsSatAddXor() : mfsInter.c
• Abc_MfsWinMarkTfi() : mfsDiv.c
• Abc_MfsWinMarkTfi_rec() : mfsDiv.c
• Abc_MfsWinSweepLeafTfo_rec() : mfsDiv.c
• Abc_MfsWinVisitMffc() : mfsDiv.c
• Abc_MiniAigFromNtk() : abcMini.c, rewire_map.c
• Abc_NamBuffer() : utilNam.c, utilNam.h
• Abc_NamComputeIdMap() : utilNam.c, utilNam.h
• Abc_NamDeref() : utilNam.c, utilNam.h
• Abc_NamLoad() : utilNam.c, utilNam.h
• Abc_NamMemAlloc() : utilNam.c, utilNam.h
• Abc_NamMemUsed() : utilNam.c, utilNam.h
• Abc_NamObjNumMax() : utilNam.c, utilNam.h
• Abc_NamPrint() : utilNam.c, utilNam.h
• Abc_NamRef() : utilNam.c, utilNam.h
• Abc_NamReportCommon() : utilNam.c, utilNam.h
• Abc_NamReportUnique() : utilNam.c, utilNam.h
• Abc_NamSave() : utilNam.c, utilNam.h
• Abc_NamStart() : utilNam.c, utilNam.h
• Abc_NamStop() : utilNam.c, utilNam.h
• Abc_NamStr() : utilNam.c, utilNam.h
• Abc_NamStrFind() : utilNam.c, utilNam.h
• Abc_NamStrFindLim() : utilNam.c, utilNam.h
• Abc_NamStrFindOrAdd() : utilNam.c, utilNam.h
• Abc_NamStrFindOrAddF() : utilNam.c, utilNam.h
• Abc_NamStrFindOrAddLim() : utilNam.c, utilNam.h
• Abc_NamStrHash() : utilNam.c
• Abc_NamStrHash2() : utilNam.c
• Abc_NamStrHashResize() : utilNam.c
• ABC_Network_Finalize() : csat_apis.c, csat_apis.h
• Abc_NktMffcCollectFanout() : abcMffc.c
• Abc_NktMffcCollectFanout_rec() : abcMffc.c
• Abc_NktMffcCostTwo() : abcMffc.c
• Abc_NktMffcDerive() : abcMffc.c
• Abc_NktMffcFindBest() : abcMffc.c
• Abc_NktMffcFree() : abcMffc.c
• Abc_NktMffcGrowOne() : abcMffc.c
• Abc_NktMffcGrowRoots() : abcMffc.c
• Abc_NktMffcGrowRootsAgain() : abcMffc.c
• Abc_NktMffcMarkRoots() : abcMffc.c
• Abc_NktMffCollectLeafRoot() : abcMffc.c
• Abc_NktMffCollectLeafRootInt() : abcMffc.c
• Abc_NktMffcPrint() : abcMffc.c
• Abc_NktMffcPrintInt() : abcMffc.c
• Abc_NktMffcSaveOne() : abcMffc.c
• Abc_NktMffcServer() : abcMffc.c
• Abc_NktMffcServerTest() : abcMffc.c
• Abc_NktMffcSupport() : abcMffc.c
• Abc_NktMffcTest() : abcMffc.c
• Abc_NktMffcTestIdea() : abcMffc.c
• Abc_NktMffcTestIdeaOne() : abcMffc.c
• Abc_NktMffcTestSuper() : abcMffc.c
• Abc_NodeBalanceConeExor_rec() : abcBalance.c
• Abc_NodeBalanceFindLeft() : abcBalance.c
• Abc_NodeBalancePermute() : abcBalance.c
• Abc_NodeBddToCnf() : abc.h, abcFunc.c
• Abc_NodeBuildFromMini() : abcIf.c
• Abc_NodeBuildFromMiniInt() : abcIf.c
• Abc_NodeCheckDist1Free() : abcFanOrder.c
• Abc_NodeCheckFanoutHasFanin() : sfmArea.c
• Abc_NodeCollectFanins() : abc.h, abcUtil.c
• Abc_NodeCollectFanouts() : abc.h, abcUtil.c
• Abc_NodeCollectTfoCands() : abc.h, abcReconv.c
• Abc_NodeCompareByFanoutCount() : abcNtk.c
• Abc_NodeCompareCiCo() : abcNames.c
• Abc_NodeCompareCubes1() : abcFanOrder.c
• Abc_NodeCompareCubes2() : abcFanOrder.c
• Abc_NodeCompareIndexes() : abcNames.c
• Abc_NodeCompareLevels() : sclBuffer.c
• Abc_NodeCompareLevelsDecrease() : abc.h, abcUtil.c
• Abc_NodeCompareLevelsInc() : abcLut.c
• Abc_NodeCompareLevelsIncrease() : abc.h, abcUtil.c
• Abc_NodeCompareNames() : abc.h, abcNames.c
• Abc_NodeCompareVolumeDecrease() : abcMffc.c
• Abc_NodeComplement() : abc.h, abcObj.c
• Abc_NodeComplementInput() : abc.h, abcObj.c
• Abc_NodeConeCollect() : abc.h, abcReconv.c
• Abc_NodeConeIsConst0() : abcRefactor.c
• Abc_NodeConeIsConst0_1() : abcOrchestration.c
• Abc_NodeConeIsConst1() : abcRefactor.c
• Abc_NodeConeIsConst1_1() : abcOrchestration.c
• Abc_NodeConeTruth() : abcRefactor.c
• Abc_NodeConeTruth_1() : abcOrchestration.c
• Abc_NodeConvertSopToMvSop() : abc.h, abcBlifMv.c
• Abc_NodeCovDropData() : cov.h, covMan.c
• Abc_NodeCovSupport() : covCore.c
• Abc_NodeDecomposeSort() : abcLut.c
• Abc_NodeDelayTraceArrival() : abcTiming.c
• Abc_NodeDeref_rec() : abc.h, abcRefs.c
• Abc_NodeDeriveCover() : covTest.c
• Abc_NodeDeriveCoverPro() : covTest.c
• Abc_NodeDeriveCoverSum() : covTest.c
• Abc_NodeDeriveEsops() : covTest.c
• Abc_NodeDeriveSops() : covTest.c
• Abc_NodeEvalMvCost() : abc.h, abcBlifMv.c
• Abc_NodeEvalMvCostInternal() : abcBlifMv.c
• Abc_NodeFanin0Copy() : abcMini.c
• Abc_NodeFanin0Copy2() : abcMini.c
• Abc_NodeFanin1Copy() : abcMini.c
• Abc_NodeFanin1Copy2() : abcMini.c
• Abc_NodeFindCoFanout() : abc.h, abcUtil.c
• Abc_NodeFindCone_rec() : abcBalance.c
• Abc_NodeFindCut() : abc.h, abcReconv.c
• Abc_NodeFindFanin() : abc.h, abcUtil.c
• Abc_NodeFindNonCoFanout() : abc.h, abcUtil.c
• Abc_NodeFreeCuts() : abc.h, abcCut.c
• Abc_NodeFreeNames() : abc.h, abcNames.c
• Abc_NodeFromIf_rec() : abcIf.c
• Abc_NodeFromMapSuper_rec() : abcMap.c
• Abc_NodeGetCuts() : abc.h, abcCut.c
• Abc_NodeGetCutsRecursive() : abc.h, abcCut.c
• Abc_NodeGetCutsSeq() : abc.h, abcCut.c
• Abc_NodeGetFakeNames() : abc.h, abcNames.c
• Abc_NodeGetFaninNames() : abc.h, abcNames.c
• Abc_NodeGetLevel() : abcLut.c
• Abc_NodeGetPrintName() : abcPrint.c
• Abc_NodeGetSuper() : abcStrash.c
• Abc_NodeHasUniqueCoFanout() : abc.h, abcUtil.c
• Abc_NodeIfNodeResyn() : abcBidec.c
• Abc_NodeIfToHop2_rec() : abcIf.c
• Abc_NodeIfToHop_rec() : abcIf.c
• Abc_NodeInvUpdateFanPolarity() : sclBuffer.c, sclSize.h
• Abc_NodeInvUpdateObjFanoutPolarity() : sclBuffer.c, sclSize.h
• Abc_NodeIsBuf() : abc.h, abcObj.c
• Abc_NodeIsConst() : abc.h, abcObj.c
• Abc_NodeIsConst0() : abc.h, abcObj.c
• Abc_NodeIsConst1() : abc.h, abcObj.c
• Abc_NodeIsExorType() : abc.h, abcUtil.c
• Abc_NodeIsInv() : abc.h, abcObj.c
• Abc_NodeIsMuxControlType() : abc.h, abcUtil.c
• Abc_NodeIsMuxType() : abc.h, abcUtil.c
• Abc_NodeLeavesRemove() : abcLut.c
• Abc_NodeMakeDist1Free() : abcFanOrder.c
• Abc_NodeMakeLegit() : abcFanOrder.c
• Abc_NodeMakeSCCFree() : abcFanOrder.c
• Abc_NodeMffcConeSupp() : abc.h, abcRefs.c
• Abc_NodeMffcConeSupp_rec() : abcRefs.c
• Abc_NodeMffcConeSuppPrint() : abcRefs.c
• Abc_NodeMffcInside() : abcRefs.c
• Abc_NodeMffcInsideCollect() : abcRefs.c
• Abc_NodeMffcLabel() : abc.h, abcRefs.c
• Abc_NodeMffcLabel_rec() : abcRefs.c
• Abc_NodeMffcLabelAig() : abc.h, abcRefs.c
• Abc_NodeMffcSize() : abc.h, abcRefs.c
• Abc_NodeMffcSizeStop() : abc.h, abcRefs.c
• Abc_NodeMffcSizeSupp() : abc.h
• Abc_NodeMinimumBase() : abc.h, abcMinBase.c
• Abc_NodePrintCuts() : abcOrchestration.c
• Abc_NodePrintFactor() : abc.h, abcPrint.c
• Abc_NodePrintFanio() : abc.h, abcPrint.c
• Abc_NodePrintKMap() : abcPrint.c
• Abc_NodePrintLevel() : abc.h, abcPrint.c
• Abc_NodePrintSop() : abcPrint.c
• Abc_NodeReadArrival() : abc.h, abcTiming.c
• Abc_NodeReadArrivalAve() : abc.h, abcTiming.c
• Abc_NodeReadArrivalWorst() : abc.h, abcTiming.c
• Abc_NodeReadCuts() : abc.h, abcCut.c
• Abc_NodeReadInputDrive() : abc.h, abcTiming.c
• Abc_NodeReadInputDriveWorst() : abc.h, abcTiming.c
• Abc_NodeReadOutputLoad() : abc.h, abcTiming.c
• Abc_NodeReadOutputLoadWorst() : abc.h, abcTiming.c
• Abc_NodeReadRequired() : abc.h, abcTiming.c
• Abc_NodeReadRequiredAve() : abc.h, abcTiming.c
• Abc_NodeReadRequiredWorst() : abc.h, abcTiming.c
• Abc_NodeRecognizeMux() : abc.h, abcUtil.c
• Abc_NodeRef_rec() : abc.h, abcRefs.c
• Abc_NodeRefactor() : abcRefactor.c
• Abc_NodeRefactor_1() : abcOrchestration.c
• Abc_NodeRemoveDupFanins() : abc.h
• Abc_NodeRemoveNonCurrentObjects() : abcSweep.c
• Abc_NodeSetChoiceLevel_rec() : abcDfs.c
• Abc_NodeShowBdd() : abcShow.c
• Abc_NodeShowCut() : abcShow.c
• Abc_NodeSopToCubes() : abcUtil.c
• Abc_NodeSortCubes() : abcFanOrder.c
• Abc_NodeSplitLarge() : abcFanOrder.c
• Abc_NodeStrash() : abc.h, abcStrash.c
• Abc_NodeStrash_rec() : abcStrash.c
• Abc_NodeStrashBlifMv() : abcBlifMv.c
• Abc_NodeStrashToGia() : abcHieGia.c
• Abc_NodeStrashToGia_rec() : abcHieGia.c
• Abc_NodeStrashUsingNetwork() : abcLib.c
• Abc_NodeStrashUsingNetwork_rec() : abcLib.c
• Abc_NodeSuperChoiceCollect() : abcLut.c
• Abc_NodeSuperChoiceCollect2() : abcLut.c
• Abc_NodeSuperChoiceCollect2_rec() : abcLut.c
• Abc_NodeSuperChoiceCollect_rec() : abcLut.c
• Abc_NodeSuperChoiceTruth() : abcLut.c
• Abc_NodeVarX() : extraUtilPath.c
• Abc_NodeVarY() : extraUtilPath.c
• Abc_NpnTest() : abcNpn.c
• Abc_Ntk4VarObj() : abcMeasure.c
• Abc_Ntk4VarObjPrint_rec() : abcMeasure.c
• Abc_Ntk4VarTable() : abcMeasure.c
• Abc_NtkAddBuffs() : abcUtil.c
• Abc_NtkAddBuffsEval() : abcUtil.c
• Abc_NtkAddBuffsEval2() : abcUtil.c
• Abc_NtkAddBuffsInt() : abcUtil.c
• Abc_NtkAddBuffsOne() : abcUtil.c
• Abc_NtkAddCharPiNames() : abcNames.c
• Abc_NtkAddCharPoNames() : abcNames.c
• Abc_NtkAddDummyBoxNames() : abc.h, abcNames.c
• Abc_NtkAddDummyPiNames() : abc.h, abcNames.c
• Abc_NtkAddDummyPoNames() : abc.h, abcNames.c
• Abc_NtkAddEdges() : abcCas.c
• Abc_NtkAddLatch() : abc.h, abcLatch.c
• Abc_NtkAddOneHotness() : mfsInt.h, mfsSat.c
• Abc_NtkAfterTrim() : abcDar.c
• Abc_NtkAigForConstraints() : mfsStrash.c
• Abc_NtkAigToBdd() : abc.h, abcFunc.c
• Abc_NtkAigToGia() : abc.h, abcFunc.c
• Abc_NtkAigToGiaOne() : abcDress3.c
• Abc_NtkAigToGiaTwo() : abcDress3.c
• Abc_NtkAigToLogicSopNand() : abcNetlist.c
• Abc_NtkAlloc() : abc.h, abcNtk.c
• Abc_NtkAllocBdd() : abcNtk.c
• Abc_NtkAppend() : abc.h, abcStrash.c
• Abc_NtkAppendToCone() : abc.h, abcNtk.c
• Abc_NtkAreaOpt() : sfmDec.c
• Abc_NtkAreaOpt2() : sfmDec.c
• Abc_NtkAreaOptOne() : sfmDec.c
• Abc_NtkAssignIDs() : abcMfs.c
• Abc_NtkAssignIDs2() : abcMfs.c
• Abc_NtkAssignStarts() : abcMfs.c
• Abc_NtkATMap() : abcUtil.c
• Abc_NtkAttach() : abc.h, abcAttach.c
• Abc_NtkAttachBottom() : abcNtk.c, retArea.c
• Abc_NtkAttrFree() : abc.h, abcUtil.c
• Abc_NtkAutoDebug() : abcDebug.c
• Abc_NtkAutoPrint() : abcAuto.c
• Abc_NtkBalance() : abc.h, abcBalance.c
• Abc_NtkBalanceAttach() : abcBalance.c
• Abc_NtkBalanceDetach() : abcBalance.c
• Abc_NtkBalanceExor() : abc.h, abcDar.c
• Abc_NtkBalanceLevel() : abcBalance.c
• Abc_NtkBalanceLevel_rec() : abcBalance.c
• Abc_NtkBarBufsFromBuffers() : abc.h, abcBarBuf.c
• Abc_NtkBarBufsOnOffTest() : abcBarBuf.c
• Abc_NtkBarBufsToBuffers() : abc.h, abcBarBuf.c
• Abc_NtkBddDec() : abcCascade.c
• Abc_NtkBddDecExplore() : abcLutmin.c
• Abc_NtkBddReorder() : abcIf.c, abcReorder.c
• Abc_NtkBddToMuxes() : abc.h, abcNtbdd.c
• Abc_NtkBddToSop() : abc.h, abcFunc.c
• Abc_NtkBidecResyn() : abcBidec.c, abcIf.c
• Abc_NtkBmc() : abcBmc.c
• Abc_NtkBmcFileName() : abcScorr.c
• Abc_NtkBmSat() : abcBm.c
• Abc_NtkBottom() : abcNtk.c
• Abc_NtkBottommost() : abcStrash.c
• Abc_NtkBottommost_rec() : abcStrash.c
• Abc_NtkBuildGlobalBdds() : abc.h
• Abc_NtkCascade() : abcCas.c
• Abc_NtkCascadeDecompose() : extraLutCas.h
• Abc_NtkCecFraig() : abcVerify.c
• Abc_NtkCecFraigPart() : abcVerify.c
• Abc_NtkCecFraigPartAuto() : abcVerify.c
• Abc_NtkCecSat() : abcVerify.c
• Abc_NtkChangePerform() : sfmArea.c
• Abc_NtkCharNames() : abc.h, abcNames.c
• Abc_NtkCheck() : abc.h, abcCheck.c
• Abc_NtkCheckConstant_rec() : abcSweep.c
• Abc_NtkCheckGpc() : abcUtil.c
• Abc_NtkCheckObj() : abc.h, abcCheck.c
• Abc_NtkCheckRead() : abc.h, abcCheck.c
• Abc_NtkCheckRecursive() : abcHieCec.c, abcHieNew.c
• Abc_NtkCheckSingleInstance() : abcBarBuf.c
• Abc_NtkCheckSpecialPi() : io.c
• Abc_NtkCheckUniqueCiNames() : abc.h, abcCheck.c
• Abc_NtkCheckUniqueCioNames() : abc.h, abcCheck.c
• Abc_NtkCheckUniqueCoNames() : abc.h, abcCheck.c
• Abc_NtkClauseAnd() : abcSat.c
• Abc_NtkClauseMux() : abcSat.c
• Abc_NtkClauseTop() : abcSat.c
• Abc_NtkClauseTriv() : abcSat.c
• Abc_NtkCleanCopy() : abc.h, abcUtil.c
• Abc_NtkCleanCopy_rec() : abc.h, abcUtil.c
• Abc_NtkCleanData() : abc.h, abcUtil.c
• Abc_NtkCleanMarkA() : abc.h, abcUtil.c
• Abc_NtkCleanMarkAB() : abc.h, abcUtil.c
• Abc_NtkCleanMarkABC() : abc.h, abcUtil.c
• Abc_NtkCleanMarkB() : abc.h, abcUtil.c
• Abc_NtkCleanMarkC() : abc.h, abcUtil.c
• Abc_NtkCleanNames() : abc.h, abcNames.c
• Abc_NtkCleanNext() : abc.h, abcUtil.c
• Abc_NtkCleanNext_rec() : abc.h, abcUtil.c
• Abc_NtkCleanup() : abc.h, abcSweep.c
• Abc_NtkCleanupNodes() : abc.h, abcSweep.c
• Abc_NtkCleanupSeq() : abc.h, abcSweep.c
• Abc_NtkCloneObj() : abc.h, abcObj.c
• Abc_NtkClpDeriveSatSolver() : abcCollapse.c
• Abc_NtkClpGia() : abc.h, abcCollapse.c
• Abc_NtkClpGia_rec() : abcCollapse.c
• Abc_NtkClpGiaOne() : abcCollapse.c
• Abc_NtkClpGiaOne2() : abcCollapse.c
• Abc_NtkClpOneGia_rec() : abcUtil.c
• Abc_NtkCollapse() : abc.h, abcCollapse.c
• Abc_NtkCollapseReduce() : abcCollapse.c
• Abc_NtkCollapseSat() : abc.h, abcCollapse.c
• Abc_NtkCollectCiCones() : abcPrint.c
• Abc_NtkCollectCiNames() : abc.c, abcDar.c
• Abc_NtkCollectCioNames() : abc.h, abcNames.c
• Abc_NtkCollectCircle() : abcMerge.c, fahout_cut.c
• Abc_NtkCollectCiSupps() : abcPrint.c
• Abc_NtkCollectCoCones() : abcPrint.c
• Abc_NtkCollectCoNames() : abc.c, abcDar.c
• Abc_NtkCollectCopies() : acbUtil.c
• Abc_NtkCollectCoSupps() : abcPrint.c
• Abc_NtkCollectEquivClasses() : abcDress3.c
• Abc_NtkCollectHie() : abcHieCec.c
• Abc_NtkCollectHie_rec() : abcHieCec.c
• Abc_NtkCollectLatches() : abc.h, abcUtil.c
• Abc_NtkCollectLatchValues() : abc.h, abcLatch.c
• Abc_NtkCollectLatchValuesStr() : abc.h, abcLatch.c
• Abc_NtkCollectNodesByArea() : sclDnsize.c
• Abc_NtkCollectNonOverlapCands() : abcMerge.c, fahout_cut.c
• Abc_NtkCollectObjects() : abc.h, abcUtil.c
• Abc_NtkCollectObjectsPointedTo() : abcPart.c
• Abc_NtkCollectObjectsWithSuppLimit() : abcPart.c
• Abc_NtkCollectOverlapCands() : abcMerge.c, fahout_cut.c
• Abc_NtkCollectPiPos() : abcBarBuf.c
• Abc_NtkCollectPiPos_int() : abcBarBuf.c
• Abc_NtkCollectPiPos_rec() : abcBarBuf.c
• Abc_NtkCollectSupergate() : abcSat.c
• Abc_NtkCollectSupergate_rec() : abcSat.c
• Abc_NtkCombinePos() : abc.h, abcMiter.c
• Abc_NtkCompareAndSaveBest() : abcPrint.c
• Abc_NtkCompareBoxes() : abcCheck.c
• Abc_NtkCompareCones() : abcUtil.c
• Abc_NtkCompareConesCompare() : abcUtil.c
• Abc_NtkCompareNames() : abcHie.c
• Abc_NtkCompareSignals() : abc.h, abcCheck.c
• Abc_NtkCompareSupports() : abcUtil.c
• Abc_NtkComputeDelay() : abcUtil.c
• Abc_NtkComputeFanoutInfo() : sclBufSize.c
• Abc_NtkComputeFanoutLoad() : sclBufSize.c
• Abc_NtkComputeNodeDeparture() : sclBufSize.c
• Abc_NtkComputeNodeLoad() : sclBufSize.c
• Abc_NtkComputePaths() : acbUtil.c
• Abc_NtkComputeSupportsNaive() : abcPart.c
• Abc_NtkComputeSupportsSmart() : abcPart.c
• Abc_NtkConstraintRatio() : mfsInt.h, mfsStrash.c
• Abc_NtkConstructAig() : mfsInt.h, mfsStrash.c
• Abc_NtkConstructAig_rec() : mfsStrash.c
• Abc_NtkConstructCare_rec() : mfsStrash.c
• Abc_NtkConstructFromCnf() : abcDar.c
• Abc_NtkConverLatchNamesIntoNumbers() : abc.h, abcLatch.c
• Abc_NtkConvertBb2Wb() : ioWriteBlif.c
• Abc_NtkConvertBlackboxes() : abc.h, abcHie.c
• Abc_NtkConvertCos() : abcPart.c
• Abc_NtkConvertDcLatches() : abc.h, abcLatch.c
• Abc_NtkConvertOnehot() : abcLatch.c
• Abc_NtkConvertToBlifMv() : abc.h, abcBlifMv.c
• Abc_NtkCountAndNodes() : abcHieCec.c
• Abc_NtkCountBarBufs() : abcBarBuf.c
• Abc_NtkCountCopy() : abc.h, abcUtil.c
• Abc_NtkCountInst() : abcHieCec.c
• Abc_NtkCountInst_rec() : abcHieCec.c
• Abc_NtkCountMuxes() : abcUtil.c
• Abc_NtkCountNodes() : abcHieCec.c
• Abc_NtkCountNodes_rec() : abcHieCec.c
• Abc_NtkCountPis() : abcPrint.c
• Abc_NtkCountSelfFeedLatches() : abc.h, abcLatch.c
• Abc_NtkCountStats() : sfmDec.c
• Abc_NtkCountTotalFanins() : abcMerge.c, fahout_cut.c
• Abc_NtkCovDerive() : cov.h, covBuild.c
• Abc_NtkCovDerive_rec() : covBuild.c
• Abc_NtkCovDeriveClean() : cov.h, covBuild.c
• Abc_NtkCovDeriveCube() : covBuild.c
• Abc_NtkCovDeriveCubeInv() : covBuild.c
• Abc_NtkCovDeriveInv() : covBuild.c
• Abc_NtkCovDeriveNode_rec() : covBuild.c
• Abc_NtkCovDeriveNodeInv_rec() : covBuild.c
• Abc_NtkCovDeriveRegular() : cov.h, covBuild.c
• Abc_NtkCovTestSop() : cov.h
• Abc_NtkCreateCone() : abc.h, abcNtk.c
• Abc_NtkCreateConeArray() : abc.h, abcNtk.c
• Abc_NtkCreateFromGias() : abc.h, abcNtk.c
• Abc_NtkCreateFromNode() : abc.h, abcNtk.c
• Abc_NtkCreateFromRange() : abc.h, abcNtk.c
• Abc_NtkCreateFromSops() : abc.h, abcNtk.c
• Abc_NtkCreateMffc() : abc.h, abcNtk.c
• Abc_NtkCreateNodeAnd() : abc.h, abcObj.c
• Abc_NtkCreateNodeBuf() : abc.h, abcObj.c
• Abc_NtkCreateNodeConst0() : abc.h, abcObj.c
• Abc_NtkCreateNodeConst1() : abc.h, abcObj.c
• Abc_NtkCreateNodeExor() : abc.h, abcObj.c
• Abc_NtkCreateNodeInv() : abc.h, abcObj.c
• Abc_NtkCreateNodeMapped() : abcPart.c
• Abc_NtkCreateNodeMux() : abc.h, abcObj.c
• Abc_NtkCreateNodeOr() : abc.h, abcObj.c
• Abc_NtkCreateObj() : abc.h, abcObj.c
• Abc_NtkCreatePropertyMonitor() : abcUtil.c
• Abc_NtkCreatePropertyMonitorTest() : abcUtil.c
• Abc_NtkCreateTarget() : abc.h, abcNtk.c
• Abc_NtkCreateWithNode() : abc.h, abcNtk.c
• Abc_NtkCreateWithNodes() : abc.h, abcNtk.c
• Abc_NtkCRetime() : abcLatch.c
• Abc_NtkCrossCut() : abcUtil.c
• Abc_NtkCrossCut_rec() : abcUtil.c
• Abc_NtkCSweep() : abcDar.c
• Abc_NtkCutCostMux() : abcIfMux.c
• Abc_NtkCutCostMuxPrecompute() : abcIfMux.c
• Abc_NtkCuts() : abcCut.c
• Abc_NtkCutsAddFanunt() : abcCut.c
• Abc_NtkCutsOracle() : abcCut.c
• Abc_NtkCutsSubtractFanunt() : abcCut.c
• Abc_NtkCycleInitState() : abcXsim.c
• Abc_NtkCycleInitStateSop() : retInit.c
• Abc_NtkDar() : abcDar.c
• Abc_NtkDarAbSec() : abcDar.c
• Abc_NtkDarAmap() : abcDar.c, rewire_map.c
• Abc_NtkDarBmc() : abcDar.c
• Abc_NtkDarBmc3() : abcDar.c, wlcPth.c
• Abc_NtkDarBmcInter() : abcDar.c
• Abc_NtkDarBmcInter_int() : abcDar.c
• Abc_NtkDarCec() : abcDar.c
• Abc_NtkDarClau() : abcDar.c
• Abc_NtkDarCleanupAig() : abcDar.c
• Abc_NtkDarClockGate() : abcDar.c
• Abc_NtkDarConstr() : abcDar.c
• Abc_NtkDarConstrProfile() : abcDar.c
• Abc_NtkDarDemiter() : abcDar.c
• Abc_NtkDarDemiterDual() : abcDar.c
• Abc_NtkDarDemiterNew() : abcDar.c
• Abc_NtkDarEnlarge() : abcDar.c
• Abc_NtkDarExtWin() : abcDar.c
• Abc_NtkDarFold() : abcDar.c
• Abc_NtkDarFold2() : abcDarUnfold2.c
• Abc_NtkDarFraig() : abcDar.c
• Abc_NtkDarFraigPart() : abcDar.c
• Abc_NtkDarFrames() : abcDar.c
• Abc_NtkDarInduction() : abcDar.c
• Abc_NtkDarInsWin() : abcDar.c
• Abc_NtkDarIPdr() : pdrIncr.c
• Abc_NtkDarLatchSweep() : abc.h, abcDar.c
• Abc_NtkDarLcorr() : abcDar.c
• Abc_NtkDarLcorrNew() : abcDar.c
• Abc_NtkDarMatch() : abcDar.c
• Abc_NtkDarOutdec() : abcDar.c
• Abc_NtkDarPdr() : abcDar.c
• Abc_NtkDarPrintCone() : abc.h, abcDar.c
• Abc_NtkDarProve() : abcDar.c
• Abc_NtkDarReach() : abcDar.c
• Abc_NtkDarRetime() : abcDar.c
• Abc_NtkDarRetimeF() : abcDar.c
• Abc_NtkDarRetimeMinArea() : abcDar.c
• Abc_NtkDarRetimeMostFwd() : abcDar.c
• Abc_NtkDarRetimeStep() : abcDar.c
• Abc_NtkDarSec() : abcDar.c
• Abc_NtkDarSeqSim() : abcDar.c
• Abc_NtkDarSeqSim3() : abcDar.c
• Abc_NtkDarSeqSweep() : abcDar.c
• Abc_NtkDarSeqSweep2() : abcDar.c
• Abc_NtkDarSimSec() : abcDar.c
• Abc_NtkDarSynch() : abcDar.c
• Abc_NtkDarSynchOne() : abcDar.c
• Abc_NtkDarTempor() : abcDar.c
• Abc_NtkDarTest() : abcDar.c
• Abc_NtkDarTestNtk() : abcDar.c
• Abc_NtkDarToCnf() : abcDar.c
• Abc_NtkDarUnfold() : abcDar.c
• Abc_NtkDarUnfold2() : abcDarUnfold2.c
• Abc_NtkDC2() : abcDar.c
• Abc_NtkDch() : abcDar.c
• Abc_NtkDChoice() : abcDar.c
• Abc_NtkDecFromTruth() : lpkCore.c
• Abc_NtkDecPatCount() : extraLutCas.h
• Abc_NtkDecPatDecompose() : extraLutCas.h
• Abc_NtkDecPatDecompose_rec() : extraLutCas.h
• Abc_NtkDelayOpt() : sfmDec.c
• Abc_NtkDelayTrace() : abc.h, abcTiming.c
• Abc_NtkDelayTraceCritPath_rec() : abcTiming.c
• Abc_NtkDelayTraceCritPathCollect_rec() : abcTiming.c
• Abc_NtkDelayTraceLut() : abc.h, abcSpeedup.c
• Abc_NtkDelayTracePrint() : abcSpeedup.c
• Abc_NtkDelayTraceSlackStart() : abcTiming.c
• Abc_NtkDelayTraceSortPins() : abcSpeedup.c
• Abc_NtkDelayTraceTCEdges() : abcSpeedup.c
• Abc_NtkDelete() : abc.h, abcNtk.c
• Abc_NtkDeleteAll_rec() : abc.h, abcObj.c
• Abc_NtkDeleteObj() : abc.h, abcObj.c
• Abc_NtkDeleteObj_rec() : abc.h, abcObj.c
• Abc_NtkDeleteObjPo() : abc.h, abcObj.c
• Abc_NtkDemiter() : abcMiter.c
• Abc_NtkDeriveFlatGia() : abcHieCec.c
• Abc_NtkDeriveFlatGia2() : abcHieCec.c
• Abc_NtkDeriveFlatGia2Derive() : abcHieCec.c
• Abc_NtkDeriveFlatGia_rec() : abcHieCec.c
• Abc_NtkDeriveFlatGiaSop() : abcHieCec.c, abcHieNew.c
• Abc_NtkDeriveFromBdd() : abc.h
• Abc_NtkDeriveWinInsAll() : abcPart.c
• Abc_NtkDeriveWinNodes() : abcPart.c
• Abc_NtkDeriveWinNodesAll() : abcPart.c
• Abc_NtkDeriveWinOuts() : abcPart.c
• Abc_NtkDeriveWinOutsAll() : abcPart.c
• Abc_NtkDeriveWithOnePo() : abcUtil.c
• Abc_NtkDetectClassesTest() : abcDetect.c
• Abc_NtkDetectClassesTest2() : abcDetect.c
• Abc_NtkDetectFinClasses() : abcDetect.c
• Abc_NtkDetectMatching() : abcUtil.c
• Abc_NtkDetectObjClasses() : abcDetect.c
• Abc_NtkDetectObjClasses_rec() : abcDetect.c
• Abc_NtkDfs() : abc.h, abcDfs.c
• Abc_NtkDfs2() : abc.h, abcDfs.c
• Abc_NtkDfs_iter() : abcDfs.c
• Abc_NtkDfs_rec() : abcDfs.c
• Abc_NtkDfsBoxes() : abcHieCec.c, abcHieNew.c
• Abc_NtkDfsBoxes_rec() : abcHieCec.c
• Abc_NtkDfsCheck_rec() : sfmDec.c
• Abc_NtkDfsHie() : abc.h, abcDfs.c
• Abc_NtkDfsHie_rec() : abcDfs.c
• Abc_NtkDfsIter() : abc.h, abcDfs.c
• Abc_NtkDfsIterNodes() : abc.h, abcDfs.c
• Abc_NtkDfsNatural() : abcPart.c
• Abc_NtkDfsNets() : abcDfs.c
• Abc_NtkDfsNets_rec() : abcDfs.c
• Abc_NtkDfsNodes() : abc.h, abcDfs.c
• Abc_NtkDfsOne_rec() : sfmDec.c
• Abc_NtkDfsReverse() : abc.h, abcDfs.c
• Abc_NtkDfsReverse_rec() : abcDfs.c
• Abc_NtkDfsReverseNodes() : abc.h, abcDfs.c
• Abc_NtkDfsReverseNodes_rec() : abcDfs.c
• Abc_NtkDfsReverseNodesContained() : abc.h, abcDfs.c
• Abc_NtkDfsReverseOne_rec() : sfmDec.c
• Abc_NtkDfsSeq() : abc.h, abcDfs.c
• Abc_NtkDfsSeq_rec() : abcDfs.c
• Abc_NtkDfsSeqReverse() : abc.h, abcDfs.c
• Abc_NtkDfsSeqReverse_rec() : abcDfs.c
• Abc_NtkDfsWithBoxes() : abc.h, abcDfs.c
• Abc_NtkDfsWithBoxes_rec() : abcDfs.c
• Abc_NtkDoCheck() : abc.h, abcCheck.c
• Abc_NtkDontCareAlloc() : abc.h, abcOdc.c
• Abc_NtkDontCareClear() : abc.h, abcOdc.c
• Abc_NtkDontCareCofactors_rec() : abcOdc.c
• Abc_NtkDontCareCompute() : abc.h, abcOdc.c
• Abc_NtkDontCareCountMintsWord() : abcOdc.c
• Abc_NtkDontCareFree() : abc.h, abcOdc.c
• Abc_NtkDontCareQuantify() : abcOdc.c
• Abc_NtkDontCareSimulate() : abcOdc.c
• Abc_NtkDontCareSimulate_rec() : abcOdc.c
• Abc_NtkDontCareSimulateBefore() : abcOdc.c
• Abc_NtkDontCareSimulateSetElem() : abcOdc.c
• Abc_NtkDontCareSimulateSetElem2() : abcOdc.c
• Abc_NtkDontCareSimulateSetRand() : abcOdc.c
• Abc_NtkDontCareTransfer() : abcOdc.c
• Abc_NtkDontCareTransfer_rec() : abcOdc.c
• Abc_NtkDontCareTruthOne() : abcOdc.c
• Abc_NtkDontCareWinAddMissing() : abcOdc.c
• Abc_NtkDontCareWinAddMissing_rec() : abcOdc.c
• Abc_NtkDontCareWinCollectRoots() : abcOdc.c
• Abc_NtkDontCareWinCollectRoots_rec() : abcOdc.c
• Abc_NtkDontCareWindow() : abcOdc.c
• Abc_NtkDontCareWinSweepLeafTfo() : abcOdc.c
• Abc_NtkDontCareWinSweepLeafTfo_rec() : abcOdc.c
• Abc_NtkDouble() : abcNtk.c
• Abc_NtkDRefactor() : abcDar.c
• Abc_NtkDress() : abcDress.c
• Abc_NtkDress2() : abcDress2.c
• Abc_NtkDress2Transfer() : abcDress2.c
• Abc_NtkDressComputeEquivs() : abcDress2.c
• Abc_NtkDressMapClasses() : abcDress2.c
• Abc_NtkDressMapIds() : abcDress2.c
• Abc_NtkDressMapSetPolarity() : abcDress2.c
• Abc_NtkDressPrintEquivs() : abcDress2.c
• Abc_NtkDressPrintStats() : abcDress2.c
• Abc_NtkDRewrite() : abcDar.c
• Abc_NtkDropOneOutput() : abcNtk.c
• Abc_NtkDropSatOutputs() : abcNtk.c
• Abc_NtkDrwsat() : abcDar.c
• Abc_NtkDSat() : abcDar.c, abcQbf.c
• Abc_NtkDsdGlobal() : abcDsd.c
• Abc_NtkDsdLocal() : abcDsd.c
• Abc_NtkDumpBlif() : abcExtract.c
• Abc_NtkDumpEquiv() : abcDress3.c
• Abc_NtkDumpEquivFile() : abcDress3.c
• Abc_NtkDumpOneCex() : io.c
• Abc_NtkDumpOneCexSpecial() : io.c
• Abc_NtkDup() : abc.h, abcNtk.c
• Abc_NtkDupBox() : abc.h, abcObj.c
• Abc_NtkDupDfs() : abc.h, abcNtk.c
• Abc_NtkDupDfsNoBarBufs() : abc.h, abcNtk.c
• Abc_NtkDupObj() : abc.h, abcObj.c
• Abc_NtkDupTransformMiter() : abc.h, abcNtk.c
• Abc_NtkDupWindow() : abcPart.c
• Abc_NtkDupWindows() : abcPart.c
• Abc_NtkEco() : abcEco.c
• Abc_NtkEliminate() : abcMinBase.c
• Abc_NtkEliminate1() : abcMinBase.c
• Abc_NtkEliminateSpecial() : abcMinBase.c
• Abc_NtkEspresso() : abcEspresso.c
• Abc_NtkExpandCubes() : bmcExpand.c
• Abc_NtkExtract() : acbUtil.c
• Abc_NtkExtractMfs() : abcMfs.c
• Abc_NtkExtractMfs2() : abcMfs.c
• Abc_NtkExtractPartitions() : abcPart.c
• Abc_NtkExtractSequentialDcs() : abcUnreach.c
• Abc_NtkFaninFanoutCounters() : abcPrint.c
• Abc_NtkFaninSort() : abcFunc.c
• Abc_NtkFanoutCounts() : abc.h, abcUtil.c
• Abc_NtkFastExtract() : abcFxu.c, fxu.h
• Abc_NtkFetchTwinNode() : abc.h, abcMap.c
• Abc_NtkFillTemp() : abc.h, abcUtil.c
• Abc_NtkFillTruthStore() : abcMfs.c
• Abc_NtkFinalize() : abc.h, abcNtk.c
• Abc_NtkFinalizeRead() : abc.h, abcNtk.c
• Abc_NtkFinCheckPair() : abcDetect.c
• Abc_NtkFinCheckTypesOk() : abcDetect.c
• Abc_NtkFinCheckTypesOk2() : abcDetect.c
• Abc_NtkFinComputeObjects() : abcDetect.c
• Abc_NtkFinComputeTypes() : abcDetect.c
• Abc_NtkFinCountPairs() : abcDetect.c
• Abc_NtkFinCreateList() : abcDetect.c
• Abc_NtkFindCi() : abc.h, abcObj.c
• Abc_NtkFindCiOrder() : abcOrder.c
• Abc_NtkFindCo() : abc.h, abcObj.c
• Abc_NtkFindCriticalEdges() : abcCas.c
• Abc_NtkFindDcLatches() : abcDar.c
• Abc_NtkFindExact() : abc.h, abcExact.c
• Abc_NtkFindGivenFanin() : abcDebug.c
• Abc_NtkFindGoodOrder_rec() : abcIf.c
• Abc_NtkFindNet() : abc.h, abcObj.c
• Abc_NtkFindNode() : abc.h, abcObj.c
• Abc_NtkFindOrCreateNet() : abc.h, abcObj.c
• Abc_NtkFindPathTimeD() : abcCas.c
• Abc_NtkFindPathTimeD_rec() : abcCas.c
• Abc_NtkFindPathTimeR() : abcCas.c
• Abc_NtkFindPathTimeR_rec() : abcCas.c
• Abc_NtkFindTiming() : abcCas.c
• Abc_NtkFinLocalSetdown() : abcDetect.c
• Abc_NtkFinLocalSetup() : abcDetect.c
• Abc_NtkFinMiterCollect() : abcDetect.c
• Abc_NtkFinMiterCollect_rec() : abcDetect.c
• Abc_NtkFinMiterToGia() : abcDetect.c
• Abc_NtkFinRefinement() : abcDetect.c
• Abc_NtkFinSimulateOne() : abcDetect.c
• Abc_NtkFixCoDriverProblem() : abcUtil.c
• Abc_NtkFixNonDrivenNets() : abc.h, abcNtk.c
• Abc_NtkFlattenHierarchyGia() : abc.h, abcHieGia.c
• Abc_NtkFlattenHierarchyGia2() : abcHieGia.c
• Abc_NtkFlattenHierarchyGia2_rec() : abcHieGia.c
• Abc_NtkFlattenHierarchyGia_rec() : abcHieGia.c
• Abc_NtkFlattenLogicHierarchy() : abc.h, abcHie.c
• Abc_NtkFlattenLogicHierarchy2() : abcHie.c
• Abc_NtkFlattenLogicHierarchy2_rec() : abcHie.c
• Abc_NtkFlattenLogicHierarchy_rec() : abcHie.c
• Abc_NtkFpga() : abcFpga.c
• Abc_NtkFpgaFast() : abcFpgaFast.c
• Abc_NtkFraig() : abc.h, abcFraig.c
• Abc_NtkFraigPartitioned() : abcPart.c
• Abc_NtkFraigPartitionedTime() : abcPart.c
• Abc_NtkFraigRestore() : abc.h, abcFraig.c
• Abc_NtkFraigStore() : abc.h, abcFraig.c
• Abc_NtkFraigStoreCheck() : abcFraig.c
• Abc_NtkFraigStoreClean() : abc.h, abcFraig.c
• Abc_NtkFraigSweep() : abcSweep.c
• Abc_NtkFraigTrust() : abc.h, abcFraig.c
• Abc_NtkFrameExtend() : abcDetect.c
• Abc_NtkFrames() : abc.h, abcMiter.c
• Abc_NtkFrames2() : abcMiter.c
• Abc_NtkFreeGlobalBdds() : abc.h
• Abc_NtkFreeMvVars() : abc.h, abcBlifMv.c
• Abc_NtkFromAigPhase() : giaMinLut.c, giaTranStoch.c, abc.c, abcDar.c, wlcPth.c, rewire_map.c, kliveness.c, liveness.c, liveness_sim.c
• Abc_NtkFromArray() : abcUtil.c
• Abc_NtkFromBarBufs() : abc.h, abcBarBuf.c
• Abc_NtkFromBarBufs_rec() : abcBarBuf.c
• Abc_NtkFromCellMappedGia() : abcDar.c, rewire_map.c
• Abc_NtkFromDar() : abcDar.c
• Abc_NtkFromDarChoices() : abcDar.c
• Abc_NtkFromDarSeq() : abcDar.c
• Abc_NtkFromDarSeqSweep() : abcDar.c
• Abc_NtkFromFraig() : abcFraig.c, abcProve.c
• Abc_NtkFromGiaCollapse() : abcDar.c, wlnRead.c
• Abc_NtkFromMap() : abcMap.c
• Abc_NtkFromMappedGia() : abcDar.c, rewire_map.c
• Abc_NtkFromMappedGia_rec() : abcDar.c
• Abc_NtkFromMiniAig() : abcMini.c
• Abc_NtkFromMiniMapping() : abcMap.c, rewire_map.c
• Abc_NtkFromPla() : abcUtil.c
• Abc_NtkFromPlaTest() : abcUtil.c
• Abc_NtkFromSopsInt() : abcCollapse.c
• Abc_NtkFromTruthTable() : abcExact.c
• Abc_NtkFunctionalIso() : abc.h, abcDfs.c
• Abc_NtkFunctionalIsoGia() : abcDfs.c
• Abc_NtkFunctionalIsoGia_rec() : abcDfs.c
• Abc_NtkFunctionalIsoInt() : abcDfs.c
• Abc_NtkFxCheck() : abcFx.c, Fxch.h
• Abc_NtkFxchPerform() : Fxch.c, Fxch.h
• Abc_NtkFxInsert() : abcFx.c, Fxch.h
• Abc_NtkFxPerform() : giaTranStoch.c, abcFx.c
• Abc_NtkFxRetrieve() : abcFx.c, Fxch.h
• Abc_NtkFxuFreeInfo() : abcFxu.c, fxu.h
• Abc_NtkGenFaultList() : abcDetect.c
• Abc_NtkGetAigNodeNum() : abc.h, abcUtil.c
• Abc_NtkGetArea() : abcPrint.c
• Abc_NtkGetAreaSpecial() : abcPrint.c
• Abc_NtkGetAreaSpecial2() : abcPrint.c
• Abc_NtkGetBddNodeNum() : abc.h, abcUtil.c
• Abc_NtkGetBufNum() : abc.h, abcUtil.c
• Abc_NtkGetChoiceNum() : abc.h, abcUtil.c
• Abc_NtkGetCiArrivalFloats() : abc.h, abcTiming.c
• Abc_NtkGetCiArrivalTimes() : abc.h, abcTiming.c
• Abc_NtkGetCiIds() : abc.h, abcUtil.c
• Abc_NtkGetCiSatVarNums() : abcSat.c
• Abc_NtkGetClauseNum() : abc.h, abcUtil.c
• Abc_NtkGetCoRequiredFloats() : abc.h, abcTiming.c
• Abc_NtkGetCoRequiredTimes() : abc.h, abcTiming.c
• Abc_NtkGetCubeNum() : abc.h, abcUtil.c
• Abc_NtkGetCubePairNum() : abc.h, abcUtil.c
• Abc_NtkGetExorNum() : abc.h, abcUtil.c
• Abc_NtkGetFaninMax() : abc.h, abcUtil.c
• Abc_NtkGetFanoutMax() : abc.h, abcUtil.c
• Abc_NtkGetGpcLutCount() : abcUtil.c
• Abc_NtkGetLargeNodeNum() : abc.h, abcUtil.c
• Abc_NtkGetLatchValues() : abcDar.c
• Abc_NtkGetLitFactNum() : abc.h, abcUtil.c
• Abc_NtkGetLitNum() : abc.h, abcUtil.c
• Abc_NtkGetMappedArea() : abc.h, abcUtil.c
• Abc_NtkGetMultiRefNum() : abcUtil.c
• Abc_NtkGetMuxNum() : abc.h, abcUtil.c
• Abc_NtkGetNodeAttributes() : abcCut.c
• Abc_NtkGetNodeAttributes2() : abcCut.c
• Abc_NtkGetSeqPoSupp() : abcVerify.c
• Abc_NtkGetTotalFanins() : abc.h, abcUtil.c
• Abc_NtkHaigCheckTfi() : abcHaig.c
• Abc_NtkHaigCheckTfi_rec() : abcHaig.c
• Abc_NtkHaigCollectMembers() : abcHaig.c
• Abc_NtkHaigCountFans() : abcHaig.c
• Abc_NtkHaigCreateClasses() : abcHaig.c
• Abc_NtkHaigReconstruct() : abcHaig.c
• Abc_NtkHaigRecreateAig() : abcHaig.c
• Abc_NtkHaigResetReprs() : abcHaig.c
• Abc_NtkHaigResetReprsOld() : abcHaig.c
• Abc_NtkHaigStart() : abc.h
• Abc_NtkHaigStop() : abc.h
• Abc_NtkHaigUse() : abc.h
• Abc_NtkHasConstNode() : abcUtil.c
• Abc_NtkHelloWorld() : abcAig.c
• Abc_NtkHieCecTest() : abcHieCec.c
• Abc_NtkHieCecTest2() : abcHieNew.c
• Abc_NtkHopRemoveLoops() : abcHaig.c
• Abc_NtkIf() : giaTranStoch.c, abcIf.c
• Abc_NtkIfifStart() : abcIfif.c
• Abc_NtkIfifStop() : abcIfif.c
• Abc_NtkImplementCiOrder() : abcOrder.c
• Abc_NtkInitialState() : abcQuant.c
• Abc_NtkInOutConeCounters() : abcPrint.c
• Abc_NtkInOutSupportCounters() : abcPrint.c
• Abc_NtkInputMiniAig() : abcMini.c, abcapis.h, abcapis_old.h
• Abc_NtkInputMiniMapping() : abcMap.c
• Abc_NtkInputOutputCounters() : abcPrint.c
• Abc_NtkInsertBlifMv() : abc.h, abcBlifMv.c
• Abc_NtkInsertHierarchyGia() : abc.h, abcHieGia.c
• Abc_NtkInsertLatchValues() : abc.h, abcLatch.c
• Abc_NtkInsertMfs() : abcMfs.c
• Abc_NtkInsertNewLogic() : abc.h, abcHie.c
• Abc_NtkInsertPartitions() : abcPart.c
• Abc_NtkInsertPartitions_rec() : abcPart.c
• Abc_NtkInter() : abcDar.c
• Abc_NtkInterFast() : abcDar.c
• Abc_NtkInterOne() : abcDar.c
• Abc_NtkInvertConstraints() : abc.h, abcUtil.c
• Abc_NtkIsAcyclic() : abc.h, abcDfs.c
• Abc_NtkIsAcyclic_rec() : abcDfs.c
• Abc_NtkIsAcyclicHierarchy() : abc.h, abcCheck.c
• Abc_NtkIsAcyclicHierarchy_rec() : abcCheck.c
• Abc_NtkIsAcyclicWithBoxes() : abc.h, abcDfs.c
• Abc_NtkIsAcyclicWithBoxes_rec() : abcDfs.c
• Abc_NtkIsDfsOrdered() : abc.h, abcDfs.c
• Abc_NtkIsTopo() : abc.h, abcUtil.c
• Abc_NtkIsTrueCex() : abc.h, abcVerify.c
• Abc_NtkIsValidCex() : abc.h, abcVerify.c
• Abc_NtkIvy() : abcIvy.c
• Abc_NtkIvyAfter() : abcIvy.c
• Abc_NtkIvyBefore() : abcBmc.c, abcFpgaFast.c, abcIvy.c
• Abc_NtkIvyCuts() : abcIvy.c
• Abc_NtkIvyFraig() : abcDress.c, abcIvy.c
• Abc_NtkIvyHaig() : abcIvy.c
• Abc_NtkIvyProve() : abc.h, abcIvy.c
• Abc_NtkIvyResyn() : abcIvy.c
• Abc_NtkIvyResyn0() : abcIvy.c
• Abc_NtkIvyRewrite() : abcIvy.c
• Abc_NtkIvyRewriteSeq() : abcIvy.c
• Abc_NtkIvySat() : abcIvy.c
• Abc_NtkIvyStrash() : abcIvy.c
• Abc_NtkLatchIsSelfFeed() : abc.h, abcLatch.c
• Abc_NtkLatchIsSelfFeed_rec() : abcLatch.c
• Abc_NtkLatchPipe() : abcLatch.c
• Abc_NtkLatchSweep() : abcSweep.c
• Abc_NtkLevel() : abc.h, abcDfs.c
• Abc_NtkLevel_rec() : abcDfs.c
• Abc_NtkLevelize() : abc.h, abcDfs.c
• Abc_NtkLevelR() : abc.h, abcDfs.c
• Abc_NtkLevelReverse() : abc.h, abcDfs.c
• Abc_NtkLevelReverse_rec() : abcDfs.c
• Abc_NtkLoadCopy() : abc.h, abcUtil.c
• Abc_NtkLogicHasSimpleCos() : abc.h, abcUtil.c
• Abc_NtkLogicMakeDirectSops() : abc.h, abcFunc.c
• Abc_NtkLogicMakeSimpleCos() : abc.h, abcUtil.c
• Abc_NtkLogicMakeSimpleCos2() : abcUtil.c
• Abc_NtkLogicMakeSimpleCosTest() : abcUtil.c
• Abc_NtkLutCascade() : abcCas.c
• Abc_NtkLutCascadeDeriveSop() : abcCas.c
• Abc_NtkLutCascadeDumpResults() : abcCas.c
• Abc_NtkLutCascadeFile() : abcCas.c
• Abc_NtkLutCascadeFromLuts() : abcCas.c
• Abc_NtkLutCascadeGen() : abcCas.c
• Abc_NtkLutCascadeMap() : abcCas.c
• Abc_NtkLutCascadeOne() : abcCas.c
• Abc_NtkLutCasReadTruths() : abcCas.c
• Abc_NtkLutMerge() : abcMerge.c, fahout_cut.c
• Abc_NtkLutmin() : abcLutmin.c
• Abc_NtkLutMinDecompose() : lpkCore.c
• Abc_NtkMakeComb() : abc.h, abcNtk.c
• Abc_NtkMakeLegit() : abc.h, abcFanOrder.c
• Abc_NtkMakeOnePo() : abcNtk.c, kliveness.c
• Abc_NtkMakeSeq() : abcNtk.c
• Abc_NtkManCutReadCutLarge() : abc.h, abcReconv.c
• Abc_NtkManCutReadCutSmall() : abc.h, abcReconv.c
• Abc_NtkManCutReadVisited() : abc.h, abcReconv.c
• Abc_NtkManCutStart() : abc.h, abcReconv.c
• Abc_NtkManCutStop() : abc.h, abcReconv.c
• Abc_NtkManRefPrintStats() : abcRefactor.c
• Abc_NtkManRefPrintStats_1() : abcOrchestration.c
• Abc_NtkManRefStart() : abcRefactor.c
• Abc_NtkManRefStart_1() : abcOrchestration.c
• Abc_NtkManRefStop() : abcRefactor.c
• Abc_NtkManRefStop_1() : abcOrchestration.c
• Abc_NtkMap() : abcMap.c
• Abc_NtkMapCopyCiArrival() : abcMap.c
• Abc_NtkMapCopyCiArrivalCon() : abcMap.c
• Abc_NtkMapCopyCoRequired() : abcMap.c
• Abc_NtkMapCopyCoRequiredCon() : abcMap.c
• Abc_NtkMapGiaIntoNameId() : abcScorr.c
• Abc_NtkMapToSop() : abc.h, abcFunc.c
• Abc_NtkMapToSopUsingLibrary() : abc.h, abcFunc.c
• Abc_NtkMarkCone_rec() : fretInit.c, fretMain.c, retArea.c
• Abc_NtkMarkFanins_rec() : abcMerge.c, fahout_cut.c
• Abc_NtkMarkFanouts_rec() : abcMerge.c, fahout_cut.c
• Abc_NtkMarkMux() : abcIf.c
• Abc_NtKMarkTfiTfo() : abcPart.c
• Abc_NtkMatchGpcPattern() : abcUtil.c
• Abc_NtkMaxFlow() : retFlow.c, retInt.h
• Abc_NtkMaxFlowCollectCut_rec() : retFlow.c
• Abc_NtkMaxFlowMarkCut_rec() : retFlow.c
• Abc_NtkMaxFlowTest() : retFlow.c, retInt.h
• Abc_NtkMaxFlowVerifyCut_rec() : retFlow.c
• Abc_NtkMemory() : abcPrint.c
• Abc_NtkMfs() : mfs.h, mfsCore.c
• Abc_NtkMfsAfterICheck() : abcMfs.c
• Abc_NtkMfsConstructGia() : mfsGia.c, mfsInt.h
• Abc_NtkMfsDeconstructGia() : mfsGia.c, mfsInt.h
• Abc_NtkMfsEdgePower() : mfsInt.h, mfsResub.c
• Abc_NtkMfsEdgeSwapEval() : mfsInt.h, mfsResub.c
• Abc_NtkMfsInterplate() : mfsInt.h, mfsInter.c
• Abc_NtkMfsInterplateEval() : mfsInt.h, mfsInter.c
• Abc_NtkMfsInterplateTruth() : mfsInter.c
• Abc_NtkMfsNode() : mfsCore.c
• Abc_NtkMfsParsDefault() : mfs.h, mfsCore.c
• Abc_NtkMfsPowerResub() : mfsCore.c
• Abc_NtkMfsPrintResubStats() : mfsInt.h, mfsResub.c
• Abc_NtkMfsResimulate() : mfsGia.c
• Abc_NtkMfsResub() : mfsCore.c
• Abc_NtkMfsResubNode() : mfsInt.h, mfsResub.c
• Abc_NtkMfsResubNode2() : mfsInt.h, mfsResub.c
• Abc_NtkMfsSolveSat() : mfsInt.h, mfsSat.c
• Abc_NtkMfsSolveSat_iter() : mfsSat.c
• Abc_NtkMfsSolveSatResub() : mfsCore.c, mfsResub.c
• Abc_NtkMfsSolveSatResub2() : mfsResub.c
• Abc_NtkMfsTotalGlitching() : abc.h, abcPrint.c
• Abc_NtkMfsTotalGlitchingLut() : abcPrint.c
• Abc_NtkMfsTotalSwitching() : abc.h, abcPrint.c
• Abc_NtkMfsTryResubOnce() : mfsResub.c
• Abc_NtkMfsTryResubOnceGia() : mfsGia.c, mfsInt.h
• Abc_NtkMfsUpdateNetwork() : mfsResub.c
• Abc_NtkMiniAigTest() : abcMini.c
• Abc_NtkMinimumBase() : abc.h, abcMinBase.c
• Abc_NtkMiter() : abc.h, abcMiter.c
• Abc_NtkMiterAddCone() : abc.h, abcMiter.c
• Abc_NtkMiterAnd() : abc.h, abcMiter.c
• Abc_NtkMiterBm() : abcBm.c
• Abc_NtkMiterCofactor() : abc.h, abcMiter.c
• Abc_NtkMiterForCofactors() : abc.h, abcMiter.c
• Abc_NtkMiterIsConstant() : abc.h, abcMiter.c
• Abc_NtkMiterProve() : abc.h, abcProve.c
• Abc_NtkMiterQuantify() : abc.h, abcMiter.c
• Abc_NtkMiterQuantifyPis() : abc.h, abcMiter.c
• Abc_NtkMiterReport() : abc.h, abcMiter.c
• Abc_NtkMiterRwsat() : abcProve.c
• Abc_NtkMiterSat() : abc.h, abcSat.c
• Abc_NtkMiterSatBm() : abcBm.c
• Abc_NtkMiterSatCreate() : abc.h, abcSat.c
• Abc_NtkMiterSatCreateInt() : abcSat.c
• Abc_NtkMoveNames() : abcNames.c
• Abc_NtkMulti() : abcMulti.c
• Abc_NtkNameMan() : abcNames.c
• Abc_NtkNamesCompare() : abcCheck.c
• Abc_NtkNodeConvertToMux() : abcLatch.c
• Abc_NtkNodeDup() : abcNtk.c
• Abc_NtkNodeFactor() : abcSat.c
• Abc_NtkNodeSupport() : abc.h, abcDfs.c
• Abc_NtkNodeSupport_rec() : abcDfs.c
• Abc_NtkNodeSupportInt() : abc.h, abcDfs.c
• Abc_NtkNodeSupportInt_rec() : abcDfs.c
• Abc_NtkOchestration() : abcOrchestration.c
• Abc_NtkOchestration2() : abcOrchestration.c
• Abc_NtkOchestration3() : abcOrchestration.c
• Abc_NtkOptMfse() : acbAbc.c
• Abc_NtkOptPush() : acbAbc.c
• Abc_NtkOrchGNN() : abcOrchestration.c
• Abc_NtkOrchLocal() : abcOrchestration.c
• Abc_NtkOrchRand() : abcOrchestration.c
• Abc_NtkOrchSA() : abcOrchestration.c
• Abc_NtkOrderCisCos() : abc.h, abcUtil.c
• Abc_NtkOrderFaninsById() : abcFanOrder.c
• Abc_NtkOrderFaninsByLitCount() : abcFanOrder.c
• Abc_NtkOrderFaninsByLitCountAndCubeCount() : abcFanOrder.c
• Abc_NtkOrderFaninsBySortingColumns() : abcFanOrder.c
• Abc_NtkOrderObjsByName() : abc.h, abcNames.c
• Abc_NtkOutputMiniAig() : abcMini.c, abcapis.h, abcapis_old.h
• Abc_NtkOutputMiniMapping() : abcMap.c, abcapis.h, abcapis_old.h
• Abc_NtkPartitionCompact() : abcPart.c
• Abc_NtkPartitionedSat() : abcDar.c
• Abc_NtkPartitionNaive() : abcPart.c
• Abc_NtkPartitionPrint() : abcPart.c
• Abc_NtkPartitionSmart() : abcPart.c
• Abc_NtkPartitionSmartFindPart() : abcPart.c
• Abc_NtkPartStartHop() : abcPart.c
• Abc_NtkPartStitchChoices() : abcPart.c
• Abc_NtkPartStitchFindRepr_rec() : abcPart.c
• Abc_NtkPerformIfif() : abcIfif.c
• Abc_NtkPerformMfs() : giaTranStoch.c, abcMfs.c
• Abc_NtkPerformMfs3() : sfmDec.c
• Abc_NtkPermute() : abc.h, abcNtk.c
• Abc_NtkPermuteLevel() : abcPart.c
• Abc_NtkPermutePiUsingFanout() : abcNtk.c
• Abc_NtkPhaseAbstract() : abcDar.c
• Abc_NtkPhaseFrameNum() : abc.h, abcDar.c
• Abc_NtkPowerCriticalEdges() : abcSpeedup.c
• Abc_NtkPowerdown() : abcSpeedup.c
• Abc_NtkPowerEstimate() : abcSpeedup.c
• Abc_NtkPowerPrint() : abcSpeedup.c
• Abc_NtkPrecomputeCellPairs() : sfmArea.c
• Abc_NtkPrecomputeCellPairsTest() : sfmArea.c
• Abc_NtkPrecomputeData() : extraLutCas.h
• Abc_NtkPrecomputeFirsts() : sfmArea.c
• Abc_NtkPrecomputePrint() : sfmArea.c
• Abc_NtkPrepareTwoNtks() : abc.h, abcUtil.c
• Abc_NtkPrint256() : abcUtil.c
• Abc_NtkPrintBoxInfo() : abc.h, abcHie.c
• Abc_NtkPrintCiLevels() : abc.h, abcUtil.c
• Abc_NtkPrintDistribInternal() : abcPrint.c
• Abc_NtkPrintFactor() : abc.h, abcPrint.c
• Abc_NtkPrintFanio() : abc.h, abcPrint.c
• Abc_NtkPrintFanioNew() : abc.h, abcPrint.c
• Abc_NtkPrintFanoutProfile() : sclBufSize.c
• Abc_NtkPrintFanoutProfileVec() : sclBufSize.c
• Abc_NtkPrintFinResults() : abcDetect.c
• Abc_NtkPrintGates() : abcPrint.c
• Abc_NtkPrintIo() : abc.h, abcPrint.c
• Abc_NtkPrintLatch() : abc.h, abcPrint.c
• Abc_NtkPrintLatchEquivClasses() : abcDar.c
• Abc_NtkPrintLevel() : abc.h, abcPrint.c
• Abc_NtkPrintMeasures() : abcMeasure.c
• Abc_NtkPrintMffc() : abcPrint.c
• Abc_NtkPrintMiniMapping() : abcMap.c, abcapis.h, abcapis_old.h, rewire_map.c
• Abc_NtkPrintMiter() : abcPrint.c
• Abc_NtkPrintOneDec() : abcMeasure.c
• Abc_NtkPrintOneDecomp() : abcMeasure.c
• Abc_NtkPrintOneDecomp_rec() : abcMeasure.c
• Abc_NtkPrintOneDecompCheck() : abcMeasure.c
• Abc_NtkPrintOneDecompCheckCofList() : abcMeasure.c
• Abc_NtkPrintPoEquivs() : abcPrint.c
• Abc_NtkPrintSccs() : abcDar.c
• Abc_NtkPrintSharing() : abcPrint.c
• Abc_NtkPrintSkews() : abc.h
• Abc_NtkPrintSop() : abcPrint.c
• Abc_NtkPrintStats() : abc.h, abcPrint.c
• Abc_NtkPrintStrSupports() : abcPrint.c
• Abc_NtkPrintSubraphSizes() : abcDfs.c
• Abc_NtkPrintUnate() : abcUnate.c
• Abc_NtkProfileCascades() : abcCas.c
• Abc_NtkPutOnTop() : abcStrash.c
• Abc_NtkQbf() : abcQbf.c
• Abc_NtkQuantify() : abcQuant.c
• Abc_NtkRandFile() : abcCas.c
• Abc_NtkReachability() : abcQuant.c
• Abc_NtkReadCexFile() : io.c
• Abc_NtkReadDefaultArrival() : abc.h, abcTiming.c
• Abc_NtkReadDefaultArrivalWorst() : abc.h, abcTiming.c
• Abc_NtkReadDefaultInputDrive() : abc.h, abcTiming.c
• Abc_NtkReadDefaultOutputLoad() : abc.h, abcTiming.c
• Abc_NtkReadDefaultRequired() : abc.h, abcTiming.c
• Abc_NtkReadDefaultRequiredWorst() : abc.h, abcTiming.c
• Abc_NtkReadFromFile() : abcMap.c
• Abc_NtkReadLogFile() : abcLog.c
• Abc_NtkReadNodeNames() : abcMiter.c
• Abc_NtkReadSignalPerm() : abcNtk.c
• Abc_NtkReadSignalPerm2() : abcNtk.c
• Abc_NtkReassignIds() : abc.h, abcUtil.c
• Abc_NtkRecAdd3() : abc.h, abcRec3.c
• Abc_NtkRecAddCut3() : abcRec3.c
• Abc_NtkRecDumpTt3() : abcRec3.c
• Abc_NtkRecGetGia3() : abc.h, abcRec3.c
• Abc_NtkRecInputNum3() : abc.h, abcRec3.c
• Abc_NtkRecIsRunning3() : abc.h, abcRec3.c
• Abc_NtkRecLibMerge3() : abc.h, abcRec3.c
• Abc_NtkRecPs3() : abc.h, abcRec3.c
• Abc_NtkRecStart3() : abc.h, abcRec3.c
• Abc_NtkRecStop3() : abc.h, abcRec3.c
• Abc_NtkRecTruthCompare() : abcRec3.c
• Abc_NtkRedirectCiCo() : abcNames.c
• Abc_NtkRefactor() : abc.h, abcProve.c, abcRefactor.c
• Abc_NtkRefactor3() : abcOrchestration.c
• Abc_NtkReinsertNodes() : abcMfs.c
• Abc_NtkRemoveDupFanins() : abc.h, abcMinBase.c
• Abc_NtkRemovePo() : abcNtk.c
• Abc_NtkRemoveSelfFeedLatches() : abc.h, abcLatch.c
• Abc_NtkRenode() : abcRenode.c
• Abc_NtkReplaceAutonomousLogic() : abcSweep.c
• Abc_NtkRestrash() : abc.h, abcStrash.c
• Abc_NtkRestrashRandom() : abcStrash.c
• Abc_NtkRestrashRandom_rec() : abcStrash.c
• Abc_NtkRestrashWithLatches() : abcNtk.c
• Abc_NtkRestrashZero() : abc.h, abcStrash.c
• Abc_NtkRestructure() : abcRestruct.c
• Abc_NtkResubstitute() : abcResub.c
• Abc_NtkResubstitute3() : abcOrchestration.c
• Abc_NtkResynthesize() : res.h, resCore.c
• Abc_NtkRetime() : retCore.c, retInt.h
• Abc_NtkRetimeBackwardInitialFinish() : retInit.c, retInt.h
• Abc_NtkRetimeBackwardInitialStart() : retInit.c, retInt.h
• Abc_NtkRetimeCheckCompatibleLatchFanouts() : retIncrem.c
• Abc_NtkRetimeCollectLatchValues() : retInit.c, retInt.h
• Abc_NtkRetimeDebug() : retCore.c
• Abc_NtkRetimeFinalizeLatches() : retIncrem.c, retInt.h
• Abc_NtkRetimeIncremental() : retIncrem.c, retInt.h
• Abc_NtkRetimeInitialValues() : retInit.c, retInt.h
• Abc_NtkRetimeInsertLatchValues() : retInit.c, retInt.h
• Abc_NtkRetimeLValue() : retInt.h, retLvalue.c
• Abc_NtkRetimeMinArea() : retArea.c, retInt.h
• Abc_NtkRetimeMinAreaConstructNtk_rec() : retArea.c
• Abc_NtkRetimeMinAreaInitValues_rec() : retArea.c
• Abc_NtkRetimeMinDelay() : retDelay.c, retInt.h
• Abc_NtkRetimeNode() : retIncrem.c, retInt.h
• Abc_NtkRetimeNodeIsEnabled() : retIncrem.c, retInt.h
• Abc_NtkRetimePrepareLatches() : retIncrem.c, retInt.h
• Abc_NtkRetimeShareLatches() : retIncrem.c, retInt.h
• Abc_NtkRetimeTranferFromCopy() : retInit.c, retInt.h
• Abc_NtkRetimeTranferToCopy() : retInit.c, retInt.h
• Abc_NtkRetimeWithClassesAig() : abcLatch.c
• Abc_NtkRetimeWithClassesNtk() : abcLatch.c
• Abc_NtkReverse_rec() : abcUtil.c
• Abc_NtkReverseTopoOrder() : abc.h, abcUtil.c
• Abc_NtkReverseTopoOrder_rec() : abcUtil.c
• Abc_NtkReverseTopoOrderTest() : abcUtil.c
• Abc_NtkRewrite() : abc.h, abcRewrite.c
• Abc_NtkRewrite3() : abcOrchestration.c
• Abc_NtkRR() : abcRr.c
• Abc_NtkRRSimulate() : abcRr.c
• Abc_NtkRunGenOne() : abcRunGen.c
• Abc_NtkSaveCopy() : abc.h, abcUtil.c
• Abc_NtkSecFraig() : abcVerify.c
• Abc_NtkSecSat() : abcVerify.c
• Abc_NtkSelectPos() : abcNtk.c
• Abc_NtKSelectRemove() : abcPart.c
• Abc_NtKSelectRemove2() : abcPart.c
• Abc_NtKSelectRemove3() : abcPart.c
• Abc_NtkSensitivity() : abcSense.c
• Abc_NtkSensitivityMiter() : abcSense.c
• Abc_NtkSensitivityMiter_rec() : abcSense.c
• Abc_NtkSeqCuts() : abcCut.c
• Abc_NtkSetAndGateDelay() : abcMap.c, abcapis.h, abcapis_old.h
• Abc_NtkSetCiArrivalTime() : abcMap.c, abcapis.h, abcapis_old.h
• Abc_NtkSetCoRequiredTime() : abcMap.c, abcapis.h, abcapis_old.h
• Abc_NtkSetDefaultFxParams() : abcFxu.c, fxu.h
• Abc_NtkSetFlopNum() : abcMini.c, abcapis.h, abcapis_old.h
• Abc_NtkSetMvVarValues() : abc.h, abcBlifMv.c
• Abc_NtkSetNodeLevelsArrival() : abc.h, abcTiming.c
• Abc_NtkSetTravId_rec() : abcSweep.c
• Abc_NtkShareFindBestMatch() : abcExtract.c
• Abc_NtkShareOptimize() : abcExtract.c
• Abc_NtkSharePrint() : abcExtract.c
• Abc_NtkShareSuperAnd() : abcExtract.c
• Abc_NtkShareSuperXor() : abcExtract.c
• Abc_NtkShareXor() : abcExtract.c
• Abc_NtkShareXorGia() : abcExtract.c
• Abc_NtkShortNames() : abc.h, abcNames.c
• Abc_NtkShow() : abcShow.c
• Abc_NtkShow6VarFunc() : abc.h, abcPrint.c
• Abc_NtkShowBdd() : abcShow.c
• Abc_NtkShowFlopDependency() : abcShow.c
• Abc_NtkSimulateOneNode() : abcBm.c
• Abc_NtkSimulteBuggyMiter() : abcVerify.c
• Abc_NtkSizeOfGlobalBdds() : abc.h
• Abc_NtkSkeletonBlifMv() : abcBlifMv.c
• Abc_NtkSolveGiaMiter() : abcSat.c
• Abc_NtkSopEsopCover() : cov.h, covCore.c
• Abc_NtkSopToAig() : abc.h, abcFunc.c
• Abc_NtkSopToBdd() : abc.h, abcFunc.c
• Abc_NtkSopToBlifMv() : abcFunc.c
• Abc_NtkSopToCubes() : abcUtil.c
• Abc_NtkSopTranspose() : abcFanOrder.c
• Abc_NtkSortCubes() : abcFanOrder.c
• Abc_NtkSortSops() : abc.h, abcFanOrder.c
• Abc_NtkSpacePercentage() : abcNtbdd.c
• Abc_NtkSparsify() : abcDsd.c
• Abc_NtkSpecialMap_rec() : abcLut.c
• Abc_NtkSpecialMapping() : abcLut.c
• Abc_NtkSpecialMiter() : abcMiter.c
• Abc_NtkSpecialMuxTree_rec() : abcMiter.c
• Abc_NtkSpeedup() : abcSpeedup.c
• Abc_NtkSpeedupNode() : abcSpeedup.c
• Abc_NtkSpeedupNode_rec() : abcSpeedup.c
• Abc_NtkSplitLarge() : abcFanOrder.c
• Abc_NtkSplitSop() : abcUtil.c
• Abc_NtkStartFrom() : abc.h, abcNtk.c
• Abc_NtkStartFromNoLatches() : abc.h, abcNtk.c
• Abc_NtkStartFromWithLatches() : abcNtk.c
• Abc_NtkStartMvVars() : abc.h, abcBlifMv.c, ioReadBlifMv.c
• Abc_NtkStartNameIds() : abc.h, abcNames.c
• Abc_NtkStartRead() : abc.h, abcNtk.c
• Abc_NtkStartReverseLevels() : abc.h, abcTiming.c
• Abc_NtkStochMap() : abcPart.c
• Abc_NtkStochProcess() : abcPart.c
• Abc_NtkStochProcess1() : abcPart.c
• Abc_NtkStochProcessOne() : abcPart.c
• Abc_NtkStochSynthesis() : abcPart.c
• Abc_NtkStopReverseLevels() : abc.h, abcTiming.c
• Abc_NtkStrash() : abc.h, abcStrash.c
• Abc_NtkStrashBlifMv() : abc.h, abcBlifMv.c
• Abc_NtkStrashToGia() : abcUtil.c
• Abc_NtkSubDagSize_rec() : abcCut.c
• Abc_NtkSuperChoice() : abcMap.c
• Abc_NtkSuperChoiceLut() : abcLut.c
• Abc_NtkSuppCharAdd() : abcPart.c
• Abc_NtkSuppCharCommon() : abcPart.c
• Abc_NtkSuppCharStart() : abcPart.c
• Abc_NtkSuppMinFile() : abcCas.c
• Abc_NtkSupport() : abc.h, abcDfs.c
• Abc_NtkSupportSum() : abcDfs.c
• Abc_NtkSuppSizeTest() : abcDfs.c
• Abc_NtkSwapOneOutput() : abcNtk.c
• Abc_NtkSwapVariables() : abcQuant.c
• Abc_NtkSweep() : abc.h, abcSweep.c
• Abc_NtkSweepBufsInvs() : abc.h, abcSweep.c
• Abc_NtkSymmetries() : abcSymm.c
• Abc_NtkSynthesize() : abcQuant.c
• Abc_NtkTestCreateArrivals() : abcTim.c
• Abc_NtkTestCreateRequired() : abcTim.c
• Abc_NtkTestEsop() : covTest.c
• Abc_NtkTestMiniMapping() : abcMap.c
• Abc_NtkTestScorr() : abcScorr.c
• Abc_NtkTestScorrGetName() : abcScorr.c
• Abc_NtkTestScorrWriteEquivAig() : abcScorr.c
• Abc_NtkTestScorrWriteEquivConst() : abcScorr.c
• Abc_NtkTestScorrWriteEquivGia() : abcScorr.c
• Abc_NtkTestScorrWriteEquivPair() : abcScorr.c
• Abc_NtkTestSop() : covTest.c
• Abc_NtkTestTim() : abcTim.c
• Abc_NtkTestTimByWritingFile() : abcTim.c
• Abc_NtkTestTimCollectCone() : abcTim.c
• Abc_NtkTestTimCollectCone_rec() : abcTim.c
• Abc_NtkTestTimDeriveGia() : abcTim.c
• Abc_NtkTestTimNodeStrash() : abcTim.c
• Abc_NtkTestTimNodeStrash_rec() : abcTim.c
• Abc_NtkTestTimPerformSynthesis() : abcTim.c
• Abc_NtkTimeInitialize() : abc.h, abcTiming.c
• Abc_NtkTimePrepare() : abcTiming.c
• Abc_NtkTimePrint() : abcTiming.c
• Abc_NtkTimeScale() : abcTiming.c
• Abc_NtkTimeSetArrival() : abc.h, abcTiming.c
• Abc_NtkTimeSetDefaultArrival() : abc.h, abcTiming.c
• Abc_NtkTimeSetDefaultInputDrive() : abc.h, abcTiming.c
• Abc_NtkTimeSetDefaultOutputLoad() : abc.h, abcTiming.c
• Abc_NtkTimeSetDefaultRequired() : abc.h, abcTiming.c
• Abc_NtkTimeSetInputDrive() : abc.h, abcTiming.c
• Abc_NtkTimeSetOutputLoad() : abc.h, abcTiming.c
• Abc_NtkTimeSetRequired() : abc.h, abcTiming.c
• Abc_NtkToAig() : abc.h, abcFunc.c
• Abc_NtkToBarBufs() : abc.h, abcBarBuf.c
• Abc_NtkToBarBufs_rec() : abcBarBuf.c
• Abc_NtkToBarBufsCollect() : abcBarBuf.c
• Abc_NtkToBarBufsCollect_rec() : abcBarBuf.c
• Abc_NtkToBdd() : abc.h, abcFunc.c
• Abc_NtkToDar() : giaTranStoch.c, abc.c, abcDar.c, abcDress2.c, abcIvy.c, kliveness.c, liveness.c, liveness_sim.c, monotone.c, pdrIncr.c
• Abc_NtkToDarBmc() : abcDar.c
• Abc_NtkToDarChoices() : abcDar.c
• Abc_NtkToFraig() : abc.h, abcFraig.c
• Abc_NtkToFraigExdc() : abcFraig.c
• Abc_NtkToGia2() : acbUtil.c
• Abc_NtkToIf() : abcIf.c
• Abc_NtkToLogic() : abc.h, abcNetlist.c
• Abc_NtkToMap() : abcMap.c
• Abc_NtkToMiniAig() : abcMini.c
• Abc_NtkToNetlist() : abc.h, abcNetlist.c
• Abc_NtkToNetlistBench() : abc.h, abcNetlist.c
• Abc_NtkTopAnd() : abcStrash.c
• Abc_NtkTopmost() : abc.h, abcStrash.c
• Abc_NtkTopmost_rec() : abcStrash.c
• Abc_NtkToSop() : abc.h, abcFunc.c
• Abc_NtkTransferCopy() : abc.h, abcUtil.c
• Abc_NtkTransferNameIds() : abc.h, abcNames.c
• Abc_NtkTransferOrder() : abcNames.c
• Abc_NtkTransferPhases() : abc.h, abcUtil.c
• Abc_NtkTransferPointers() : abcIvy.c
• Abc_NtkTransformBack() : abcLatch.c
• Abc_NtkTransformGPCs() : abcUtil.c
• Abc_NtkTransRel() : abcQuant.c
• Abc_NtkTrasferNames() : abc.h, abcNames.c
• Abc_NtkTrasferNamesNoLatches() : abc.h, abcNames.c
• Abc_NtkTraverseSupers() : abcExtract.c
• Abc_NtkTraverseSupersAnd_rec() : abcExtract.c
• Abc_NtkTraverseSupersXor_rec() : abcExtract.c
• Abc_NtkTrim() : abcNtk.c
• Abc_NtkTryNewMiter() : abcMiter.c
• Abc_NtkUnmarkCone_rec() : retArea.c
• Abc_NtkUnpermute() : abc.h, abcNtk.c
• Abc_NtkUnrollAndDrop() : abcMfs.c
• Abc_NtkUpdate() : abc.h, abcTiming.c
• Abc_NtkUpdateGpcPattern() : abcUtil.c
• Abc_NtkUpdateIncLevel_rec() : sfmDec.c
• Abc_NtkUpdateLevel() : abc.h, abcTiming.c
• Abc_NtkUpdateNameIds() : abc.h, abcNames.c
• Abc_NtkUpdateNetwork() : abcExtract.c
• Abc_NtkUpdateNodeD() : abcCas.c
• Abc_NtkUpdateNodeR() : abcCas.c
• Abc_NtkUpdateReverseLevel() : abc.h, abcTiming.c
• Abc_NtkUpdateTiming() : abcCas.c
• Abc_NtkVerifyCex() : abcLatch.c
• Abc_NtkVerifyGetCleanModel() : abc.h, abcVerify.c
• Abc_NtkVerifyReportError() : abcBm.c
• Abc_NtkVerifyReportErrorSeq() : abcVerify.c
• Abc_NtkVerifySimulatePattern() : abc.h, abcVerify.c
• Abc_NtkWindowCheckTopoError() : abcPart.c
• Abc_NtkWindowCheckTopoError_rec() : abcPart.c
• Abc_NtkWriteAig() : abcStrash.c
• Abc_NtkWriteFlopDependency() : abcShow.c
• Abc_NtkWriteLogFile() : abc.h, abcLog.c
• Abc_NtkWriteMiniMapping() : abcMap.c, rewire_map.c
• Abc_NtkWriteSorterCnf() : abcSat.c
• Abc_NtkWriteToFile() : abcMap.c
• Abc_NtkXValueSimulate() : abcXsim.c
• Abc_ObjAddFanin() : abc.h, abcFanio.c
• Abc_ObjAlloc() : abc.h, abcObj.c
• Abc_ObjAssignName() : abc.h, abcNames.c
• Abc_ObjBetterTransferFanout() : fretime.h, fretMain.c
• Abc_ObjChangeEval() : sfmArea.c
• Abc_ObjChangePerform() : sfmArea.c
• Abc_ObjChangeUpdate() : sfmArea.c
• Abc_ObjCompareById() : abcDar.c
• Abc_ObjCompareFlow() : abcIf.c
• Abc_ObjComputeTruth() : abcLut.c
• Abc_ObjDelay0() : abcIfif.c
• Abc_ObjDelay1() : abcIfif.c
• Abc_ObjDelayDegree() : abcIfif.c
• Abc_ObjDeleteFanin() : abc.h, abcFanio.c
• Abc_ObjDfsMark2_rec() : abcPart.c
• Abc_ObjDfsMark_rec() : abcPart.c
• Abc_ObjDressClass() : abcDress2.c
• Abc_ObjDressMakeId() : abcDress2.c
• Abc_ObjEquivId2NtkId() : abcDress2.c
• Abc_ObjEquivId2ObjId() : abcDress2.c
• Abc_ObjEquivId2Polar() : abcDress2.c
• Abc_ObjExpandCubes() : bmcExpand.c
• Abc_ObjExpandCubesTry() : bmcExpand.c
• Abc_ObjFaninSort() : abcFunc.c
• Abc_ObjFanoutFaninNum() : abc.h, abcFanio.c
• Abc_ObjHasDupFanins() : sfmArea.c
• Abc_ObjHasDupFanouts() : sfmArea.c
• Abc_ObjHopFromGia() : abcDar.c
• Abc_ObjHopFromGia_rec() : abcDar.c
• Abc_ObjInsertBetween() : abc.h, abcFanio.c
• Abc_ObjLevelNew() : abc.h, abcTiming.c
• Abc_ObjName() : abc.h, abcNames.c
• Abc_ObjNameChar() : abcNames.c
• Abc_ObjNameDummy() : abc.h, abcNames.c
• Abc_ObjNamePrefix() : abc.h, abcNames.c
• Abc_ObjNameSuffix() : abc.h, abcNames.c
• Abc_ObjPatchFanin() : abc.h, abcFanio.c
• Abc_ObjPatchFanoutFanin() : abc.h, abcFanio.c
• Abc_ObjPointerCompare() : abc.h, abcUtil.c
• Abc_ObjPrint() : abc.h, abcPrint.c
• Abc_ObjPrintNeighborhood() : fretime.h, fretMain.c
• Abc_ObjRecycle() : abc.h, abcObj.c
• Abc_ObjRemoveFanins() : abc.h, abcFanio.c
• Abc_ObjReplace() : abc.h, abcFanio.c
• Abc_ObjReplaceByConstant() : abc.h, abcFanio.c
• Abc_ObjRequiredLevel() : abc.h, abcTiming.c
• Abc_ObjReverseLevel() : abc.h, abcTiming.c
• Abc_ObjReverseLevelNew() : abc.h, abcTiming.c
• Abc_ObjSetReverseLevel() : abc.h, abcTiming.c
• Abc_ObjSopSimulate() : retInit.c, retInt.h
• Abc_ObjSortByDelay() : abcIfif.c
• Abc_ObjSugraphSize() : abcDfs.c
• Abc_ObjSuppSize() : abcDfs.c
• Abc_ObjSuppSize_rec() : abcDfs.c
• Abc_ObjToGia2() : acbUtil.c
• Abc_ObjTransferFanout() : abc.h, abcFanio.c
• Abc_PlaceBegin() : abcOrchestration.c, abcPlace.c, abcRewrite.c
• Abc_PlaceEnd() : abcOrchestration.c, abcPlace.c, abcRewrite.c
• Abc_PlaceEvaluateCut() : abcPlace.c
• Abc_PlaceUpdate() : abcOrchestration.c, abcPlace.c, abcRewrite.c
• Abc_PrintAT() : abcUtil.c
• Abc_QuickSort1() : abc_global.h, utilSort.c
• Abc_QuickSort1CompareDec() : utilSort.c
• Abc_QuickSort1CompareInc() : utilSort.c
• Abc_QuickSort2() : abc_global.h, utilSort.c
• Abc_QuickSort2Dec_rec() : utilSort.c
• Abc_QuickSort2Inc_rec() : utilSort.c
• Abc_QuickSort3() : abc_global.h, utilSort.c
• Abc_QuickSort3Dec_rec() : utilSort.c
• Abc_QuickSort3Inc_rec() : utilSort.c
• Abc_QuickSortCost() : abc_global.h, utilSort.c
• Abc_QuickSortCostData() : abc_global.h, utilSort.c
• Abc_QuickSortTest() : utilSort.c
• Abc_Random() : abc_global.h, utilSort.c
• Abc_RandomW() : abc_global.h, utilSort.c
• Abc_RealMain() : main.c, mainReal.c
• Abc_RecToGia3() : giaIf.c, abcRec3.c
• Abc_RecToHop3() : abcRec3.c
• ABC_ReleaseManager() : csat_apis.c, csat_apis.h
• Abc_ResubComputeFunction() : giaResub.c, giaResub2.c
• Abc_ResubComputeWindow() : giaResub2.c
• Abc_ResubComputeWindow2() : giaResub2.c
• Abc_ResubDumpProblem() : giaResub.c
• Abc_ResubNodeToTry() : giaResub2.c
• Abc_ResubPrepareManager() : giaResub.c, giaResub2.c
• Abc_ResubPrintDivs() : giaResub2.c
• Abc_RpoTest() : abcRpo.c
• Abc_RunThread() : starter.c
• Abc_RwrExpWithCut() : abcRewrite.c
• Abc_RwrExpWithCut_rec() : abcRewrite.c
• Abc_SclAddOneInv() : sclBufSize.c
• Abc_SclAddWireLoad() : sclLoad.c, sclSize.h
• Abc_SclApplyUpdateToBest() : sclUpsize.c
• Abc_SclBufferingPerform() : sclBufSize.c, sclSize.h
• Abc_SclBufferPhase() : sclBuffer.c, sclSize.h
• Abc_SclBufPerform() : sclBuffer.c, sclSize.h
• Abc_SclBufSize() : sclBufSize.c
• Abc_SclCellFind() : sclLib.h, sclLibUtil.c
• Abc_SclCheckCommonInputs() : sclSize.c
• Abc_SclCheckImprovement() : sclDnsize.c
• Abc_SclCheckNtk() : sclBuffer.c, sclSize.h
• Abc_SclCheckOverlap() : sclDnsize.c
• Abc_SclClassCellNum() : sclLib.h, sclLibUtil.c
• Abc_SclComputeAreaClass() : sclLibUtil.c
• Abc_SclComputeAverageSlew() : sclLib.h, sclLibUtil.c
• Abc_SclComputeDelayCellPin() : sclLibUtil.c
• Abc_SclComputeDelayClassPin() : sclLibUtil.c
• Abc_SclComputeLoad() : sclLoad.c, sclSize.h
• Abc_SclComputeParametersCell() : sclLibUtil.c
• Abc_SclComputeParametersClass() : sclLibUtil.c
• Abc_SclComputeParametersClassPin() : sclLibUtil.c
• Abc_SclComputeParametersPin() : sclLibUtil.c
• Abc_SclComputeReverseLevel() : sclBuffer.c
• Abc_SclConvertLeakageIntoArea() : sclLib.h, sclLibUtil.c
• Abc_SclCountBufferFanouts() : sclSize.c
• Abc_SclCountBufferFanoutsInt() : sclSize.c
• Abc_SclCountMaxPhases() : sclBuffer.c
• Abc_SclCountMinSize() : sclSize.h, sclUtil.c
• Abc_SclCountNearCriticalNodes() : sclSize.h, sclUpsize.c
• Abc_SclCountNonBufferDelay() : sclSize.c
• Abc_SclCountNonBufferDelayInt() : sclSize.c
• Abc_SclCountNonBufferFanouts() : sclSize.c
• Abc_SclCountNonBufferFanoutsInt() : sclSize.c
• Abc_SclCountNonBufferLoad() : sclSize.c
• Abc_SclCountNonBufferLoadInt() : sclSize.c
• Abc_SclCountValidCells() : sclLibScl.c
• Abc_SclDeriveGenlib() : mio.h, sclLibUtil.c
• Abc_SclDeriveGenlibSimple() : mio.h, sclLibUtil.c
• Abc_SclDnsizePerform() : sclDnsize.c, sclSize.h
• Abc_SclDnsizePerformInt() : sclDnsize.c
• Abc_SclDnsizePrint() : sclDnsize.c
• Abc_SclDumpGenlib() : sclLib.h, sclLibUtil.c
• Abc_SclExtractBarBufs() : sclSize.h, sclUtil.c
• Abc_SclFetchWireLoadModel() : sclLib.h, sclLibUtil.c
• Abc_SclFindBestCell() : sclUpsize.c
• Abc_SclFindBypasses() : sclUpsize.c
• Abc_SclFindCriticalCo() : sclSize.c, sclSize.h
• Abc_SclFindCriticalCoWindow() : sclUpsize.c
• Abc_SclFindCriticalNodeWindow() : sclUpsize.c
• Abc_SclFindCriticalNodeWindow_rec() : sclUpsize.c
• Abc_SclFindInvertor() : sclLib.h, sclLibUtil.c
• Abc_SclFindMaxAreaCell() : sclUtil.c
• Abc_SclFindMinAreas() : sclUtil.c
• Abc_SclFindMostCriticalFanin() : sclSize.c, sclSize.h
• Abc_SclFindMostCriticalFanin2() : sclSize.c
• Abc_SclFindNodesToUpdate() : sclUpsize.c
• Abc_SclFindSmallestGate() : sclLib.h, sclLibUtil.c
• Abc_SclFindTFO() : sclUpsize.c
• Abc_SclFindTFO_rec() : sclUpsize.c
• Abc_SclFindUpsizes() : sclUpsize.c
• Abc_SclFindWindow() : sclDnsize.c
• Abc_SclFindWireCaps() : sclLoad.c, sclSize.h
• Abc_SclFindWireLoad() : sclLoad.c, sclSize.h
• Abc_SclFindWireLoadModel() : sclLib.h, sclLibUtil.c
• Abc_SclGetRealFaninLit() : sclBuffer.c
• Abc_SclHasBufferFanout() : sclSize.c
• Abc_SclHasDelayInfo() : sclLib.h, sclLibUtil.c
• Abc_SclHashCells() : sclLib.h, sclLibUtil.c
• Abc_SclHashLookup() : sclLibUtil.c
• Abc_SclInsertBarBufs() : sclSize.h, sclUtil.c
• Abc_SclInstallGenlib() : sclLib.h, sclLibUtil.c
• Abc_SclIsInv() : sclBuffer.c, sclSize.h
• Abc_SclLibClassNum() : sclLib.h, sclLibUtil.c
• Abc_SclLibNormalize() : sclLib.h, sclLibUtil.c
• Abc_SclLibNormalizeSurface() : sclLibUtil.c
• Abc_SclLinkCells() : sclLib.h, sclLibUtil.c
• Abc_SclLoad() : scl.c
• Abc_SclManPrintGateSizes() : sclUtil.c
• Abc_SclManReadSlewAndLoad() : sclSize.c
• Abc_SclManStart() : sclSize.c, sclSize.h
• Abc_SclMarkSkippedCells() : sclLibUtil.c
• Abc_SclMergeLibraries() : sclLib.h, sclLibScl.c
• Abc_SclMinsizePerform() : sclSize.h, sclUtil.c
• Abc_SclMioGates2SclGates() : sclSize.h, sclUtil.c
• Abc_SclObjCheckMarkedFanFans() : sclUpsize.c
• Abc_SclObjMarkFanFans() : sclUpsize.c
• Abc_SclOneNodePrint() : sclBufSize.c
• Abc_SclPerformBuffering() : sclBuffer.c, sclSize.h
• Abc_SclPerformBuffering_rec() : sclBuffer.c
• Abc_SclPerformBufferingOne() : sclBuffer.c
• Abc_SclPrintBuffers() : sclSize.c, sclSize.h
• Abc_SclPrintBuffersInt() : sclSize.c
• Abc_SclPrintBuffersOne() : sclSize.c
• Abc_SclPrintBufferTrees() : sclSize.c
• Abc_SclPrintCells() : sclLib.h, sclLibUtil.c
• Abc_SclPrintFaninPairs() : sclSize.c
• Abc_SclPrintGateSizes() : sclSize.h, sclUtil.c
• Abc_SclProduceGenlibStr() : sclLibUtil.c
• Abc_SclProduceGenlibStrProfile() : sclLibUtil.c
• Abc_SclProduceGenlibStrSimple() : sclLibUtil.c
• Abc_SclReadFromFile() : sclLib.h, sclLibScl.c
• Abc_SclReadFromGenlib() : sclLib.h, sclLibScl.c
• Abc_SclReadFromStr() : sclLib.h, sclLibScl.c
• Abc_SclReadLiberty() : sclLib.h, sclLiberty.c
• Abc_SclReadTimingConstr() : sclUtil.c
• Abc_SclReportDupFanins() : sclBuffer.c, sclSize.h
• Abc_SclSclGates2MioGates() : sclSize.h, sclUtil.c
• Abc_SclShortFormula() : sclLibUtil.c
• Abc_SclShortNames() : sclLib.h, sclLibUtil.c
• Abc_SclTimeCone() : sclSize.c, sclSize.h
• Abc_SclTimeIncCheckLevel() : sclSize.c
• Abc_SclTimeIncInsert() : sclSize.c, sclSize.h
• Abc_SclTimeIncUpdate() : sclSize.c, sclSize.h
• Abc_SclTimeIncUpdateLevel() : sclSize.c, sclSize.h
• Abc_SclTimeIncUpdateLevel_rec() : sclSize.c
• Abc_SclTimeNode() : sclSize.c
• Abc_SclTimeNtkPrint() : sclSize.c, sclSize.h
• Abc_SclTimeNtkRecompute() : sclSize.c, sclSize.h
• Abc_SclTimePerform() : sclSize.c, sclSize.h
• Abc_SclTimePerformInt() : sclSize.c
• Abc_SclTransferGates() : sclSize.h, sclUtil.c
• Abc_SclUnBufferPerform() : sclBuffer.c, sclSize.h
• Abc_SclUnBufferPhase() : sclBuffer.c, sclSize.h
• Abc_SclUndoRecentChanges() : sclUpsize.c
• Abc_SclUnmarkCriticalNodeWindow() : sclUpsize.c
• Abc_SclUpdateLoad() : sclLoad.c, sclSize.h
• Abc_SclUpdateLoadSplit() : sclLoad.c, sclSize.h
• Abc_SclUpsizePerform() : sclSize.h, sclUpsize.c
• Abc_SclUpsizePerformInt() : sclUpsize.c
• Abc_SclUpsizePrint() : sclUpsize.c
• Abc_SclUpsizePrintDiffs() : sclUpsize.c
• Abc_SclUpsizeRemoveDangling() : sclUpsize.c
• Abc_SclWriteLiberty() : sclLib.h, sclLibScl.c
• Abc_SclWriteScl() : sclLib.h, sclLibScl.c
• ABC_SetLearnBacktrackLimit() : csat_apis.c, csat_apis.h
• ABC_SetLearnLimit() : csat_apis.c, csat_apis.h
• ABC_SetSolveBacktrackLimit() : csat_apis.c, csat_apis.h
• ABC_SetSolveImplicationLimit() : csat_apis.c
• ABC_SetSolveOption() : csat_apis.c, csat_apis.h
• ABC_SetTimeLimit() : csat_apis.c, csat_apis.h
• ABC_SetTotalBacktrackLimit() : csat_apis.c, csat_apis.h
• ABC_SetTotalInspectLimit() : csat_apis.c, csat_apis.h
• Abc_ShaManStart() : abcExtract.c
• Abc_ShaManStop() : abcExtract.c
• Abc_SharedEvalBest() : utilBSet.c
• Abc_Show6VarFunc() : abcPrint.c, bdcSpfd.c
• Abc_ShowFile() : abcShow.c
• ABC_Solve() : csat_apis.c, csat_apis.h
• ABC_SolveInit() : csat_apis.c, csat_apis.h
• Abc_SopCheck() : abc.h, abcSop.c
• Abc_SopCheckReadTruth() : abcSop.c
• Abc_SopComplement() : abc.h, abcSop.c
• Abc_SopComplementVar() : abc.h, abcSop.c
• Abc_SopCreateAnd() : abc.h, abcSop.c
• Abc_SopCreateAnd2() : abc.h, abcSop.c
• Abc_SopCreateBuf() : abc.h, abcSop.c
• Abc_SopCreateConst0() : abc.h, abcSop.c
• Abc_SopCreateConst1() : abc.h, abcSop.c
• Abc_SopCreateFromIsop() : abc.h, abcSop.c
• Abc_SopCreateFromTruth() : abc.h, abcSop.c
• Abc_SopCreateFromTruthIsop() : abc.h, abcSop.c
• Abc_SopCreateInv() : abc.h, abcSop.c
• Abc_SopCreateMux() : abc.h, abcSop.c
• Abc_SopCreateNand() : abc.h, abcSop.c
• Abc_SopCreateNor() : abc.h, abcSop.c
• Abc_SopCreateNxor() : abc.h, abcSop.c
• Abc_SopCreateOr() : abc.h, abcSop.c
• Abc_SopCreateOrMultiCube() : abc.h, abcSop.c
• Abc_SopCreateXor() : abc.h, abcSop.c
• Abc_SopCreateXorSpecial() : abc.h, abcSop.c
• Abc_SopDecoderLog() : abc.h, abcSop.c
• Abc_SopDecoderPos() : abc.h, abcSop.c
• Abc_SopEncoderLog() : abc.h, abcSop.c
• Abc_SopEncoderPos() : abc.h, abcSop.c
• Abc_SopFromTruthBin() : abc.h, abcSop.c
• Abc_SopFromTruthHex() : abc.h, abcSop.c
• Abc_SopFromTruthsBin() : abc.h, abcSop.c
• Abc_SopFromTruthsHex() : abc.h, abcSop.c
• Abc_SopGenerateCounters() : abcSop.c
• Abc_SopGetCubeNum() : abc.h, abcSop.c
• Abc_SopGetIthCareLit() : abc.h, abcSop.c
• Abc_SopGetLitNum() : abc.h, abcSop.c
• Abc_SopGetPhase() : abc.h, abcSop.c
• Abc_SopGetVarNum() : abc.h, abcSop.c
• Abc_SopIsAndType() : abc.h, abcSop.c
• Abc_SopIsBuf() : abc.h, abcSop.c
• Abc_SopIsComplement() : abc.h, abcSop.c
• Abc_SopIsConst0() : abc.h, abcSop.c
• Abc_SopIsConst1() : abc.h, abcSop.c
• Abc_SopIsExorType() : abc.h, abcSop.c
• Abc_SopIsInv() : abc.h, abcSop.c
• Abc_SopIsOrType() : abc.h, abcSop.c
• Abc_SopRegister() : abc.h, abcSop.c
• Abc_SopStart() : abc.h, abcSop.c
• Abc_SopSynthesize() : abcUtil.c
• Abc_SopSynthesizeOne() : abc.h, abcUtil.c
• Abc_SopToIsop() : abcSop.c
• Abc_SopToTruth() : abc.h, abcSop.c
• Abc_SopToTruth7() : abc.h, abcSop.c
• Abc_SopToTruthBig() : abc.h, abcSop.c
• Abc_Sort_rec() : utilSort.c
• Abc_SortCost2_rec() : utilSort.c
• Abc_SortCost2Reverse_rec() : utilSort.c
• Abc_SortMerge() : utilSort.c
• Abc_SortMergeCost2() : utilSort.c
• Abc_SortMergeCost2Reverse() : utilSort.c
• Abc_SortNumCompare() : utilSort.c
• Abc_SortTest() : utilSort.c
• Abc_Start() : abcapis.h, abcapis_old.h, main.h, mainLib.c, demo.c, csat_apis.c
• Abc_Stop() : abcapis.h, abcapis_old.h, main.h, mainLib.c, demo.c, csat_apis.c
• Abc_SuppDiffMatrix() : extraUtilSupp.c
• Abc_SuppFindOne() : extraUtilSupp.c
• Abc_SuppFindVar() : extraUtilSupp.c
• Abc_SuppGen() : extraUtilSupp.c
• Abc_SuppGenFilter() : extraUtilSupp.c
• Abc_SuppGenFindBest() : extraUtilSupp.c
• Abc_SuppGenPairs() : extraUtilSupp.c
• Abc_SuppGenPairs2() : extraUtilSupp.c
• Abc_SuppGenProfile() : extraUtilSupp.c
• Abc_SuppGenSelectVar() : extraUtilSupp.c
• Abc_SuppMinimize() : extraUtilSupp.c
• Abc_SuppPrintMask() : extraUtilSupp.c
• Abc_SuppPrintProfile() : extraUtilSupp.c
• Abc_SuppProfile() : extraUtilSupp.c
• Abc_SuppReadMin() : extraUtilSupp.c
• Abc_SuppReadMinTest() : extraUtilSupp.c
• Abc_SuppRemove() : extraUtilSupp.c
• Abc_SuppSolve() : extraUtilSupp.c
• Abc_SuppTest() : extraUtilSupp.c
• Abc_SuppVerify() : extraUtilSupp.c
• ABC_TargetResFree() : csat_apis.c, csat_apis.h
• Abc_TgExpendSymmetry() : dauCanon.c
• Abc_TruthCompare() : abcNpn.c
• Abc_TruthDecPerform() : abcDec.c
• Abc_TruthDecRead() : abcDec.c
• Abc_TruthDecTest() : abcDec.c
• Abc_TruthGetParams() : abcDec.c, abcRpo.c
• Abc_TruthNpnCountUnique() : abcNpn.c
• Abc_TruthNpnCountUniqueSort() : abcNpn.c
• Abc_TruthNpnPerform() : abcNpn.c
• Abc_TruthNpnPrint() : abcNpn.c
• Abc_TruthNpnTest() : abcNpn.c
• Abc_TruthReadHex() : abcDec.c
• Abc_TruthRpoPerform() : abcRpo.c
• Abc_TruthRpoTest() : abcRpo.c
• Abc_TruthStoreAlloc() : abcDec.c
• Abc_TruthStoreAlloc2() : abcDec.c
• Abc_TruthStoreFree() : luckyInt.h, luckyRead.c
• Abc_TruthStoreRead() : abcDec.c
• Abc_TruthWriteHex() : abcDec.c
• Abc_Tt6CofactorPermNaive() : dauCanon.c
• Abc_Tt6MinTest2() : giaMinLut2.c
• Abc_Tt6MinTest3() : giaMinLut2.c
• Abc_TtCanonicize() : dau.h, dauCanon.c
• Abc_TtCanonicizeAda() : dau.h, dauCanon.c
• Abc_TtCanonicizeCA() : dauCanon.c
• Abc_TtCanonicizeHie() : dau.h, dauCanon.c
• Abc_TtCanonicizePerm() : dau.h, dauCanon.c
• Abc_TtCanonicizePhase() : dau.h, dauCanon.c
• Abc_TtCanonicizeWrap() : dau.h, dauCanon.c
• Abc_TtCheck1Shared() : utilBSet.c
• Abc_TtCofactorPerm() : dauCanon.c
• Abc_TtCofactorPermConfig() : dauCanon.c
• Abc_TtCofactorPermNaive() : dauCanon.c
• Abc_TtCofactorTest10() : dauCanon.c
• Abc_TtConvertEntry() : bmcMaj.c
• Abc_TtCountGenerate() : dauCount.c
• Abc_TtCountOnesInCofsFast() : dauCanon.c
• Abc_TtCountOnesInCofsFast6_rec() : dauCanon.c
• Abc_TtCountOnesInCofsFast_rec() : dauCanon.c
• Abc_TtCountOnesInCofsQuick() : dau.h, dauCount.c
• Abc_TtCountOnesInCofsQuick_rec() : dauCount.c
• Abc_TtCountOnesInCofsSimple() : dau.h, dauCanon.c
• Abc_TtCountOnesInCofsTest() : dauCount.c
• Abc_TtCountOnesInCofsTest2() : dauCount.c
• Abc_TtFindBVarsSVars() : utilBSet.c
• Abc_TtFindBVarsSVars2() : utilBSet.c
• Abc_TtGetCM() : utilBSet.c
• Abc_TtGetCM1() : utilBSet.c
• Abc_TtGetCM1Pat() : utilBSet.c
• Abc_TtGetCM2() : utilBSet.c
• Abc_TtGetCM2Pat() : utilBSet.c
• Abc_TtGetCM3() : utilBSet.c
• Abc_TtGetCM3Pat() : utilBSet.c
• Abc_TtGetCM4() : utilBSet.c
• Abc_TtGetCM4Pat() : utilBSet.c
• Abc_TtGetCM5() : utilBSet.c
• Abc_TtGetCM5Pat() : utilBSet.c
• Abc_TtGetCM6() : utilBSet.c
• Abc_TtGetCM6Pat() : utilBSet.c
• Abc_TtGetCMCount() : utilBSet.c
• Abc_TtGetCMInt() : utilBSet.c
• Abc_TtGetCMPat() : utilBSet.c
• Abc_TtGetGuide() : abcCas.c
• Abc_TtGetKey() : utilBSet.c
• Abc_TtGiaMin_rec() : giaMinLut2.c
• Abc_TtGiaMinArray() : giaMinLut2.c
• Abc_TtGiaMinArrayNew() : giaMinLut2.c
• Abc_TtHashLookup5() : utilBSet.c
• Abc_TtHashLookup6() : utilBSet.c
• Abc_TtHieManStart() : dau.h, dauCanon.c
• Abc_TtHieManStop() : dau.h, dauCanon.c
• Abc_TtHieRetrieveOrInsert() : dauCanon.c
• Abc_TtMin() : giaMinLut2.c
• Abc_TtMin_rec() : giaMinLut2.c
• Abc_TtMinArray() : giaMinLut2.c
• Abc_TtNormalizeSmallTruth() : dauCanon.c
• Abc_TtPermGenTest() : utilBSet.c
• Abc_TtPermuteMask() : abcCas.c
• Abc_TtPrintPat() : utilBSet.c
• Abc_TtScc() : dauCanon.c
• Abc_TtSimpleMin_rec() : giaMinLut2.c
• Abc_TtSimpleMinArrayNew() : giaMinLut2.c
• Abc_TtStoreDump() : abcDec.c
• Abc_TtStoreFree() : abcDec.c, abcNpn.c
• Abc_TtStoreLoad() : abcDec.c, abcNpn.c
• Abc_TtStoreLoadSave() : abcDec.c
• Abc_TtStoreLoadSaveBin() : abcDec.c
• Abc_TtStoreTest() : abcDec.c
• Abc_TtStoreWrite() : abcDec.c, abcNpn.c
• ABC_UseOnlyCoreSatSolver() : csat_apis.c, csat_apis.h
• Abc_UtilsGetUsersInput() : mainInt.h, mainUtils.c
• Abc_UtilsGetVersion() : mainInt.h, mainUtils.c
• Abc_UtilsPrintHello() : mainInt.h, mainUtils.c
• Abc_UtilsPrintUsage() : mainInt.h, mainUtils.c
• Abc_UtilsSource() : mainInt.h, mainUtils.c
• Abc_UtilStrsav() : starter.c
• Abc_VecObjPushUniqueOrderByLevel() : abc.h, abcUtil.c
• Abc_WinNode() : mfsCore.c
• Abc_Word2Double() : extraUtilPath.c
• Abc_WriteAdder() : abcGen.c
• Abc_WriteAdder2() : abcGen.c
• Abc_WriteBooth() : abcGen.c
• Abc_WriteBoothPartialProducts() : abcGen.c
• Abc_WriteCell() : abcGen.c
• Abc_WriteComp() : abcGen.c
• Abc_WriteFullAdder() : abcGen.c
• Abc_WriteHalfAdder() : abcGen.c
• Abc_WriteKLut() : abcGen.c
• Abc_WriteLayer() : abcGen.c
• Abc_WriteMDFA() : abcGen.c
• Abc_WriteMulti() : abcGen.c
• Abc_WriteWeight() : abcGen.c
• Abc_ZddBuildSet() : extraUtilPerm.c
• Abc_ZddCof0() : extraUtilPerm.c
• Abc_ZddCof1() : extraUtilPerm.c
• Abc_ZddComb2Perm() : extraUtilPerm.c
• Abc_ZddCombPrint() : extraUtilPerm.c
• Abc_ZddCount_rec() : extraUtilPerm.c
• Abc_ZddCountNodes() : extraUtilPerm.c
• Abc_ZddCountNodesArray() : extraUtilPerm.c
• Abc_ZddCountPaths() : extraUtilPerm.c
• Abc_ZddDiff() : extraUtilPerm.c
• Abc_ZddDotMinProduct6() : extraUtilPerm.c
• Abc_ZddDotProduct() : extraUtilPerm.c
• Abc_ZddGiaTest() : extraUtilPerm.c
• Abc_ZddIntersect() : extraUtilPerm.c
• Abc_ZddManAlloc() : extraUtilPerm.c
• Abc_ZddManCreatePerms() : extraUtilPerm.c
• Abc_ZddManFree() : extraUtilPerm.c
• Abc_ZddMinUnion() : extraUtilPerm.c
• Abc_ZddPerm() : extraUtilPerm.c
• Abc_ZddPerm2Comb() : extraUtilPerm.c
• Abc_ZddPermCombTest() : extraUtilPerm.c
• Abc_ZddPermPrint() : extraUtilPerm.c
• Abc_ZddPermProduct() : extraUtilPerm.c
• Abc_ZddPermTest() : extraUtilPerm.c
• Abc_ZddPermTestInt() : extraUtilPerm.c
• Abc_ZddPrint() : extraUtilPerm.c
• Abc_ZddPrint_rec() : extraUtilPerm.c
• Abc_ZddPrintTest() : extraUtilPerm.c
• Abc_ZddThresh() : extraUtilPerm.c
• Abc_ZddUnion() : extraUtilPerm.c
• Abc_ZddUnmark_rec() : extraUtilPerm.c
• abort() : util_old.h
• Abs_GiaCheckTruth() : absRpm.c
• Abs_GiaCofPrint() : absRpm.c
• Abs_GiaSortNodes() : absRpm.c
• Abs_ManExtendOneEval_rec() : bmcBmc2.c
• Abs_ManFreeAray() : bmcBmc2.c
• Abs_ManSupport1() : absRpm.c
• Abs_ManSupport1_rec() : absRpm.c
• Abs_ManSupport2_rec() : absRpm.c
• Abs_ManSupport3() : absRpm.c
• Abs_ManTernarySimulate() : bmcBmc2.c
• Abs_ParSetDefaults() : abs.h, absUtil.c
• Abs_RpmPerform() : abs.h, absRpm.c
• Abs_RpmPerformMark() : absRpm.c
• Abs_RpmPerformOld() : abs.h, absRpmOld.c
• Acb_CheckMiter() : acbFunc.c
• Acb_CollectIntNodes() : acbFunc.c
• Acb_CollectIntNodes_rec() : acbFunc.c
• Acb_ComputeFunction() : acbMfs.c
• Acb_ComputeSuppCost() : acbFunc.c
• Acb_CreateMiter() : acbFunc.c
• Acb_DataReadTest() : acbSets.c
• Acb_DeriveCnfForNode() : acbMfs.c
• Acb_DeriveCnfForWindow() : acbMfs.c
• Acb_DeriveCnfForWindowOne() : acbMfs.c
• Acb_DeriveCnfFromTruth() : acbMfs.c
• Acb_DeriveOnePatchFunction() : acbFunc.c
• Acb_DerivePatchSupport() : acbFunc.c
• Acb_DerivePatchSupportS() : acbFunc.c
• Acb_DeriveWeights() : acbFunc.c
• Acb_EnumerateSatAssigns() : acbFunc.c
• Acb_FindArgMaxUnderMask() : acbFunc.c
• Acb_FindArgMaxUnderMask2() : acbFunc.c
• Acb_FindReplace() : acbFunc.c
• Acb_FindSupport() : acbFunc.c
• Acb_FindSupportMin() : acbFunc.c
• Acb_FindSupportMinOne() : acbFunc.c
• Acb_FindSupportNext() : acbFunc.c
• Acb_FindSupportStart() : acbFunc.c
• Acb_GenerateFile2() : acbFunc.c
• Acb_GenerateFileOut() : acbFunc.c
• Acb_GenerateFilePatch() : acbFunc.c
• Acb_GenerateInstance() : acbFunc.c
• Acb_GenerateInstance2() : acbFunc.c
• Acb_GeneratePatch() : acbFunc.c
• Acb_GeneratePatch2() : acbFunc.c
• Acb_GenerateSignalNames() : acbFunc.c
• Acb_GenerateSignalNames2() : acbFunc.c
• Acb_GetUsedDivs() : acbFunc.c
• Acb_IntallLibrary() : acbFunc.c
• Acb_MfsStart() : acbMfs.c
• Acb_MfsStop() : acbMfs.c
• Acb_NamesToIds() : acbUtil.c
• Acb_Ntk4CollectAdd() : acbUtil.c
• Acb_Ntk4CollectRing() : acbUtil.c
• Acb_Ntk4DumpWeights() : acbUtil.c
• Acb_Ntk4DumpWeightsInt() : acbUtil.c
• Acb_NtkCheckPiOrder() : acbTest.c
• Acb_NtkCollectCopies() : acbUtil.c
• Acb_NtkCollectDeref_rec() : acbUtil.c
• Acb_NtkCollectMffc() : acbUtil.c
• Acb_NtkCollectMfsGates() : acbUtil.c
• Acb_NtkCollectNewTfi() : acbMfs.c
• Acb_NtkCollectNewTfi1_rec() : acbMfs.c
• Acb_NtkCollectNewTfi2_rec() : acbMfs.c
• Acb_NtkCollectTfoSideInputs() : acbMfs.c
• Acb_NtkCollectUser() : acbUtil.c
• Acb_NtkCollectWindow() : acbMfs.c
• Acb_NtkComputeLevelD() : acb.h, acbUtil.c
• Acb_NtkComputeLevelR() : acbUtil.c
• Acb_NtkComputePaths() : acbUtil.c
• Acb_NtkComputePathsD() : acbUtil.c
• Acb_NtkComputePathsR() : acbUtil.c
• Acb_NtkCountPiBuffers() : acb.h, acbUtil.c
• Acb_NtkCountPoDrivers() : acb.h, acbUtil.c
• Acb_NtkCountRoots() : acbMfs.c
• Acb_NtkCreateNode() : acb.h, acbUtil.c
• Acb_NtkDeriveMiterCnf() : acbFunc.c
• Acb_NtkDeriveMiterCnfInter() : acbFunc.c
• Acb_NtkDeriveMiterCnfInter2() : acbFunc.c
• Acb_NtkDivisors() : acbMfs.c
• Acb_NtkDivisors_rec() : acbMfs.c
• Acb_NtkEcoPerform() : acbFunc.c
• Acb_NtkEcoSynthesize() : acbFunc.c
• Acb_NtkExtract() : acbUtil.c
• Acb_NtkFindDivs() : acbFunc.c
• Acb_NtkFindDivs_rec() : acbFunc.c
• Acb_NtkFindDivsCis() : acbFunc.c
• Acb_NtkFindMffcSize() : acb.h
• Acb_NtkFindNodes() : acbFunc.c
• Acb_NtkFindNodes2() : acbUtil.c
• Acb_NtkFindNodes2_rec() : acbUtil.c
• Acb_NtkFindNodes_rec() : acbFunc.c
• Acb_NtkFindRoots() : acbFunc.c
• Acb_NtkFindRoots_rec() : acbFunc.c
• Acb_NtkFindSupp() : acbFunc.c
• Acb_NtkFindSupp1() : acbMfs.c
• Acb_NtkFindSupp2() : acbMfs.c
• Acb_NtkFindSupp3() : acbMfs.c
• Acb_NtkFindSupp_rec() : acbFunc.c
• Acb_NtkFromAbc() : acbAbc.c
• Acb_NtkFromAbc2() : acbAbc.c
• Acb_NtkFromNdr() : acbAbc.c
• Acb_NtkGiaDeriveDual() : acbTest.c
• Acb_NtkGiaDeriveMiter() : acbTest.c
• Acb_NtkInsert() : acbUtil.c
• Acb_NtkIsPiBuffers() : acbUtil.c
• Acb_NtkNodeDeref_rec() : acbUtil.c
• Acb_NtkNodeRef_rec() : acbUtil.c
• Acb_NtkOpt() : acbMfs.c
• Acb_NtkOptNode() : acbMfs.c
• Acb_NtkOptNodeAnalyze() : acbMfs.c
• Acb_NtkPlaces() : acbUtil.c
• Acb_NtkPrintCecStats() : acbTest.c
• Acb_NtkPrintNode() : acb.h, acbUtil.c
• Acb_NtkPrintPaths() : acbUtil.c
• Acb_NtkPrintVec() : acbMfs.c
• Acb_NtkPrintVec2() : acbMfs.c
• Acb_NtkPrintVecWin() : acbMfs.c
• Acb_NtkPushLogic() : acbPush.c
• Acb_NtkPushLogic2() : acbPush.c
• Acb_NtkResetNode() : acbUtil.c
• Acb_NtkReturnMfsGates() : acbUtil.c
• Acb_NtkRunEco() : acbFunc.c
• Acb_NtkRunGen() : abcRunGen.c
• Acb_NtkRunTest() : acbTest.c
• Acb_NtkSaveNames() : acbFunc.c
• Acb_NtkSaveSupport() : acbUtil.c
• Acb_NtkSolve() : acbTest.c
• Acb_NtkTestRun2() : acbFunc.c
• Acb_NtkToAbc() : acbAbc.c
• Acb_NtkToGia() : acbFunc.c
• Acb_NtkToGia2() : acbUtil.c
• Acb_NtkUpdateCiOrder() : acbTest.c
• Acb_NtkUpdateLevelD() : acb.h, acbUtil.c
• Acb_NtkUpdateNode() : acb.h, acbUtil.c
• Acb_NtkUpdateTiming() : acb.h, acbUtil.c
• Acb_NtkWindow() : acbMfs.c
• Acb_NtkWindow2Cnf() : acbMfs.c
• Acb_NtkWindow2Solver() : acbMfs.c
• Acb_NtkWindowUndo() : acbMfs.c
• Acb_ObjCollectTfi() : acb.h, acbUtil.c
• Acb_ObjCollectTfi_rec() : acbUtil.c
• Acb_ObjCollectTfiVec() : acb.h, acbUtil.c
• Acb_ObjCollectTfo() : acb.h, acbUtil.c
• Acb_ObjCollectTfo_rec() : acbUtil.c
• Acb_ObjCollectTfoVec() : acb.h, acbUtil.c
• Acb_ObjComputeLevelD() : acb.h, acbUtil.c
• Acb_ObjComputeLevelR() : acbUtil.c
• Acb_ObjComputePathD() : acbUtil.c
• Acb_ObjComputePathR() : acbUtil.c
• Acb_ObjDeriveTfo() : acbMfs.c
• Acb_ObjDeriveTfo_rec() : acbMfs.c
• Acb_ObjLabelTfo() : acbMfs.c
• Acb_ObjLabelTfo_rec() : acbMfs.c
• Acb_ObjMarkTfo() : acbMfs.c
• Acb_ObjMarkTfo2() : acbMfs.c
• Acb_ObjMarkTfo_rec() : acbMfs.c
• Acb_ObjPushToFanin() : acbPush.c
• Acb_ObjPushToFanins() : acbPush.c
• Acb_ObjPushToFanout() : acbPush.c
• Acb_ObjRemoveBufInv() : acbPush.c
• Acb_ObjRemoveConst() : acbPush.c
• Acb_ObjRemoveDup() : acbPush.c
• Acb_ObjRemoveDupFanins() : acbPush.c
• Acb_ObjRemoveDupFanins_int() : acbPush.c
• Acb_ObjSlack() : acbUtil.c
• Acb_ObjSuppMin() : acbPush.c
• Acb_ObjSuppMin_int() : acbPush.c
• Acb_ObjToGia() : acbFunc.c
• Acb_ObjToGia2() : acbUtil.c
• Acb_ObjToGiaDual() : acbTest.c
• Acb_ObjUpdatePriority() : acbUtil.c
• Acb_OutputFile() : acbTest.c
• Acb_ParSetDefault() : acbAbc.c, acbPar.h
• Acb_PrepareNames() : acbFunc.c
• Acb_PrintPatch() : acbFunc.c
• Acb_PrintPatterns() : acbFunc.c
• Acb_ReadWeightMap() : acbFunc.c
• Acb_RemapOneFunction() : acbFunc.c
• Acb_SignalNames() : acbFunc.c
• Acb_TransformPatchFunctions() : acbFunc.c
• Acb_TranslateCnf() : acbMfs.c
• Acb_UpdateMiter() : acbFunc.c
• Acb_VerilogRemoveComments() : acbFunc.c
• Acb_VerilogSimpleLex() : acbFunc.c
• Acb_VerilogSimpleParse() : acbFunc.c
• Acb_VerilogSimpleRead() : acb.h, acbFunc.c
• Acb_VerilogSimpleReadTest() : acbFunc.c
• Acb_VerilogSimpleWrite() : acbFunc.c
• Acb_VerilogStartNames() : acbFunc.c
• Acb_WireIsTarget() : acbFunc.c
• acd2_decompose() : ac_wrapper.cpp, ac_wrapper.h, if.h
• acd2_evaluate() : ac_wrapper.cpp, ac_wrapper.h, if.h
• acd66_evaluate() : ac_wrapper.cpp
• acd_decompose() : ac_wrapper.cpp, ac_wrapper.h, if.h
• acd_evaluate() : ac_wrapper.cpp, ac_wrapper.h, if.h
• acdXX_decompose() : ac_wrapper.cpp, ac_wrapper.h
• acdXX_evaluate() : ac_wrapper.cpp, ac_wrapper.h
• Acec_BoothFindPPG() : acecInt.h, acecMult.c
• Acec_BoxFree() : acecTree.c
• Acec_BoxFreeP() : acecInt.h, acecTree.c
• Acec_BuildTree() : acecNorm.c
• Acec_CheckBoothPPs() : acecXor.c
• Acec_CheckXors() : acecXor.c
• Acec_CollectSupp_rec() : acecStruct.c
• Acec_CollectXorTops() : acecCl.c
• Acec_CommonFinish() : acecCore.c
• Acec_CommonStart() : acecCore.c
• Acec_ComputeEquivClasses() : acecCore.c
• Acec_CountRemap() : acecCore.c
• Acec_CreateBox() : acecTree.c
• Acec_CreateBoxMaxRank() : acecTree.c
• Acec_CreateBoxTest() : acecTree.c
• Acec_DeriveBox() : acecInt.h, acecTree.c
• Acec_DetectAdditional() : acecCl.c
• Acec_DetectBoothOne() : acecBo.c
• Acec_DetectBoothTest() : acecBo.c
• Acec_DetectBoothTwo() : acecBo.c
• Acec_DetectBoothTwoXor() : acecBo.c
• Acec_DetectBoothXorFanin() : acecBo.c
• Acec_DetectBoothXorMux() : acecBo.c
• Acec_DetectComputeSuppOne_rec() : acecCl.c
• Acec_DetectComputeSupports() : acecCl.c
• Acec_DetectLitPolarity() : acecCl.c
• Acec_DetectXorBuildNew() : acecCl.c
• Acec_FindBox() : acecXor.c
• Acec_FindNexts() : acecStruct.c
• Acec_FindShadows() : acecStruct.c
• Acec_FindTreeLeaves() : acecStruct.c
• Acec_FindXorLeaves() : acecXor.c
• Acec_FindXorRoots() : acecXor.c
• Acec_GenerateNpnTable() : acecSt.c
• Acec_InsertBox() : acecInt.h, acecNorm.c
• Acec_InsertBox_rec() : acecNorm.c
• Acec_InsertFadd() : acecInt.h, acecNorm.c
• Acec_InsertHadd() : acecNorm.c
• Acec_InsertTree() : acecNorm.c
• Acec_ManCecSetDefaultParams() : acec.h, acecCore.c
• Acec_ManCheckCarryMap() : acecPool.c
• Acec_ManCollectBoxSets() : acecPool.c
• Acec_ManCollectBoxSets_rec() : acecPool.c
• Acec_ManCollectCarryRoots() : acecPool.c
• Acec_ManCollectCarryRootSets() : acecPool.c
• Acec_ManCollectInsOuts() : acecPool.c
• Acec_ManCollectXorRoots() : acecPool.c
• Acec_ManCompareTwo() : acecPool.c
• Acec_ManCountXorTreeInputs_rec() : acecPool.c
• Acec_ManCreateCarryMap() : acecPool.c
• Acec_ManDecla() : acec.h, acecCl.c
• Acec_ManDerive() : acecCl.c
• Acec_ManDerive_rec() : acecCl.c
• Acec_ManPool() : acecPool.c
• Acec_ManPoolGetPointed() : acecPool.c
• Acec_ManPoolTopMost() : acecPool.c
• Acec_ManPrintRanks() : acecPool.c
• Acec_ManPrintRanks2() : acecPool.c
• Acec_ManProfile() : acecPool.c
• Acec_MapMajOuts() : acecXor.c
• Acec_MapMajOuts2() : acecXor.c
• Acec_MapXorIns() : acecXor.c
• Acec_MapXorOuts() : acecXor.c
• Acec_MapXorOuts2() : acecXor.c
• Acec_MatchBoxes() : acecCore.c
• Acec_MatchBoxesSort() : acecCore.c
• Acec_MatchCheckShift() : acecCore.c
• Acec_MatchCopy() : acecCore.c
• Acec_MatchCountCommon() : acecCore.c
• Acec_MatchPrintEquivLits() : acecCore.c
• Acec_MoveDuplicates() : acecCore.c
• Acec_MultCollectInputs() : acecMult.c
• Acec_MultDetectInputs() : acecInt.h, acecMult.c
• Acec_MultDetectInputs1() : acecMult.c
• Acec_MultFindPPs() : acecMult.c
• Acec_MultFindPPs_rec() : acecMult.c
• Acec_MultFindPPsTest() : acecMult.c
• Acec_MultFuncTest4() : acecMult.c
• Acec_MultFuncTest5() : acecMult.c
• Acec_MultFuncTest6() : acecMult.c
• Acec_MultMarkPPs() : acecInt.h, acecMult.c
• Acec_Normalize() : acec.h, acecNorm.c
• Acec_OrderTreeRoots() : acecXor.c
• Acec_ParseDistribute() : acecPo.c
• Acec_ParseSignature() : acecPo.c
• Acec_ParseSignatureMono() : acecPo.c
• Acec_ParseSignatureOne() : acecPo.c
• Acec_ParseSignatureTest() : acecPo.c
• Acec_PrintAdders() : acecInt.h, acecTree.c
• Acec_PrintSignature() : acecPo.c
• Acec_ProduceBox() : acecInt.h, acecXor.c
• Acec_RankTrees() : acecXor.c
• Acec_RewriteReplace() : acecCl.c
• Acec_RewriteTop() : acecCl.c
• Acec_Solve() : acec.h, acecCore.c
• Acec_StatsCollect() : acecSt.c
• Acec_StructAssignRanks() : acecStruct.c
• Acec_StructDetectXorRoots() : acecStruct.c
• Acec_StructTest() : acecStruct.c
• Acec_TreeAddInOutPoint() : acecTree.c
• Acec_TreeCarryMap() : acecTree.c
• Acec_TreeFilterOne() : acecTree.c
• Acec_TreeFilterOne2() : acecTree.c
• Acec_TreeFilterTrees() : acecTree.c
• Acec_TreeFilterTrees2() : acecTree.c
• Acec_TreeFindPoints() : acecTree.c
• Acec_TreeFindTrees() : acecTree.c
• Acec_TreeFindTrees2_rec() : acecTree.c
• Acec_TreeFindTrees_rec() : acecTree.c
• Acec_TreeFindTreesTest() : acecTree.c
• Acec_TreeMarkTFI_rec() : acecTree.c
• Acec_TreePhases_rec() : acecTree.c
• Acec_TreePrintBox() : acecInt.h, acecTree.c
• Acec_TreeVerifyConnections() : acecTree.c
• Acec_TreeVerifyPhaseOne() : acecTree.c
• Acec_TreeVerifyPhaseOne_rec() : acecTree.c
• Acec_TreeVerifyPhases() : acecTree.c
• Acec_TreeVerifyPhases2() : acecTree.c
• Acec_TreeWhichPoint() : acecTree.c
• Acec_VerifyBoxLeaves() : acecTree.c
• Acec_VerifyClasses() : acecCore.c
• addConcreteCell() : place_base.c, place_base.h
• addConcreteNet() : place_base.c, place_base.h
• AddCubesToStartingCover() : exor.c
• AddToFreeCubes() : exor.h, exorCubes.c, exorList.c
• adjustInfoAfterSwap() : luckyFast6.c, luckyInt.h
• adler32() : adler32.c
• adler32_combine() : adler32.c
• adler32_combine64() : adler32.c
• adler32_combine_() : adler32.c
• Agi_ManAlloc() : giaAgi.c
• Agi_ManFree() : giaAgi.c
• Agi_ManFromGia() : giaAgi.c
• Agi_ManSuppSize_rec() : giaAgi.c
• Agi_ManSuppSizeOne() : giaAgi.c
• Agi_ManSuppSizeTest() : giaAgi.c
• Agi_ManTest() : giaAgi.c
• Aig_And() : aig.h, aigOper.c
• Aig_BaseSize() : darBalance.c
• Aig_CManAddNode() : saigSwitch.c
• Aig_CManAddPo() : saigSwitch.c
• Aig_CManCreate() : saigSwitch.c
• Aig_CManGetNode() : saigSwitch.c
• Aig_CManGetPo() : saigSwitch.c
• Aig_CManRestart() : saigSwitch.c
• Aig_CManRestoreNum() : saigSwitch.c
• Aig_CManStart() : saigSwitch.c
• Aig_CManStop() : saigSwitch.c
• Aig_CManStoreNum() : saigSwitch.c
• Aig_Compose() : aig.h, aigDfs.c
• Aig_Compose_rec() : aigDfs.c
• Aig_ComputeCuts() : aig.h, aigCuts.c
• Aig_ConeCleanAndMark_rec() : aigDfs.c
• Aig_ConeCountAndMark_rec() : aigDfs.c
• Aig_ConeMark_rec() : aigDfs.c
• Aig_ConeUnmark_rec() : aig.h, aigDfs.c
• Aig_CreateAnd() : aig.h, aigOper.c
• Aig_CreateExor() : aig.h, aigOper.c
• Aig_CreateOr() : aig.h, aigOper.c
• Aig_CutComputeTruth() : aigCuts.c
• Aig_CutFilter() : aigCuts.c
• Aig_CutMerge() : aigCuts.c
• Aig_CutPrint() : aigCuts.c
• Aig_CutSupportMinimize() : aigCuts.c
• Aig_DagSize() : aig.h, aigDfs.c
• Aig_Exor() : aig.h, aigOper.c
• Aig_FileNameGenericAppend() : aig.h, aigUtil.c
• Aig_Gla1CollectAbstr() : saigGlaCba.c
• Aig_Gla1CollectAssigned() : saigGlaCba.c
• Aig_Gla1DeriveAbs() : saigGlaCba.c
• Aig_Gla1DeriveAbs_rec() : saigGlaCba.c
• Aig_Gla1DeriveCex() : saigGlaCba.c
• Aig_Gla1ExtendIncluded() : saigGlaCba.c
• Aig_Gla1ManPerform() : saigGlaCba.c
• Aig_Gla1ManStart() : saigGlaCba.c
• Aig_Gla1ManStop() : saigGlaCba.c
• Aig_Gla1ObjAddToSolver() : saigGlaCba.c
• Aig_Gla1PrintAbstr() : saigGlaCba.c
• Aig_Gla2AssignVars_rec() : saigGlaPba.c
• Aig_Gla2CreateSatSolver() : saigGlaPba.c
• Aig_Gla2FetchVar() : saigGlaPba.c
• Aig_Gla2ManCollect() : saigGlaPba.c
• Aig_Gla2ManPerform() : saigGlaPba.c
• Aig_Gla2ManStart() : saigGlaPba.c
• Aig_Gla2ManStop() : saigGlaPba.c
• Aig_Gla3AssignVars_rec() : saigGlaPba2.c
• Aig_Gla3CreateSatSolver() : saigGlaPba2.c
• Aig_Gla3FetchVar() : saigGlaPba2.c
• Aig_Gla3ManCollect() : saigGlaPba2.c
• Aig_Gla3ManPerform() : saigGlaPba2.c
• Aig_Gla3ManStart() : saigGlaPba2.c
• Aig_Gla3ManStop() : saigGlaPba2.c
• Aig_Gla3ManUnsatCore() : saigGlaPba2.c
• Aig_IthVar() : aig.h, aigOper.c
• Aig_Maj() : aig.h, aigOper.c
• Aig_ManAddNewCnfToSolver() : aigPartSat.c
• Aig_ManAntiCleanup() : aig.h, aigMan.c
• Aig_ManAppend() : aigRepar.c
• Aig_ManCheck() : aig.h, aigCheck.c
• Aig_ManCheckAcyclic() : dchChoice.c
• Aig_ManCheckAcyclic_rec() : dchChoice.c
• Aig_ManCheckMarkA() : aig.h, aigCheck.c
• Aig_ManCheckPhase() : aig.h, aigCheck.c
• Aig_ManCheckReprs() : dchChoice.c
• Aig_ManChoiceConstructive() : aig.h, aigPart.c
• Aig_ManChoiceConstructiveOne() : aigPart.c
• Aig_ManChoiceEval() : aigPart.c
• Aig_ManChoiceLevel() : aig.h, aigDfs.c
• Aig_ManChoiceLevel_rec() : aigDfs.c
• Aig_ManChoiceNum() : aig.h, aigUtil.c
• Aig_ManChoicePartitioned() : aig.h, aigPart.c
• Aig_ManCiCleanup() : aig.h, aigMan.c
• Aig_ManCiCleanupBiere() : liveness.c
• Aig_ManCleanCioIds() : aig.h, aigUtil.c
• Aig_ManCleanData() : aig.h, aigUtil.c
• Aig_ManCleanMarkA() : aig.h, aigUtil.c
• Aig_ManCleanMarkAB() : aig.h, aigUtil.c
• Aig_ManCleanMarkB() : aig.h, aigUtil.c
• Aig_ManCleanNext() : aig.h, aigUtil.c
• Aig_ManCleanup() : aig.h, aigMan.c
• Aig_ManCoCleanup() : aig.h, aigMan.c
• Aig_ManCoCleanupBiere() : liveness.c
• Aig_ManComputeDomsFlops() : aigDoms.c
• Aig_ManComputeDomsForCofactoring() : aigDoms.c
• Aig_ManComputeDomsNodes() : aigDoms.c
• Aig_ManComputeDomsPis() : aigDoms.c
• Aig_ManComputeDomsTest() : aigDoms.c
• Aig_ManComputeDomsTest2() : aigDoms.c
• Aig_ManComputeGlobalBdds() : bbr.h, bbrNtbdd.c
• Aig_ManComputeReachable() : bbrReach.c
• Aig_ManComputeSccs() : aig.h, aigScl.c
• Aig_ManConeSize() : sswAig.c
• Aig_ManConstReduce() : aig.h, aigTsim.c
• Aig_ManCounterExampleValueLookup() : aigUtil.c
• Aig_ManCounterExampleValueStart() : aigUtil.c
• Aig_ManCounterExampleValueStop() : aigUtil.c
• Aig_ManCounterExampleValueTest() : aigUtil.c
• Aig_ManCountMergeRegs() : aig.h, aigScl.c
• Aig_ManCountReprs() : aig.h, aigRepr.c
• Aig_ManCountXors() : fraCec.c
• Aig_ManCreateDualOutputMiter() : abcDress2.c
• Aig_ManCreateMiter() : aig.h, aigDup.c
• Aig_ManCreateOutputs() : bbrReach.c
• Aig_ManCreatePartitions() : bbrReach.c
• Aig_ManCutCount() : aigCuts.c
• Aig_ManCutStart() : aigCuts.c
• Aig_ManCutStop() : aig.h, aigCuts.c
• Aig_ManCutTruth() : aig.h, aigTruth.c
• Aig_ManCutTruthOne() : aigTruth.c
• Aig_ManDeriveCounterExample() : aigPartSat.c
• Aig_ManDeriveNewCone() : aigFact.c
• Aig_ManDeriveNewCone_rec() : aigFact.c
• Aig_ManDfs() : aig.h, aigDfs.c
• Aig_ManDfs_rec() : aigDfs.c
• Aig_ManDfsAll() : aig.h, aigDfs.c
• Aig_ManDfsAll_rec() : aigDfs.c
• Aig_ManDfsArray() : aigDfs.c
• Aig_ManDfsChoices() : aig.h, aigDfs.c
• Aig_ManDfsChoices_rec() : aigDfs.c
• Aig_ManDfsNodes() : aig.h, aigDfs.c
• Aig_ManDfsPreorder() : aig.h, aigDfs.c
• Aig_ManDfsPreorder_rec() : aigDfs.c
• Aig_ManDfsReverse() : aig.h, aigDfs.c
• Aig_ManDfsReverse_rec() : aigDfs.c
• Aig_ManDomPrint() : aigDoms.c
• Aig_ManDomStart() : aigDoms.c
• Aig_ManDomStop() : aigDoms.c
• Aig_ManDump() : aig.h, aigUtil.c
• Aig_ManDumpBlif() : aig.h, aigUtil.c, kliveness.c
• Aig_ManDumpVerilog() : aig.h, aigUtil.c
• Aig_ManDup_rec() : aigMan.c
• Aig_ManDupArray() : aig.h, aigDup.c
• Aig_ManDupCof() : aig.h, aigDup.c
• Aig_ManDupDfs() : aig.h, aigDup.c
• Aig_ManDupDfs_rec() : aigDup.c
• Aig_ManDupDfsGuided() : aig.h, aigDup.c
• Aig_ManDupDfsGuided_rec() : aigDup.c
• Aig_ManDupExor() : aig.h, aigDup.c
• Aig_ManDupFlopsOnly() : aig.h, aigDup.c
• Aig_ManDupLevelized() : aig.h, aigDup.c
• Aig_ManDupNodes() : aig.h, aigDup.c
• Aig_ManDupNodesAll() : saigMiter.c
• Aig_ManDupNodesHalf() : saigMiter.c
• Aig_ManDupOneOutput() : aig.h, aigDup.c
• Aig_ManDupOrdered() : aig.h, aigDup.c
• Aig_ManDupOrpos() : aig.h, aigDup.c
• Aig_ManDupPart() : aigPart.c
• Aig_ManDupPart_rec() : aigPart.c
• Aig_ManDupPartAll() : aigPart.c
• Aig_ManDupPartAll_rec() : aigPart.c
• Aig_ManDupRepr() : aig.h, aigRepr.c
• Aig_ManDupRepr_rec() : aigRepr.c
• Aig_ManDupReprBasic() : aig.h, aigRepr.c
• Aig_ManDupRepres() : aig.h, aigDup.c
• Aig_ManDupRepres_rec() : aigDup.c
• Aig_ManDupRepresDfs() : aig.h, aigDup.c
• Aig_ManDupSimple() : aig.h, aigDup.c
• Aig_ManDupSimpleDfs() : aig.h, aigDup.c
• Aig_ManDupSimpleDfs_rec() : aig.h, aigDup.c
• Aig_ManDupSimpleDfsPart() : aig.h, aigDup.c
• Aig_ManDupSimpleWithHints() : aig.h, aigDup.c
• Aig_ManDupTrim() : aig.h, aigDup.c
• Aig_ManDupUnsolvedOutputs() : aig.h, aigDup.c
• Aig_ManDupWithoutPos() : aig.h, aigDup.c
• Aig_ManExtractMiter() : aig.h, aigMan.c
• Aig_ManFactorAlgebraic() : aigFact.c
• Aig_ManFactorAlgebraic_int() : aigFact.c
• Aig_ManFactorAlgebraicTest() : aigFact.c
• Aig_ManFanoutStart() : aig.h, aigFanout.c
• Aig_ManFanoutStop() : aig.h, aigFanout.c
• Aig_ManFindConeOverlap() : aigFact.c
• Aig_ManFindConeOverlap_rec() : aigFact.c
• Aig_ManFindCut() : aig.h, aigWin.c
• Aig_ManFindCut_int() : aigWin.c
• Aig_ManFindImplications() : aigFact.c
• Aig_ManFindImplications_rec() : aigFact.c
• Aig_ManFlipFirstPo() : aig.h, aigMan.c
• Aig_ManFraigPartitioned() : aig.h, aigPart.c
• Aig_ManFrames() : aig.h, aigFrames.c
• Aig_ManFreeGlobalBdds() : bbr.h, bbrNtbdd.c
• Aig_ManHasNoGaps() : aig.h, aigUtil.c
• Aig_ManIncrementTravId() : aig.h, aigUtil.c
• Aig_ManInitStateVarMap() : bbrReach.c
• Aig_ManInter() : aigInter.c
• Aig_ManInterFast() : aigInter.c
• Aig_ManInterRepar() : aigRepar.c
• Aig_ManInterTest() : aigRepar.c
• Aig_ManInvertConstraints() : aig.h, aigUtil.c
• Aig_ManJustExperiment() : aigJust.c
• Aig_ManLevelize() : aig.h, aigDfs.c
• Aig_ManLevelNum() : aig.h, aigDfs.c
• Aig_ManLevels() : aig.h, aigUtil.c
• Aig_ManMarkAutonomous_rec() : saigRetFwd.c
• Aig_ManMarkFlopTfi() : aigDoms.c
• Aig_ManMarkFlopTfi_rec() : aigDoms.c
• Aig_ManMarkValidChoices() : aig.h, aigRepr.c
• Aig_ManMiterPartitioned() : aig.h, aigPart.c
• Aig_ManMuxesCollect() : aig.h, aigUtil.c
• Aig_ManMuxesDeref() : aig.h, aigUtil.c
• Aig_ManMuxesRef() : aig.h, aigUtil.c
• Aig_ManOrderPios() : aig.h, aigDup.c
• Aig_ManOrderStart() : aig.h, aigOrder.c
• Aig_ManOrderStop() : aig.h, aigOrder.c
• Aig_ManPackAddPattern() : aigJust.c, aigPack.c
• Aig_ManPackAddPatternTry() : aigPack.c
• Aig_ManPackAlloc() : aigPack.c
• Aig_ManPackConstNodes() : aigJust.c, aigPack.c
• Aig_ManPackCountCares() : aigPack.c
• Aig_ManPackFree() : aigPack.c
• Aig_ManPackPrintCare() : aigPack.c
• Aig_ManPackPrintStats() : aigPack.c
• Aig_ManPackSetRandom() : aigPack.c
• Aig_ManPackSimulate() : aigPack.c
• Aig_ManPackStart() : aigJust.c, aigPack.c
• Aig_ManPackStop() : aigJust.c, aigPack.c
• Aig_ManPartDivide() : aig.h, aigPartReg.c
• Aig_ManPartitionCompact() : aigPart.c
• Aig_ManPartitionDfs() : aigPartSat.c
• Aig_ManPartitionedSat() : aigPartSat.c
• Aig_ManPartitionLevelized() : aigPartSat.c
• Aig_ManPartitionMonolithic() : aigPartSat.c
• Aig_ManPartitionNaive() : aig.h, aigPart.c
• Aig_ManPartitionPrint() : aigPart.c
• Aig_ManPartitionSmart() : aig.h, aigPart.c
• Aig_ManPartitionSmartFindPart() : aigPart.c
• Aig_ManPartitionSmartRegisters() : aig.h, aigPart.c
• Aig_ManPartResetNodePolarity() : aigPartSat.c
• Aig_ManPartSetNodePolarity() : aigPartSat.c
• Aig_ManPartSplit() : aigPartSat.c
• Aig_ManPartSplitOne() : aigPartSat.c
• Aig_ManPartSplitOne_rec() : aigPartSat.c
• Aig_ManPrintControlFanouts() : aigUtil.c
• Aig_ManPrintStats() : aig.h, aigMan.c
• Aig_ManPrintVerbose() : aig.h, aigUtil.c
• Aig_ManPropagateBuffers() : aigObj.c
• Aig_ManRandom() : aig.h, aigUtil.c, fraigInt.h
• Aig_ManRandom64() : aig.h, aigUtil.c
• Aig_ManRandomInfo() : aig.h, aigUtil.c
• Aig_ManRandomTest1() : aigUtil.c
• Aig_ManRandomTest2() : aigUtil.c
• Aig_ManReduceLaches() : aig.h, aigScl.c
• Aig_ManReduceLachesCount() : aigScl.c
• Aig_ManReduceLachesOnce() : aigScl.c
• Aig_ManRegCreatePart() : aig.h, aigPartReg.c
• Aig_ManRegFindBestVar() : aigPartReg.c
• Aig_ManRegFindSeed() : aigPartReg.c
• Aig_ManRegManStart() : aigPartReg.c
• Aig_ManRegManStop() : aigPartReg.c
• Aig_ManRegPartitionAdd() : aigPartReg.c
• Aig_ManRegPartitionLinear() : aigPartReg.c
• Aig_ManRegPartitionSimple() : aig.h, aigPartReg.c
• Aig_ManRegPartitionSmart() : aig.h, aigPartReg.c
• Aig_ManRegPartitionTraverse() : aigPartReg.c
• Aig_ManRegPartitionTraverse_rec() : aigPartReg.c
• Aig_ManRegProjectOnehots() : aig.h, aigPartReg.c
• Aig_ManRehash() : aig.h, aigRepr.c
• Aig_ManReleaseData() : aig.h, aigMan.c
• Aig_ManRemap() : aig.h, aigScl.c
• Aig_ManRemapRepr() : aigRepr.c
• Aig_ManReportImprovement() : aig.h, aigMan.c
• Aig_ManReprStart() : aig.h, aigRepr.c
• Aig_ManReprStop() : aig.h, aigRepr.c
• Aig_ManResetRefs() : aig.h, aigUtil.c
• Aig_ManRetimeFrontier() : aig.h, aigRetF.c
• Aig_ManRetimeMark() : aigRetF.c
• Aig_ManRetimeMark_rec() : aigRetF.c
• Aig_ManScanMapping() : cnf.h, cnfUtil.c
• Aig_ManScanMapping_rec() : cnfUtil.c
• Aig_ManScl() : aig.h, aigScl.c
• Aig_ManSclPart() : aigScl.c
• Aig_ManSeqCleanup() : aig.h, aigScl.c
• Aig_ManSeqCleanup_rec() : aigScl.c
• Aig_ManSeqCleanupBasic() : aig.h, aigScl.c
• Aig_ManSetCioIds() : aig.h, aigUtil.c
• Aig_ManSetPhase() : aig.h, aigUtil.c
• Aig_ManSetRegNum() : aig.h, aigMan.c
• Aig_ManShow() : aig.h, aigShow.c
• Aig_ManSizeOfGlobalBdds() : bbr.h, bbrNtbdd.c
• Aig_ManSpeedupNode() : nwkSpeedup.c
• Aig_ManSpeedupNode_rec() : nwkSpeedup.c
• Aig_ManSplit() : aigSplit.c
• Aig_ManStart() : aig.h, aigMan.c
• Aig_ManStartFrom() : aig.h, aigMan.c
• Aig_ManStartMemory() : aig.h
• Aig_ManStartReverseLevels() : aig.h, aigTiming.c
• Aig_ManStaticFanoutStart() : saigRetFwd.c
• Aig_ManStop() : aig.h, aigMan.c, abcIvy.c
• Aig_ManStopMemory() : aig.h
• Aig_ManStopP() : aig.h, aigMan.c
• Aig_ManStopReverseLevels() : aig.h, aigTiming.c
• Aig_ManSuppCharAdd() : aigPart.c
• Aig_ManSuppCharCommon() : aigPart.c
• Aig_ManSuppCharStart() : aigPart.c
• Aig_ManSupportMinimization() : aigFact.c
• Aig_ManSupportMinimizationTest() : aigFact.c
• Aig_ManSupportMinimizationTest2() : aigFact.c
• Aig_ManSupportNodes() : aigPart.c
• Aig_ManSupportNodes_rec() : aigPart.c
• Aig_ManSupports() : aig.h, aigPart.c
• Aig_ManSupportsInverse() : aig.h, aigPart.c
• Aig_ManSupportsRegisters() : aig.h, aigPart.c
• Aig_ManSupportsTest() : aigPart.c
• Aig_ManTernarySimulate() : aigTsim.c
• Aig_ManTransferRepr() : aig.h, aigRepr.c
• Aig_ManUpdateLevel() : aig.h, aigTiming.c
• Aig_ManUpdateReverseLevel() : aig.h, aigTiming.c
• Aig_ManVerifyLevel() : aig.h, aigTiming.c
• Aig_ManVerifyReverseLevel() : aig.h, aigTiming.c
• Aig_ManVerifyTopoOrder() : aig.h, aigDfs.c
• Aig_ManVerifyUsingBdds() : saigDup.c, bbr.h, bbrReach.c
• Aig_ManVerifyUsingBdds_int() : bbrReach.c
• Aig_ManVerifyUsingBddsCountExample() : bbrCex.c, bbrReach.c
• Aig_Miter() : aig.h, aigOper.c
• Aig_MiterTwo() : aig.h, aigOper.c
• Aig_MmFixedEntryFetch() : aig.h, aigMem.c
• Aig_MmFixedEntryRecycle() : aig.h, aigMem.c
• Aig_MmFixedReadMaxEntriesUsed() : aig.h, aigMem.c
• Aig_MmFixedReadMemUsage() : aig.h, aigMem.c
• Aig_MmFixedRestart() : aig.h, aigMem.c
• Aig_MmFixedStart() : aig.h, aigMem.c
• Aig_MmFixedStop() : aig.h, aigMem.c
• Aig_MmFlexEntryFetch() : aig.h, aigMem.c
• Aig_MmFlexReadMemUsage() : aig.h, aigMem.c
• Aig_MmFlexRestart() : aig.h, aigMem.c
• Aig_MmFlexStart() : aig.h, aigMem.c
• Aig_MmFlexStop() : aig.h, aigMem.c
• Aig_MmStepEntryFetch() : aig.h, aigMem.c
• Aig_MmStepEntryRecycle() : aig.h, aigMem.c
• Aig_MmStepReadMemUsage() : aig.h, aigMem.c
• Aig_MmStepStart() : aig.h, aigMem.c
• Aig_MmStepStop() : aig.h, aigMem.c
• Aig_Multi() : aig.h, aigOper.c
• Aig_Multi_rec() : aigOper.c
• Aig_Mux() : aig.h, aigOper.c
• Aig_Mux2() : aigOper.c
• Aig_MuxTest() : aigOper.c
• Aig_NodeCompareLevelsDecrease() : darBalance.c
• Aig_NodeCompareRefsIncrease() : bmcBmc3.c
• Aig_NodeDeref_rec() : aig.h, aigMffc.c
• Aig_NodeFixBufferFanins() : aigObj.c
• Aig_NodeIntersectLists() : aig.h, aigUtil.c
• Aig_NodeMffcExtendCut() : aig.h, aigMffc.c
• Aig_NodeMffcLabel() : aig.h, aigMffc.c
• Aig_NodeMffcLabelCut() : aig.h, aigMffc.c
• Aig_NodeMffcSupp() : aig.h, aigMffc.c
• Aig_NodeMffcSupp_rec() : aigMffc.c
• Aig_NodeRef_rec() : aig.h, aigMffc.c
• Aig_NodeRefLabel_rec() : aigMffc.c
• Aig_NodeUnionLists() : aig.h, aigUtil.c
• Aig_NtkFindSatAssign_rec() : aigJust.c
• Aig_ObjAddFanout() : aig.h, aigFanout.c
• Aig_ObjAddTriv() : aigDoms.c
• Aig_ObjCheckTfi() : aig.h, aigRepr.c
• Aig_ObjCheckTfi_rec() : aigRepr.c
• Aig_ObjCleanData_rec() : aig.h, aigUtil.c
• Aig_ObjClearReverseLevel() : aig.h, aigTiming.c
• Aig_ObjCollectCut() : aig.h, aigDfs.c
• Aig_ObjCollectCut_rec() : aigDfs.c
• Aig_ObjCollectMulti() : aig.h, aigUtil.c
• Aig_ObjCollectMulti_rec() : aigUtil.c
• Aig_ObjCollectSuper() : aig.h, aigDfs.c
• Aig_ObjCollectSuper_rec() : aigDfs.c
• Aig_ObjCompareIdIncrease() : aig.h, aigUtil.c
• Aig_ObjComputeCuts() : aigCuts.c
• Aig_ObjConnect() : aig.h, aigObj.c
• Aig_ObjCreate() : aig.h, aigObj.c
• Aig_ObjCreateCi() : aig.h, aigObj.c
• Aig_ObjCreateCo() : aig.h, aigObj.c
• Aig_ObjCreateRepr() : aig.h, aigRepr.c
• Aig_ObjCutPrint() : aigCuts.c
• Aig_ObjDelete() : aig.h, aigObj.c
• Aig_ObjDelete_rec() : aig.h, aigObj.c
• Aig_ObjDeletePo() : aig.h, aigObj.c
• Aig_ObjDeref_rec() : sswAig.c
• Aig_ObjDisconnect() : aig.h, aigObj.c
• Aig_ObjDomCheck() : aigDoms.c
• Aig_ObjDomCollect() : aigDoms.c
• Aig_ObjDomCollectLos() : aigDoms.c
• Aig_ObjDomCompute() : aigDoms.c
• Aig_ObjDomCount() : aigDoms.c
• Aig_ObjDomDeref_rec() : aigDoms.c
• Aig_ObjDomDomed() : aigDoms.c
• Aig_ObjDomFilter() : aigDoms.c
• Aig_ObjDomFindGood() : aigDoms.c
• Aig_ObjDomMerge() : aigDoms.c
• Aig_ObjDomMergeTwo() : aigDoms.c
• Aig_ObjDomPrint() : aigDoms.c
• Aig_ObjDomRef_rec() : aigDoms.c
• Aig_ObjDomUnion() : aigDoms.c
• Aig_ObjDomVecDup() : aigDoms.c
• Aig_ObjDomVecPrint() : aigDoms.c
• Aig_ObjDomVecRecycle() : aigDoms.c
• Aig_ObjDomVolume() : aigDoms.c
• Aig_ObjDomVolume_rec() : aigDoms.c
• Aig_ObjFindSatAssign() : aigJust.c
• Aig_ObjIsMuxType() : aig.h, aigUtil.c
• Aig_ObjOrderAdvance() : aig.h, aigOrder.c
• Aig_ObjOrderInsert() : aig.h, aigOrder.c
• Aig_ObjOrderRemove() : aig.h, aigOrder.c
• Aig_ObjPatchFanin0() : aig.h, aigObj.c
• Aig_ObjPoLogicDeref() : aigDoms.c
• Aig_ObjPoLogicRef() : aigDoms.c
• Aig_ObjPrepareCuts() : aigCuts.c
• Aig_ObjPrint() : aig.h, aigObj.c
• Aig_ObjPrintEqn() : aig.h, aigUtil.c
• Aig_ObjPrintVerbose() : aig.h, aigUtil.c
• Aig_ObjPrintVerboseCone() : aigUtil.c
• Aig_ObjPrintVerilog() : aig.h, aigUtil.c
• Aig_ObjReal_rec() : aig.h, aigUtil.c
• Aig_ObjRecognizeExor() : aig.h, aigUtil.c
• Aig_ObjRecognizeMux() : aig.h, aigUtil.c
• Aig_ObjRef_rec() : sswAig.c
• Aig_ObjRemoveFanout() : aig.h, aigFanout.c
• Aig_ObjReplace() : aig.h, aigObj.c
• Aig_ObjRequiredLevel() : aig.h, aigTiming.c
• Aig_ObjReverseLevelNew() : aigTiming.c
• Aig_ObjTerSimulate() : aigJust.c
• Aig_ObjTerSimulate_rec() : aigJust.c
• Aig_Oper() : aig.h, aigOper.c
• Aig_Or() : aig.h, aigOper.c
• Aig_ProcedureTest() : aigTest.c
• Aig_RManComputeVSigs() : aigCanon.c
• Aig_RManPrintSigs() : aigCanon.c
• Aig_RManPrintUniqueVars() : aigCanon.c
• Aig_RManPrintVarProfile() : aigCanon.c
• Aig_RManQuit() : aigCanon.c
• Aig_RManRecord() : aigCanon.c
• Aig_RManSaveOne() : aigCanon.c
• Aig_RManSemiCanonicize() : aigCanon.c
• Aig_RManSortNums() : aigCanon.c
• Aig_RManStart() : aigCanon.c
• Aig_RManStop() : aigCanon.c
• Aig_RManTableFindOrAdd() : aigCanon.c
• Aig_RManTableLookup() : aigCanon.c
• Aig_RManTableResize() : aigCanon.c
• Aig_RManVarsAreUnique() : aigCanon.c
• Aig_SuppMinCollectCone() : aigFact.c
• Aig_SuppMinCollectCone_rec() : aigFact.c
• Aig_SuppMinCollectSuper() : aigFact.c
• Aig_SuppMinCollectSuper_rec() : aigFact.c
• Aig_SuppMinCollectSupport() : aigFact.c
• Aig_SuppMinGateIsInSupport() : aigFact.c
• Aig_SuppMinHighlightCone() : aigFact.c
• Aig_SuppMinHighlightCone_rec() : aigFact.c
• Aig_SuppMinPerform() : aigFact.c
• Aig_SuppMinReconstruct() : aigFact.c
• Aig_Support() : aig.h, aigDfs.c
• Aig_Support_rec() : aigDfs.c
• Aig_SupportNodes() : aig.h, aigDfs.c
• Aig_SupportSize() : aig.h, aigDfs.c
• Aig_SupportSize_rec() : aigDfs.c
• Aig_SupportSizeTest() : aigDfs.c
• Aig_TableClear() : aig.h, aigTable.c
• Aig_TableCountEntries() : aig.h, aigTable.c
• Aig_TableDelete() : aig.h, aigTable.c
• Aig_TableInsert() : aig.h, aigTable.c
• Aig_TableLookup() : aig.h, aigTable.c
• Aig_TableLookupInt() : aigOper.c
• Aig_TableLookupTwo() : aig.h, aigTable.c
• Aig_TableProfile() : aig.h, aigTable.c
• Aig_TableResize() : aigTable.c
• Aig_TimeStamp() : aig.h, aigUtil.c
• Aig_Transfer() : aig.h, aigDfs.c
• Aig_Transfer_rec() : aigDfs.c
• Aig_TransferMappedClasses() : aig.h, aigRepr.c
• Aig_TsiStart() : aigTsim.c
• Aig_TsiStateCount() : aigTsim.c
• Aig_TsiStateHash() : aigTsim.c
• Aig_TsiStateInsert() : aigTsim.c
• Aig_TsiStateLookup() : aigTsim.c
• Aig_TsiStateNew() : aigTsim.c
• Aig_TsiStateOrAll() : aigTsim.c
• Aig_TsiStatePrint() : aigTsim.c
• Aig_TsiStop() : aigTsim.c
• Aig_WriteDotAig() : aigShow.c
• Aig_Xor() : arenaViolation.c
• Aiger_Read() : giaAiger.c
• Aiger_Test() : giaAiger.c
• Aiger_Write() : giaAiger.c
• all_primes() : espresso.h, expand.c
• allocAigPoIndices() : disjunctiveMonotone.c, monotone.c
• allocAntecedentConsequentVectorsStruct() : disjunctiveMonotone.c
• AllocateCover() : exor.h, exorCubes.c
• AllocateCubeSets() : exor.h, exorList.c
• AllocateQueques() : exor.h, exorList.c
• allocPointersToMonotoneVectors() : monotone.c
• Amap_CollectFormulaTokens() : amapRead.c
• Amap_CreateCheckAllZero() : amapRule.c
• Amap_CreateCheckAsym() : amapRule.c
• Amap_CreateCheckAsym_rec() : amapRule.c
• Amap_CreateCheckEqual_rec() : amapRule.c
• Amap_CreateRulesForGate() : amapRule.c
• Amap_CreateRulesFromDsd() : amapRule.c
• Amap_CreateRulesFromDsd_rec() : amapRule.c
• Amap_CreateRulesPrime() : amapRule.c
• Amap_CreateRulesTwo() : amapRule.c
• Amap_CreateRulesVector_rec() : amapRule.c
• Amap_DeriveTokens() : amapRead.c
• Amap_GateCollectNames() : amapRead.c
• Amap_LibAlloc() : amapInt.h, amapLib.c
• Amap_LibCollectFanins() : amapPerm.c
• Amap_LibCollectFanins_rec() : amapPerm.c
• Amap_LibCompareGatesByArea() : amapLib.c
• Amap_LibCreateMux() : amapInt.h, amapUniq.c
• Amap_LibCreateNode() : amapInt.h, amapUniq.c
• Amap_LibCreateObj() : amapUniq.c
• Amap_LibCreateRules() : amapInt.h, amapRule.c
• Amap_LibCreateVar() : amapInt.h, amapUniq.c
• Amap_LibDeriveGatePerm() : amapPerm.c, amapRule.c
• Amap_LibDeriveGatePerm_rec() : amapPerm.c
• Amap_LibertyBuildItem() : amapLiberty.c
• Amap_LibertyCellArea() : amapLiberty.c
• Amap_LibertyCellCountOutputs() : amapLiberty.c
• Amap_LibertyCellIsDontUse() : amapLiberty.c
• Amap_LibertyCellIsFlop() : amapLiberty.c
• Amap_LibertyCellOutput() : amapLiberty.c
• Amap_LibertyCellOutputs() : amapLiberty.c
• Amap_LibertyCountItems() : amapLiberty.c
• Amap_LibertyFileSize() : amapLiberty.c
• Amap_LibertyFixFileHead() : amapLiberty.c
• Amap_LibertyGetString() : amapLiberty.c
• Amap_LibertyGetStringFormula() : amapLiberty.c
• Amap_LibertyParse() : amap.h, amapLiberty.c
• Amap_LibertyParseStr() : amap.h, amapLiberty.c
• Amap_LibertyPinFunction() : amapLiberty.c
• Amap_LibertyPrintGenlib() : amapLiberty.c
• Amap_LibertyPrintGenlibStr() : amapLiberty.c
• Amap_LibertyPrintLiberty() : amapLiberty.c
• Amap_LibertyPrintLibertyItem() : amapLiberty.c
• Amap_LibertyStart() : amapLiberty.c
• Amap_LibertyStop() : amapLiberty.c
• Amap_LibertyTimeStamp() : amapLiberty.c
• Amap_LibertyWipeOutComments() : amapLiberty.c
• Amap_LibFindGate() : amapLib.c
• Amap_LibFindMux() : amapInt.h, amapUniq.c
• Amap_LibFindNode() : amapInt.h, amapUniq.c
• Amap_LibFree() : amap.h, amapLib.c
• Amap_LibLookupTableAlloc() : amapInt.h, amapUniq.c
• Amap_LibNumPinsMax() : amapInt.h, amapLib.c
• Amap_LibParseEquations() : amapInt.h, amapParse.c
• Amap_LibParseTest() : amapParse.c
• Amap_LibPrintSelectedGates() : amap.h, amapLib.c
• Amap_LibReadAndPrepare() : amap.h, amapLib.c
• Amap_LibReadBuffer() : amapInt.h, amapRead.c
• Amap_LibReadFile() : amapInt.h, amapRead.c
• Amap_LibSelectGates() : amapInt.h, amapLib.c
• Amap_LibSortGatesByArea() : amapLib.c
• Amap_LibTableFindNode() : amapInt.h
• Amap_LibVerifyPerm() : amapPerm.c
• Amap_LibVerifyPerm_rec() : amapPerm.c
• Amap_LibWrite() : amapInt.h, amapLib.c
• Amap_LibWriteGate() : amapLib.c
• Amap_LibWritePin() : amapLib.c
• Amap_LoadFile() : amapRead.c
• Amap_ManCleanData() : amapMatch.c
• Amap_ManCleanRefs() : amapMatch.c
• Amap_ManComputeMapping() : amapMatch.c
• Amap_ManComputeMapping_rec() : amapMatch.c
• Amap_ManCountInverters() : amapMatch.c
• Amap_ManCreate() : amapGraph.c, amapInt.h
• Amap_ManCreateAnd() : amapGraph.c, amapInt.h
• Amap_ManCreateChoice() : amapGraph.c, amapInt.h
• Amap_ManCreateConst1() : amapGraph.c
• Amap_ManCreateMux() : amapGraph.c, amapInt.h
• Amap_ManCreateMuxChoices() : amapGraph.c
• Amap_ManCreatePi() : amapGraph.c, amapInt.h
• Amap_ManCreatePo() : amapGraph.c, amapInt.h
• Amap_ManCreateXor() : amapGraph.c, amapInt.h
• Amap_ManCreateXorChoices() : amapGraph.c
• Amap_ManCutCreate() : amapMerge.c
• Amap_ManCutCreate3() : amapMerge.c
• Amap_ManCutSaveStored() : amapMerge.c
• Amap_ManCutStore() : amapMerge.c
• Amap_ManDupCut() : amapMatch.c
• Amap_ManFindCut() : amapMerge.c
• Amap_ManGetLast_rec() : amapGraph.c
• Amap_ManMap() : amapInt.h, amapMatch.c
• Amap_ManMatch() : amapMatch.c
• Amap_ManMatchNode() : amapMatch.c
• Amap_ManMaxDelay() : amapMatch.c
• Amap_ManMerge() : amapInt.h, amapMerge.c
• Amap_ManMergeCountCuts() : amapMerge.c
• Amap_ManMergeNodeChoice() : amapMerge.c
• Amap_ManMergeNodeCuts() : amapMerge.c
• Amap_ManMergeNodeCutsMux() : amapMerge.c
• Amap_ManPrintCuts() : amapMerge.c
• Amap_ManProduceMapped() : amapInt.h, amapOutput.c
• Amap_ManProduceNetwork() : abcDar.c
• Amap_ManSetDefaultParams() : amap.h, amapCore.c
• Amap_ManSetupObj() : amapGraph.c
• Amap_ManSetupPis() : amapMerge.c
• Amap_ManStart() : amapInt.h, amapMan.c
• Amap_ManStop() : amapInt.h, amapMan.c
• Amap_ManTest() : amapCore.c
• Amap_OutputStructAlloc() : amapOutput.c
• Amap_ParseCountPins() : amapRead.c
• Amap_ParseFormula() : amapParse.c
• Amap_ParseFormulaOper() : amapParse.c
• Amap_ParseGateWithSamePins() : amapRead.c
• Amap_ParseTokens() : amapRead.c
• Amap_RemoveComments() : amapRead.c
• appendVecToMasterVecInt() : disjunctiveMonotone.c
• applyeSLIM() : eSLIM.cpp, eSLIM.h
• applyeSLIMIncremental() : eSLIM.h
• ARGS() : avl.h, util_old.h, stmm.h
• arrangeQuoters_superFast_iVar5() : luckyFast16.c
• arrangeQuoters_superFast_lessThen5() : luckyFast16.c
• arrangeQuoters_superFast_moreThen5() : luckyFast16.c
• ARRAY() : array.h
• ascend() : espresso.h, setc.c
• atof() : util_old.h
• Au_ManAddNtk() : abcHieNew.c
• Au_ManAlloc() : abcHieNew.c
• Au_ManCountThings() : abcHieNew.c
• Au_ManDelete() : abcHieNew.c
• Au_ManDeriveTest() : abcHieNew.c
• Au_ManFindNtk() : abcHieNew.c
• Au_ManFindNtkP() : abcHieNew.c
• Au_ManFree() : abcHieNew.c
• Au_ManMemUsage() : abcHieNew.c
• Au_ManMemUsageUseful() : abcHieNew.c
• Au_ManPrintBoxInfo() : abcHieNew.c
• Au_ManPrintBoxInfoSorted() : abcHieNew.c
• Au_ManPrintStats() : abcHieNew.c
• Au_ManReorderModels() : abcHieNew.c
• Au_ManReorderModels_rec() : abcHieNew.c
• Au_NtkAlloc() : abcHieNew.c
• Au_NtkAllocObj() : abcHieNew.c
• Au_NtkCheckRecursive() : abcHieNew.c
• Au_NtkCleanCopy() : abcHieNew.c
• Au_NtkCompareNames() : abcHieNew.c
• Au_NtkCompareSign() : abcHieNew.c
• Au_NtkCreateBox() : abcHieNew.c
• Au_NtkCreateConst0() : abcHieNew.c
• Au_NtkCreateFan() : abcHieNew.c
• Au_NtkCreateNode() : abcHieNew.c
• Au_NtkCreatePi() : abcHieNew.c
• Au_NtkCreatePo() : abcHieNew.c
• Au_NtkDerive() : abcHieNew.c
• Au_NtkDeriveFlatGia() : abcHieNew.c
• Au_NtkDeriveFlatGia_rec() : abcHieNew.c
• Au_NtkFree() : abcHieNew.c
• Au_NtkMemUsage() : abcHieNew.c
• Au_NtkNodeNumFunc() : abcHieNew.c
• Au_NtkParseCBlif() : abcHieNew.c
• Au_NtkPrintStats() : abcHieNew.c
• Au_NtkSuppSizeTest() : abcHieNew.c
• Au_NtkTerSimulate() : abcHieNew.c
• Au_NtkTerSimulate_rec() : abcHieNew.c
• Au_ObjSuppSize() : abcHieNew.c
• Au_ObjSuppSize_rec() : abcHieNew.c
• avl_check_tree() : avl.c
• avl_count() : avl.c
• avl_delete() : avl.c
• avl_find_or_add() : avl.c
• avl_first() : avl.c
• avl_foreach() : avl.c
• avl_free_gen() : avl.c
• avl_free_table() : avl.c
• avl_gen() : avl.c
• avl_init_gen() : avl.c
• avl_init_table() : avl.c
• avl_insert() : avl.c
• avl_last() : avl.c
• avl_lookup() : avl.c
• avl_numcmp() : avl.c