- a -

• Abc2_End() : mainInit.c
• Abc2_Init() : mainInit.c
• Abc85_End() : mainInit.c
• Abc85_Init() : mainInit.c
• Abc_Abc_NodeResubCollectDivs() : abcRestruct.c
• Abc_AbsDouble() : abc_global.h
• Abc_AbsFloat() : abc_global.h
• Abc_AbsInt() : abc_global.h
• ABC_AddGate() : csat_apis.c , csat_apis.h
• ABC_AddTarget() : csat_apis.c , csat_apis.h
• Abc_AigAlloc() : abc.h , abcAig.c
• Abc_AigAnd() : abcAig.c , abc.h
• Abc_AigAndCreate() : abcAig.c
• Abc_AigAndCreateFrom() : abcAig.c
• Abc_AigAndDelete() : 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_AigNodeIsAnd() : abc.h
• Abc_AigNodeIsChoice() : abc.h
• Abc_AigNodeIsConst() : abc.h
• Abc_AigOr() : abcAig.c , abc.h
• Abc_AigPrintNode() : abc.h , abcAig.c
• Abc_AigRehash() : abc.h , abcAig.c
• Abc_AigRemoveFromLevelStructure() : abcAig.c
• Abc_AigRemoveFromLevelStructureR() : abcAig.c
• Abc_AigReplace() : abc.h , abcAig.c
• Abc_AigReplace_int() : abcAig.c
• Abc_AigResize() : abcAig.c
• Abc_AigSetChoiceLevels() : abcDfs.c
• Abc_AigSetNodePhases() : abc.h , abcAig.c
• Abc_AigUpdateLevel_int() : abcAig.c
• Abc_AigUpdateLevelR_int() : 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_AttachCompare() : abcAttach.c
• Abc_AttachComputeTruth() : abcAttach.c
• Abc_AttachFind() : abcAttach.c
• Abc_AttachSetupTruthTables() : abcAttach.c
• Abc_Base10Log() : abc_global.h
• Abc_Base16Log() : abc_global.h
• Abc_Base2Log() : abc_global.h
• Abc_BitWordNum() : abc_global.h
• 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_BufEdgeDelay() : sclBuffer.c
• Abc_BufEdgeSlack() : sclBuffer.c
• Abc_BufFindNonBuffDriver() : sclBuffer.c
• Abc_BufNodeArr() : sclBuffer.c
• Abc_BufNodeDep() : sclBuffer.c
• Abc_BufNodeSlack() : sclBuffer.c
• Abc_BufPerformOne() : sclBuffer.c
• Abc_BufPrintOne() : sclBuffer.c
• Abc_BufReplaceBufsByInvs() : sclBuffer.c
• Abc_BufSetEdgeDelay() : sclBuffer.c
• Abc_BufSetNodeArr() : sclBuffer.c
• Abc_BufSetNodeDep() : sclBuffer.c
• Abc_BufSortByDelay() : sclBuffer.c
• Abc_BufUpdateArr() : sclBuffer.c
• Abc_BufUpdateDep() : sclBuffer.c
• Abc_BufUpdateGlobal() : sclBuffer.c
• Abc_CallMiniSat22() : AbcApi.cpp
• Abc_CascadeExperiment() : abcCas.c , 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_CexOnes32() : utilCex.c
• 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_Clock() : abc_global.h
• Abc_CollectTopOr() : abcDar.c
• Abc_CollectTopOr_rec() : abcDar.c
• Abc_ColorTest() : utilColor.c
• Abc_CommandAbc9AbsDerive() : abc.c
• Abc_CommandAbc9AbsRefine() : abc.c
• Abc_CommandAbc9Add1Hot() : abc.c
• Abc_CommandAbc9Append() : abc.c
• Abc_CommandAbc9BackReach() : abc.c
• Abc_CommandAbc9Balance() : abc.c
• Abc_CommandAbc9BalanceLut() : abc.c
• Abc_CommandAbc9BCore() : abc.c
• Abc_CommandAbc9Bidec() : abc.c
• Abc_CommandAbc9Bmc() : abc.c
• Abc_CommandAbc9Bmci() : abc.c
• Abc_CommandAbc9Cec() : abc.c
• Abc_CommandAbc9CexCut() : abc.c
• Abc_CommandAbc9CexInfo() : abc.c
• Abc_CommandAbc9CexMerge() : abc.c
• Abc_CommandAbc9CexMin() : abc.c
• Abc_CommandAbc9CFraig() : abc.c
• Abc_CommandAbc9ChainBmc() : abc.c
• Abc_CommandAbc9Choice() : abc.c
• Abc_CommandAbc9Cof() : abc.c
• Abc_CommandAbc9Cone() : abc.c
• Abc_CommandAbc9Cycle() : abc.c
• Abc_CommandAbc9Dc2() : abc.c
• Abc_CommandAbc9Dch() : abc.c
• Abc_CommandAbc9Demiter() : abc.c
• Abc_CommandAbc9Dfs() : abc.c
• Abc_CommandAbc9Dsd() : abc.c
• Abc_CommandAbc9Dsdb() : abc.c
• Abc_CommandAbc9Embed() : abc.c
• Abc_CommandAbc9Enable() : abc.c
• Abc_CommandAbc9Equiv() : abc.c
• Abc_CommandAbc9Equiv2() : abc.c
• Abc_CommandAbc9Equiv3() : abc.c
• Abc_CommandAbc9EquivFilter() : abc.c
• Abc_CommandAbc9EquivMark() : abc.c
• Abc_CommandAbc9Era() : abc.c
• Abc_CommandAbc9Fadds() : abc.c
• Abc_CommandAbc9False() : abc.c
• Abc_CommandAbc9FFTest() : abc.c
• Abc_CommandAbc9Filter() : abc.c
• Abc_CommandAbc9Fla2Gla() : abc.c
• Abc_CommandAbc9Flow() : abc.c
• Abc_CommandAbc9Flow2() : abc.c
• Abc_CommandAbc9Force() : abc.c
• Abc_CommandAbc9Fraig() : abc.c
• Abc_CommandAbc9Frames() : abc.c
• Abc_CommandAbc9Fx() : abc.c
• Abc_CommandAbc9Get() : abc.c
• Abc_CommandAbc9Gla() : abc.c
• Abc_CommandAbc9Gla2Fla() : abc.c
• Abc_CommandAbc9Gla2Vta() : abc.c
• Abc_CommandAbc9GlaDerive() : abc.c
• Abc_CommandAbc9GlaRefine() : abc.c
• Abc_CommandAbc9GlaShrink() : abc.c
• Abc_CommandAbc9GroupProve() : abc.c
• Abc_CommandAbc9ICheck() : abc.c
• Abc_CommandAbc9If() : abc.c
• Abc_CommandAbc9If2() : abc.c
• Abc_CommandAbc9Iff() : abc.c
• Abc_CommandAbc9Inse() : abc.c
• Abc_CommandAbc9Iso() : abc.c
• Abc_CommandAbc9Jf() : abc.c
• Abc_CommandAbc9Kf() : abc.c
• Abc_CommandAbc9Lcorr() : abc.c
• Abc_CommandAbc9Lf() : abc.c
• Abc_CommandAbc9Load() : abc.c
• Abc_CommandAbc9Maxi() : abc.c
• Abc_CommandAbc9Mf() : abc.c
• Abc_CommandAbc9Mfs() : abc.c
• Abc_CommandAbc9Miter() : abc.c
• Abc_CommandAbc9Miter2() : abc.c
• Abc_CommandAbc9MultiProve() : abc.c
• Abc_CommandAbc9MuxProfile() : abc.c
• Abc_CommandAbc9Nf() : abc.c
• Abc_CommandAbc9PFan() : abc.c
• Abc_CommandAbc9PoPart() : abc.c
• Abc_CommandAbc9PoPart2() : abc.c
• Abc_CommandAbc9Posplit() : abc.c
• Abc_CommandAbc9PoXsim() : abc.c
• Abc_CommandAbc9Ps() : abc.c
• Abc_CommandAbc9PSig() : abc.c
• Abc_CommandAbc9Put() : abc.c
• Abc_CommandAbc9Qbf() : abc.c
• Abc_CommandAbc9ReachM() : abc.c
• Abc_CommandAbc9ReachN() : abc.c
• Abc_CommandAbc9ReachP() : abc.c
• Abc_CommandAbc9ReachY() : abc.c
• Abc_CommandAbc9Read() : abc.c
• Abc_CommandAbc9ReadBlif() : abc.c
• Abc_CommandAbc9ReadCBlif() : abc.c
• Abc_CommandAbc9ReadStg() : abc.c
• Abc_CommandAbc9ReadVer() : abc.c
• Abc_CommandAbc9Reduce() : abc.c
• Abc_CommandAbc9Resim() : abc.c
• Abc_CommandAbc9Retime() : abc.c
• Abc_CommandAbc9Rpm() : abc.c
• Abc_CommandAbc9Sat() : abc.c
• Abc_CommandAbc9SatEnum() : abc.c
• Abc_CommandAbc9SatTest() : abc.c
• Abc_CommandAbc9Save() : abc.c
• Abc_CommandAbc9Scl() : abc.c
• Abc_CommandAbc9Scorr() : abc.c
• Abc_CommandAbc9Semi() : abc.c
• Abc_CommandAbc9SetRegNum() : abc.c
• Abc_CommandAbc9Show() : abc.c
• Abc_CommandAbc9Shrink() : abc.c
• Abc_CommandAbc9Sim() : abc.c
• Abc_CommandAbc9Sim3() : abc.c
• Abc_CommandAbc9Slice() : abc.c
• Abc_CommandAbc9Sopb() : abc.c
• Abc_CommandAbc9SpecI() : abc.c
• Abc_CommandAbc9Speedup() : abc.c
• Abc_CommandAbc9SplitProve() : abc.c
• Abc_CommandAbc9Srm() : abc.c
• Abc_CommandAbc9Srm2() : abc.c
• Abc_CommandAbc9Status() : abc.c
• Abc_CommandAbc9Strash() : abc.c
• Abc_CommandAbc9Struct() : abc.c
• Abc_CommandAbc9Sweep() : abc.c
• Abc_CommandAbc9Syn2() : abc.c
• Abc_CommandAbc9Syn3() : abc.c
• Abc_CommandAbc9Syn4() : abc.c
• Abc_CommandAbc9Synch2() : abc.c
• Abc_CommandAbc9Test() : abc.c
• Abc_CommandAbc9Times() : abc.c
• Abc_CommandAbc9Topand() : abc.c
• Abc_CommandAbc9Trace() : abc.c
• Abc_CommandAbc9Trim() : abc.c
• Abc_CommandAbc9Undo() : abc.c
• Abc_CommandAbc9Unmap() : abc.c
• Abc_CommandAbc9Verify() : abc.c
• Abc_CommandAbc9Vta() : abc.c
• Abc_CommandAbc9Vta2Gla() : abc.c
• Abc_CommandAbc9Write() : abc.c
• Abc_CommandAbc9WriteVer() : 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_CommandAbSec() : abc.c
• Abc_CommandAddBuffs() : abc.c
• Abc_CommandAddPi() : abc.c
• Abc_CommandAig() : abc.c
• Abc_CommandAmap() : abc.c
• Abc_CommandAndPos() : abc.c
• Abc_CommandAppend() : abc.c
• Abc_CommandAttach() : abc.c
• Abc_CommandBackup() : abc.c
• Abc_CommandBalance() : abc.c
• Abc_CommandBb2Wb() : abc.c
• Abc_CommandBdd() : abc.c
• Abc_CommandBidec() : abc.c
• Abc_CommandBlast() : wlcCom.c
• Abc_CommandBlockPo() : abc.c
• Abc_CommandBm() : abc.c
• Abc_CommandBm2() : abc.c
• Abc_CommandBmc() : abc.c
• Abc_CommandBmc2() : abc.c
• Abc_CommandBmc3() : abc.c
• Abc_CommandBmcInter() : abc.c
• Abc_CommandCareSet() : abc.c
• Abc_CommandCascade() : abc.c
• Abc_CommandCec() : abc.c
• Abc_CommandCexCut() : abc.c
• Abc_CommandCexLoad() : abc.c
• Abc_CommandCexMerge() : abc.c
• Abc_CommandCexMin() : abc.c
• Abc_CommandCexSave() : abc.c
• Abc_CommandCleanup() : abc.c
• Abc_CommandClockGate() : abc.c
• Abc_CommandCollapse() : abc.c
• Abc_CommandComb() : abc.c
• Abc_CommandCone() : abc.c
• Abc_CommandConstr() : abc.c
• Abc_CommandCover() : abc.c
• Abc_CommandCRetime() : abc.c
• Abc_CommandCS_kLiveness() : abc.c , kliveness.c
• Abc_CommandCSweep() : abc.c
• Abc_CommandCubeEnum() : abc.c
• Abc_CommandCubes() : abc.c
• Abc_CommandCut() : abc.c
• Abc_CommandCycle() : abc.c
• Abc_CommandDarPhase() : abc.c
• Abc_CommandDc2() : abc.c
• Abc_CommandDCec() : abc.c
• Abc_CommandDch() : abc.c
• Abc_CommandDChoice() : abc.c
• Abc_CommandDebug() : abc.c
• Abc_CommandDemiter() : abc.c
• Abc_CommandDFraig() : abc.c
• Abc_CommandDFrames() : abc.c
• Abc_CommandDisjoint() : abc.c
• Abc_CommandDouble() : abc.c
• Abc_CommandDProve() : abc.c
• Abc_CommandDRefactor() : abc.c
• Abc_CommandDRetime() : abc.c
• Abc_CommandDRewrite() : abc.c
• Abc_CommandDropSat() : abc.c
• Abc_CommandDrwsat() : abc.c
• Abc_CommandDSat() : abc.c
• Abc_CommandDsdFilter() : abc.c
• Abc_CommandDsdFree() : abc.c
• Abc_CommandDsdLoad() : abc.c
• Abc_CommandDsdMatch() : abc.c
• Abc_CommandDsdMerge() : abc.c
• Abc_CommandDsdPs() : abc.c
• Abc_CommandDsdSave() : abc.c
• Abc_CommandDSec() : abc.c
• Abc_CommandDualRail() : abc.c
• Abc_CommandEliminate() : abc.c
• Abc_CommandEnlarge() : abc.c
• Abc_CommandEspresso() : abc.c
• Abc_CommandExdcFree() : abc.c
• Abc_CommandExdcGet() : abc.c
• Abc_CommandExdcSet() : abc.c
• Abc_CommandExtract() : abc.c
• Abc_CommandExtSeqDcs() : abc.c
• Abc_CommandExtWin() : abc.c
• Abc_CommandFastExtract() : abc.c
• Abc_CommandFlowRetime() : abc.c
• Abc_CommandFold() : abc.c
• Abc_CommandFold2() : abc.c , abciUnfold2.c
• Abc_CommandFraig() : abc.c
• Abc_CommandFraigClean() : abc.c
• Abc_CommandFraigDress() : abc.c
• Abc_CommandFraigRestore() : abc.c
• Abc_CommandFraigStore() : abc.c
• Abc_CommandFraigSweep() : abc.c
• Abc_CommandFraigTrust() : abc.c
• Abc_CommandFrames() : abc.c
• Abc_CommandGen() : abc.c
• Abc_CommandGenFsm() : abc.c
• Abc_CommandICut() : abc.c
• Abc_CommandIf() : abc.c
• Abc_CommandIfif() : abc.c
• Abc_CommandIFraig() : abc.c
• Abc_CommandIndcut() : abc.c
• Abc_CommandInduction() : abc.c
• Abc_CommandInit() : abc.c
• Abc_CommandInsWin() : abc.c
• Abc_CommandInter() : abc.c
• Abc_CommandIProve() : abc.c
• Abc_CommandIResyn() : abc.c
• Abc_CommandIRewrite() : abc.c
• Abc_CommandIRewriteSeq() : abc.c
• Abc_CommandISat() : abc.c
• Abc_CommandIso() : abc.c
• Abc_CommandIStrash() : abc.c
• Abc_CommandLcorr() : abc.c
• Abc_CommandLogic() : abc.c
• Abc_CommandLutmin() : abc.c
• Abc_CommandLutpack() : abc.c
• Abc_CommandMap() : abc.c
• Abc_CommandMatch() : abc.c
• Abc_CommandMfs() : abc.c
• Abc_CommandMfs2() : abc.c
• Abc_CommandMinisat() : abc.c
• Abc_CommandMinisimp() : abc.c
• Abc_CommandMiter() : abc.c
• Abc_CommandMoveNames() : abc.c
• Abc_CommandMulti() : abc.c
• Abc_CommandMuxes() : abc.c
• Abc_CommandMuxStruct() : abc.c
• Abc_CommandNChooseK() : abc.c , kliveness.c
• Abc_CommandNode() : abc.c
• Abc_CommandNodeDup() : abc.c
• Abc_CommandNpnLoad() : abc.c
• Abc_CommandNpnSave() : abc.c
• Abc_CommandOneHot() : abc.c
• Abc_CommandOrder() : abc.c
• Abc_CommandOrPos() : abc.c
• Abc_CommandOutdec() : abc.c
• Abc_CommandPdr() : abc.c
• Abc_CommandPermute() : abc.c
• Abc_CommandPipe() : abc.c
• Abc_CommandPowerdown() : abc.c
• Abc_CommandPrintAuto() : abc.c
• Abc_CommandPrintCone() : abc.c
• Abc_CommandPrintDelay() : abc.c
• Abc_CommandPrintDsd() : abc.c
• Abc_CommandPrintExdc() : abc.c
• Abc_CommandPrintFactor() : abc.c
• Abc_CommandPrintFanio() : abc.c
• Abc_CommandPrintGates() : abc.c
• Abc_CommandPrintIo() : abc.c
• Abc_CommandPrintKMap() : abc.c
• Abc_CommandPrintLatch() : abc.c
• Abc_CommandPrintLevel() : abc.c
• Abc_CommandPrintMffc() : abc.c
• Abc_CommandPrintMiter() : abc.c
• Abc_CommandPrintSharing() : abc.c
• Abc_CommandPrintStats() : abc.c
• Abc_CommandPrintStatus() : abc.c
• Abc_CommandPrintSupport() : abc.c
• Abc_CommandPrintSymms() : abc.c
• Abc_CommandPrintUnate() : abc.c
• Abc_CommandPrintXCut() : abc.c
• Abc_CommandProve() : abc.c
• Abc_CommandPs() : wlcCom.c
• Abc_CommandPSat() : abc.c
• Abc_CommandPutOnTop() : abc.c
• Abc_CommandQbf() : abc.c
• Abc_CommandQuaReach() : abc.c
• Abc_CommandQuaRel() : abc.c
• Abc_CommandQuaVar() : abc.c
• Abc_CommandReach() : abc.c
• Abc_CommandReadVer() : wlcCom.c
• Abc_CommandRecAdd3() : abc.c
• Abc_CommandRecDump3() : abc.c
• Abc_CommandRecMerge3() : abc.c
• Abc_CommandReconcile() : abc.c
• Abc_CommandRecPs3() : abc.c
• Abc_CommandRecStart3() : abc.c
• Abc_CommandRecStop3() : abc.c
• Abc_CommandRefactor() : abc.c
• Abc_CommandRemovePo() : abc.c
• Abc_CommandRenode() : abc.c
• Abc_CommandReorder() : abc.c
• Abc_CommandRestore() : abc.c
• Abc_CommandRestructure() : abc.c
• Abc_CommandResubstitute() : abc.c
• Abc_CommandRetime() : abc.c
• Abc_CommandRewrite() : abc.c
• Abc_CommandRr() : abc.c
• Abc_CommandSat() : abc.c
• Abc_CommandSaucy() : abc.c
• Abc_CommandScut() : abc.c
• Abc_CommandSendAig() : abc.c
• Abc_CommandSendStatus() : abc.c
• Abc_CommandSenseInput() : abc.c
• Abc_CommandSeq() : abc.c
• Abc_CommandSeqCleanup() : abc.c
• Abc_CommandSeqFpga() : abc.c
• Abc_CommandSeqMap() : abc.c
• Abc_CommandSeqSweep() : abc.c
• Abc_CommandSeqSweep2() : abc.c
• Abc_CommandShortNames() : abc.c
• Abc_CommandShow() : abc.c
• Abc_CommandShowBdd() : abc.c
• Abc_CommandShowCut() : abc.c
• Abc_CommandSim() : abc.c
• Abc_CommandSim3() : abc.c
• Abc_CommandSimSec() : abc.c
• Abc_CommandSop() : abc.c
• Abc_CommandSparsify() : abc.c
• Abc_CommandSpeedup() : abc.c
• Abc_CommandSplitSop() : abc.c
• Abc_CommandStrash() : abc.c
• Abc_CommandSuperChoice() : abc.c
• Abc_CommandSuperChoiceLut() : abc.c
• Abc_CommandSwapPos() : abc.c
• Abc_CommandSweep() : abc.c
• Abc_CommandSynch() : abc.c
• Abc_CommandTempor() : abc.c
• Abc_CommandTest() : abc.c , wlcCom.c
• Abc_CommandTestCex() : abc.c
• Abc_CommandTestColor() : abc.c
• Abc_CommandTestDec() : abc.c
• Abc_CommandTestNpn() : abc.c
• Abc_CommandTestRPO() : abc.c
• Abc_CommandTestScorr() : abc.c
• Abc_CommandTestSeqSweep() : abc.c
• Abc_CommandTopAnd() : abc.c
• Abc_CommandTopmost() : abc.c
• Abc_CommandTrace() : abc.c
• Abc_CommandTraceCheck() : abc.c
• Abc_CommandTraceStart() : abc.c
• Abc_CommandTrim() : abc.c
• Abc_CommandUndc() : abc.c
• Abc_CommandUnfold() : abc.c
• Abc_CommandUnfold2() : abc.c , abciUnfold2.c
• Abc_CommandUnmap() : abc.c
• Abc_CommandUnpermute() : abc.c
• Abc_CommandUnseq() : abc.c
• Abc_CommandVarMin() : abc.c
• Abc_CommandWriteVer() : wlcCom.c
• Abc_CommandXsim() : abc.c
• Abc_CommandZero() : abc.c
• Abc_CommandZeroPo() : abc.c
• Abc_ConvertAigToAig() : abcFunc.c , resStrash.c
• Abc_ConvertAigToAig_rec() : abcFunc.c
• Abc_ConvertAigToBdd() : abcFunc.c
• Abc_ConvertAigToBdd_rec1() : abcFunc.c
• Abc_ConvertAigToBdd_rec2() : abcFunc.c
• Abc_ConvertAigToGia() : abcFunc.c
• Abc_ConvertAigToGia_rec1() : abcFunc.c
• Abc_ConvertAigToGia_rec2() : abcFunc.c
• Abc_ConvertBddToSop() : abcFunc.c
• Abc_ConvertSopToAig() : abcFunc.c
• Abc_ConvertSopToAigInternal() : abcFunc.c
• Abc_ConvertSopToBdd() : abcFunc.c , abcCascade.c
• Abc_ConvertZddToSop() : giaClp.c , abcFunc.c
• Abc_ConvertZddToSop_rec() : abcFunc.c
• Abc_CostCubes() : utilIsop.c
• Abc_CostLits() : utilIsop.c
• Abc_CountZddCubes() : giaClp.c , abcFunc.c
• Abc_CountZddCubes_rec() : abcFunc.c
• Abc_Create_TtSpore() : luckyRead.c
• Abc_Cube2Cost() : utilIsop.c
• Abc_CubeContain() : abcFanOrder.c
• Abc_CubeGenerateSign() : extraUtilCube.c
• Abc_CutFactor() : abcResub.c
• Abc_CutFactor_rec() : abcResub.c
• Abc_CutFactorLarge() : abcResub.c
• Abc_CutVolumeCheck() : abcResub.c
• Abc_CutVolumeCheck_rec() : abcResub.c
• Abc_DataGetCube() : extraUtilCube.c
• Abc_DataHasBit() : extraUtilCube.c , extraUtilEnum.c
• Abc_DataXorBit() : extraUtilCube.c , extraUtilEnum.c
• Abc_DataXorCube() : extraUtilCube.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_EdgeCreate() : abcIvy.c
• Abc_EdgeFromNode() : abcIvy.c
• Abc_EdgeId() : abcIvy.c
• Abc_EdgeIsComplement() : abcIvy.c
• Abc_EdgeNot() : abcIvy.c
• Abc_EdgeNotCond() : abcIvy.c
• Abc_EdgeRegular() : abcIvy.c
• Abc_EdgeToNode() : abcIvy.c
• ABC_EnableDump() : csat_apis.c , csat_apis.h
• Abc_End() : abc.c , mainInit.c
• Abc_EnumDeref() : extraUtilEnum.c
• Abc_EnumDerefNode() : extraUtilEnum.c
• Abc_EnumEquiv() : extraUtilEnum.c
• Abc_EnumerateCubeStates() : extraUtilCube.c
• Abc_EnumerateCubeStates2() : extraUtilCube.c
• Abc_EnumerateCubeStatesZdd() : extraUtilPerm.c
• Abc_EnumerateFilter() : extraUtilEnum.c
• Abc_EnumerateFuncs() : extraUtilEnum.c
• Abc_EnumerateFuncs_rec() : extraUtilEnum.c
• Abc_EnumerateFunctions() : extraUtilEnum.c
• Abc_EnumPrint() : extraUtilEnum.c
• Abc_EnumPrint_rec() : extraUtilEnum.c
• Abc_EnumPrintOne() : extraUtilEnum.c
• Abc_EnumRef() : extraUtilEnum.c
• Abc_EnumRefNode() : extraUtilEnum.c
• Abc_Esop6Cover() : utilIsop.c
• Abc_EsopAddLits() : utilIsop.c
• Abc_EsopCheck() : utilIsop.c
• Abc_EsopCover() : utilIsop.c
• Abc_EspressoMinimize() : abcEspresso.c
• Abc_FileRead() : abcDec.c , abcRpo.c , luckyRead.c
• Abc_FileSize() : abcDec.c , abcRpo.c
• Abc_Float2Int() : abc_global.h
• Abc_FrameAddInitializer() : mainInit.c , mainInt.h
• Abc_FrameAllocate() : mainFrame.c , mainInt.h
• Abc_FrameCheckPoConst() : base/main/main.h , mainFrame.c
• Abc_FrameCheckPoConstTest() : mainFrame.c
• Abc_FrameClearDesign() : abc.c
• Abc_FrameClearVerifStatus() : base/main/main.h , mainFrame.c
• Abc_FrameCopyLTLDataBase() : io.c , ltl_parser.c
• Abc_FrameDeallocate() : mainFrame.c , mainInt.h
• Abc_FrameDeleteAllNetworks() : base/main/main.h , mainFrame.c
• Abc_FrameDeriveStatusArray() : abc.c
• Abc_FrameEnd() : mainInit.c , mainInt.h
• Abc_FrameGetGia() : abc.c , base/main/main.h
• Abc_FrameGetGlobalFrame() : abcapis.h , base/main/main.h , mainFrame.c , demo.c
• Abc_FrameGiaInputMiniAig() : giaMini.c
• Abc_FrameGiaOutputMiniAig() : giaMini.c
• Abc_FrameInit() : mainInit.c , mainInt.h
• Abc_FrameIsBatchMode() : base/main/main.h , mainFrame.c
• Abc_FrameIsBridgeMode() : base/main/main.h , mainFrame.c
• Abc_FrameIsFlagEnabled() : base/main/main.h , mainFrame.c
• Abc_FrameReadBmcFrames() : base/main/main.h , mainFrame.c
• Abc_FrameReadCex() : abcapis.h , base/main/main.h , mainFrame.c
• Abc_FrameReadCexFrame() : base/main/main.h , mainFrame.c
• Abc_FrameReadCexPiNum() : base/main/main.h , mainFrame.c
• Abc_FrameReadCexPo() : base/main/main.h , mainFrame.c
• Abc_FrameReadCexRegNum() : base/main/main.h , mainFrame.c
• Abc_FrameReadCexVec() : base/main/main.h , mainFrame.c
• Abc_FrameReadDrivingCell() : base/main/main.h , mainFrame.c
• Abc_FrameReadErr() : base/main/main.h , mainFrame.c
• Abc_FrameReadFlag() : base/main/main.h , mainFrame.c
• Abc_FrameReadGia() : base/main/main.h , mainFrame.c
• Abc_FrameReadGlobalFrame() : base/main/main.h , mainFrame.c
• Abc_FrameReadLibBox() : base/main/main.h , mainFrame.c
• Abc_FrameReadLibGen() : base/main/main.h , mainFrame.c
• Abc_FrameReadLibGen2() : base/main/main.h , mainFrame.c
• Abc_FrameReadLibLut() : base/main/main.h , mainFrame.c
• Abc_FrameReadLibScl() : base/main/main.h , mainFrame.c
• Abc_FrameReadLibSuper() : base/main/main.h , mainFrame.c
• Abc_FrameReadManDd() : base/main/main.h , mainFrame.c
• Abc_FrameReadManDec() : base/main/main.h , mainFrame.c
• Abc_FrameReadManDsd() : base/main/main.h , mainFrame.c
• Abc_FrameReadManDsd2() : base/main/main.h , mainFrame.c
• Abc_FrameReadMaxLoad() : base/main/main.h , mainFrame.c
• Abc_FrameReadMode() : base/main/main.h , mainFrame.c
• Abc_FrameReadNtk() : base/main/main.h , mainFrame.c
• Abc_FrameReadObjIds() : base/main/main.h , mainFrame.c
• Abc_FrameReadOut() : base/main/main.h , mainFrame.c
• Abc_FrameReadPoEquivs() : base/main/main.h , mainFrame.c
• Abc_FrameReadPoStatuses() : base/main/main.h , mainFrame.c
• Abc_FrameReadProbStatus() : abcapis.h , base/main/main.h , mainFrame.c
• Abc_FrameReadSave1() : mainFrame.c
• Abc_FrameReadSave2() : mainFrame.c
• Abc_FrameReadStatusVec() : base/main/main.h , mainFrame.c
• Abc_FrameReadStore() : base/main/main.h , mainFrame.c
• Abc_FrameReadStoreSize() : base/main/main.h , mainFrame.c
• Abc_FrameReplaceCex() : abc.c , base/main/main.h
• Abc_FrameReplaceCexVec() : abc.c , base/main/main.h
• Abc_FrameReplaceCurrentNetwork() : base/main/main.h , mainFrame.c
• Abc_FrameReplacePoEquivs() : abc.c , base/main/main.h
• Abc_FrameReplacePoStatuses() : abc.c , base/main/main.h
• Abc_FrameRestart() : base/main/main.h , mainFrame.c
• Abc_FrameSetBridgeMode() : base/main/main.h , mainFrame.c
• Abc_FrameSetCex() : base/main/main.h , mainFrame.c
• Abc_FrameSetCurrentNetwork() : base/main/main.h , mainFrame.c
• Abc_FrameSetDrivingCell() : base/main/main.h , mainFrame.c
• Abc_FrameSetFlag() : base/main/main.h , mainFrame.c
• Abc_FrameSetGlobalFrame() : base/main/main.h , mainFrame.c
• Abc_FrameSetLibBox() : base/main/main.h , mainFrame.c
• Abc_FrameSetLibGen() : base/main/main.h , mainFrame.c
• Abc_FrameSetLibGen2() : base/main/main.h , mainFrame.c
• Abc_FrameSetLibLut() : base/main/main.h , mainFrame.c
• Abc_FrameSetLibSuper() : base/main/main.h , mainFrame.c
• Abc_FrameSetLibVer() : base/main/main.h
• Abc_FrameSetManDsd() : base/main/main.h , mainFrame.c
• Abc_FrameSetManDsd2() : base/main/main.h , mainFrame.c
• Abc_FrameSetMaxLoad() : base/main/main.h , mainFrame.c
• Abc_FrameSetMode() : base/main/main.h , mainFrame.c
• Abc_FrameSetNFrames() : base/main/main.h , mainFrame.c
• Abc_FrameSetNtkStore() : base/main/main.h
• Abc_FrameSetNtkStoreSize() : base/main/main.h
• Abc_FrameSetSave1() : mainFrame.c
• Abc_FrameSetSave2() : mainFrame.c
• Abc_FrameSetStatus() : base/main/main.h , mainFrame.c
• Abc_FrameShowProgress() : base/main/main.h , mainFrame.c
• Abc_FrameSwapCurrentAndBackup() : base/main/main.h , mainFrame.c
• Abc_FrameUnmapAllNetworks() : base/main/main.h , mainFrame.c
• Abc_FrameUpdateGia() : abc.c , base/main/main.h
• Abc_GenAdder() : abcGen.c
• Abc_GenFpga() : abcGen.c
• Abc_GenFsm() : abcGen.c
• Abc_GenFsmCond() : abcGen.c
• Abc_GenMesh() : abcGen.c
• Abc_GenMulti() : abcGen.c
• Abc_GenOneHot() : abcGen.c
• Abc_GenOneHotIntervals() : abcGen.c
• Abc_GenRandom() : abcGen.c
• Abc_GenSorter() : abcGen.c
• ABC_Get_Target_Result() : csat_apis.c , csat_apis.h
• Abc_GetBinaryName() : cmdPlugin.c
• Abc_GetFirst() : extraUtilEnum.c
• ABC_GetNodeName() : csat_apis.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_HashKey2() : abcAig.c
• Abc_IffDelay() : abcIfif.c
• Abc_IffObj() : abcIfif.c
• Abc_InfoAdd2Bits() : bmcCexMin2.c
• Abc_InfoAnd() : abc.h
• Abc_InfoClear() : abc.h
• Abc_InfoCopy() : abc.h
• Abc_InfoFill() : abc.h
• Abc_InfoGet2Bits() : bmcCexMin2.c
• Abc_InfoHasBit() : abc_global.h
• Abc_InfoIsOne() : abc.h
• Abc_InfoIsOrOne() : abc.h
• Abc_InfoIsOrOne3() : abc.h
• Abc_InfoIsZero() : abc.h
• Abc_InfoMask() : abc_global.h
• Abc_InfoNot() : abc.h
• Abc_InfoOr() : abc.h
• Abc_InfoRandom() : abc.h
• Abc_InfoRandomBytes() : resSim.c
• Abc_InfoRandomWord() : abc.h
• Abc_InfoSet2Bits() : bmcCexMin2.c
• Abc_InfoSetBit() : abc_global.h
• Abc_InfoXor() : abc.h
• Abc_InfoXorBit() : abc_global.h
• Abc_Init() : abc.c , mainInit.c
• ABC_InitManager() : csat_apis.c , csat_apis.h
• Abc_Int2Float() : abc_global.h
• Abc_Int2Ptr() : abc_global.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_IsopAddLits() : 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_IsopTtElems() : utilIsop.c
• Abc_IsopVerify() : utilIsop.c
• Abc_LatchInit() : abc.h
• Abc_LatchIsInit0() : abc.h
• Abc_LatchIsInit1() : abc.h
• Abc_LatchIsInitDc() : abc.h
• Abc_LatchIsInitNone() : abc.h
• Abc_LatchSetInit0() : abc.h
• Abc_LatchSetInit1() : abc.h
• Abc_LatchSetInitDc() : abc.h
• Abc_LatchSetInitNone() : abc.h
• Abc_Lit2LitL() : abc_global.h
• Abc_Lit2LitV() : abc_global.h
• Abc_Lit2Var() : abc_global.h
• Abc_LitIsCompl() : abc_global.h
• Abc_LitNot() : abc_global.h
• Abc_LitNotCond() : abc_global.h
• Abc_LitRegular() : abc_global.h
• Abc_ManCollectLatches() : retLvalue.c
• 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_ManResubCleanup() : abcResub.c
• Abc_ManResubCollectDivs() : abcResub.c
• Abc_ManResubCollectDivs_rec() : abcResub.c
• Abc_ManResubDivs0() : abcResub.c
• Abc_ManResubDivs1() : abcResub.c
• Abc_ManResubDivs12() : abcResub.c
• Abc_ManResubDivs2() : abcResub.c
• Abc_ManResubDivs3() : abcResub.c
• Abc_ManResubDivsD() : abcResub.c
• Abc_ManResubDivsS() : abcResub.c
• Abc_ManResubEval() : abcResub.c
• Abc_ManResubPrint() : abcResub.c
• Abc_ManResubPrintDivs() : abcResub.c
• Abc_ManResubQuit() : abcResub.c
• Abc_ManResubQuit0() : abcResub.c
• Abc_ManResubQuit1() : abcResub.c
• Abc_ManResubQuit2() : abcResub.c
• Abc_ManResubQuit21() : abcResub.c
• Abc_ManResubQuit3() : abcResub.c
• Abc_ManResubSimulate() : abcResub.c
• Abc_ManResubStart() : abcResub.c
• Abc_ManResubStop() : abcResub.c
• Abc_ManRewritePrintDivs() : abcRewrite.c
• Abc_ManSclStart() : abcLut.c
• Abc_ManSclStop() : abcLut.c
• Abc_ManShowCutCone() : abcRewrite.c
• Abc_ManShowCutCone_rec() : abcRewrite.c
• Abc_ManTimeDup() : abc.h , abcTiming.c
• Abc_ManTimeExpand() : abcTiming.c
• Abc_ManTimeStart() : abcTiming.c
• Abc_ManTimeStop() : abc.h , abcTiming.c
• Abc_MapBox2Next() : abcIf.c , ioReadBlifMv.c
• Abc_MapBox2Prev() : abcIf.c , ioReadBlifMv.c
• Abc_MapBoxSetPrevNext() : abcIf.c , ioReadBlifMv.c
• Abc_MaxDouble() : abc_global.h
• Abc_MaxFloat() : abc_global.h
• Abc_MaxInt() : abc_global.h
• Abc_MaxWord() : abc_global.h
• Abc_MergeSort() : abc_global.h , utilSort.c
• Abc_MergeSortCost() : 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_MfsComputeRootsCheck() : 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_MfsObjProb() : mfsInt.h
• Abc_MfsSatAddXor() : mfsInter.c
• Abc_MfsWinMarkTfi() : mfsDiv.c
• Abc_MfsWinMarkTfi_rec() : mfsDiv.c
• Abc_MfsWinSweepLeafTfo_rec() : mfsDiv.c
• Abc_MfsWinVisitMffc() : mfsDiv.c
• Abc_MinDouble() : abc_global.h
• Abc_MinFloat() : abc_global.h
• Abc_MinInt() : abc_global.h
• Abc_MinWord() : abc_global.h
• Abc_MvDecompose() : abcMv.c
• Abc_MvDeref() : abcMv.c
• Abc_MvExperiment() : abcMv.c
• Abc_MvPrintStats() : abcMv.c
• Abc_MvRead() : abcMv.c
• Abc_MvReadCube() : abcMv.c
• Abc_NamComputeIdMap() : utilNam.c , utilNam.h
• Abc_NamDeref() : utilNam.c , utilNam.h
• Abc_NamHandleToStr() : utilNam.c
• Abc_NamIntToHandle() : utilNam.c
• Abc_NamIntToNext() : utilNam.c
• Abc_NamIntToNextP() : utilNam.c
• Abc_NamIntToStr() : utilNam.c
• 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.h , utilNam.c
• Abc_NamReportCommon() : utilNam.c , utilNam.h
• Abc_NamReportUnique() : utilNam.c , utilNam.h
• Abc_NamStart() : utilNam.c , utilNam.h
• Abc_NamStop() : utilNam.c , utilNam.h
• Abc_NamStr() : utilNam.c , utilNam.h
• Abc_NamStrcmp() : utilNam.c
• Abc_NamStrFind() : utilNam.c , utilNam.h
• Abc_NamStrFindLim() : utilNam.c , utilNam.h
• Abc_NamStrFindOrAdd() : utilNam.c , utilNam.h
• Abc_NamStrFindOrAddLim() : utilNam.c , utilNam.h
• Abc_NamStrHash() : utilNam.c
• Abc_NamStrHashFind() : 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_NodeAddClauses() : abcSat.c
• Abc_NodeAddClausesTop() : abcSat.c
• Abc_NodeArrival() : abcTiming.c
• Abc_NodeAttach() : abcAttach.c
• Abc_NodeBalance_rec() : abcBalance.c
• Abc_NodeBalanceCone() : abcBalance.c
• Abc_NodeBalanceCone_rec() : abcBalance.c
• Abc_NodeBalanceConeExor() : abcBalance.c
• Abc_NodeBalanceConeExor_rec() : abcBalance.c
• Abc_NodeBalanceFindLeft() : abcBalance.c
• Abc_NodeBalancePermute() : abcBalance.c
• Abc_NodeBddReorder() : abcReorder.c
• Abc_NodeBddToCnf() : abc.h , abcFunc.c
• Abc_NodeBddToMuxes() : abcNtbdd.c
• Abc_NodeBddToMuxes_rec() : abcNtbdd.c
• Abc_NodeBuildCutLevelOne_int() : abcReconv.c
• Abc_NodeBuildCutLevelTwo_int() : abcReconv.c
• Abc_NodeBuildFromMini() : abcIf.c
• Abc_NodeBuildFromMiniInt() : abcIf.c
• Abc_NodeCheckDist1Free() : abcFanOrder.c
• Abc_NodeCheckDupFanin() : abcMinBase.c
• Abc_NodeCheckFull() : abcRestruct.c
• Abc_NodeClearPersistant() : abc.h
• Abc_NodeCollapse() : abcMinBase.c
• Abc_NodeCollapse1() : abcMinBase.c
• Abc_NodeCollapseFunc() : abcMinBase.c
• Abc_NodeCollapseFunc1() : abcMinBase.c
• Abc_NodeCollapsePermMap() : abcMinBase.c
• Abc_NodeCollapseSuppSize() : abcMinBase.c
• Abc_NodeCollectFanins() : abc.h , abcUtil.c
• Abc_NodeCollectFanouts() : abc.h , abcUtil.c
• Abc_NodeCollectTfoCands() : abc.h , abcReconv.c
• Abc_NodeCompareCubes() : abcFanOrder.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_NodeComputeLag() : retLvalue.c
• Abc_NodeConeBdd() : abcReconv.c
• Abc_NodeConeCollect() : abc.h , abcReconv.c
• Abc_NodeConeDcs() : abcReconv.c
• Abc_NodeConeMarkCollect_rec() : abcReconv.c
• Abc_NodeConstantInput() : abcSweep.c
• Abc_NodeConvertSopToMvSop() : abc.h , abcBlifMv.c
• Abc_NodeCountAppearances() : abcMinBase.c
• Abc_NodeCountAppearancesAll() : abcMinBase.c
• Abc_NodeCovDropData() : cov.h , covMan.c
• Abc_NodeCovProduct() : covCore.c
• Abc_NodeCovPropagate() : covCore.c
• Abc_NodeCovSum() : covCore.c
• Abc_NodeCovSupport() : covCore.c
• Abc_NodeDecompDsdAndMux() : abcDsd.c
• Abc_NodeDecomposeSort() : abcLut.c
• Abc_NodeDecomposeStep() : 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_NodeDroppingCost() : abcSweep.c
• Abc_NodeEdgeDsdPermute() : abcRestruct.c
• Abc_NodeEdgeDsdPushOrdered() : abcRestruct.c
• Abc_NodeEspresso() : abcEspresso.c
• Abc_NodeEvalMvCost() : abc.h , abcBlifMv.c
• Abc_NodeEvalMvCostInternal() : abcBlifMv.c
• Abc_NodeEvaluateDsd() : abcRestruct.c
• Abc_NodeEvaluateDsd_rec() : abcRestruct.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_NodeFindMuxVar() : abcDsd.c
• Abc_NodeFindNonCoFanout() : abc.h , abcUtil.c
• Abc_NodeFraigTrust() : abcFraig.c
• Abc_NodeFreeCuts() : abc.h , base/abci/abcCut.c , opt/cut/abcCut.c
• Abc_NodeFreeNames() : abc.h , abcNames.c
• Abc_NodeFromFpga_rec() : abcFpga.c
• Abc_NodeFromFraig_rec() : abcFraig.c
• Abc_NodeFromGlobalBdds() : abcCollapse.c
• Abc_NodeFromIf_rec() : abcIf.c
• Abc_NodeFromMap_rec() : abcMap.c
• Abc_NodeFromMapCutPhase() : abcMap.c
• Abc_NodeFromMapPhase_rec() : abcMap.c
• Abc_NodeFromMapSuper_rec() : abcMap.c
• Abc_NodeFromMapSuperChoice_rec() : abcMap.c
• Abc_NodeGetCuts() : abc.h , base/abci/abcCut.c , opt/cut/abcCut.c
• Abc_NodeGetCutsRecursive() : abc.h , base/abci/abcCut.c , opt/cut/abcCut.c
• Abc_NodeGetCutsSeq() : abc.h , base/abci/abcCut.c , opt/cut/abcCut.c
• Abc_NodeGetFakeNames() : abc.h , abcNames.c
• Abc_NodeGetFaninNames() : abc.h , abcNames.c
• Abc_NodeGetLeafCostOne() : abcReconv.c
• Abc_NodeGetLeafCostTwo() : abcReconv.c
• Abc_NodeGetLevel() : abcLut.c
• Abc_NodeGetLValue() : retLvalue.c
• Abc_NodeGetSuper() : abcStrash.c
• Abc_NodeGlobalBdds_rec() : abcNtbdd.c
• Abc_NodeHasUniqueCoFanout() : abc.h , abcUtil.c
• Abc_NodeIfNodeResyn() : abcBidec.c
• Abc_NodeIfToHop() : abcIf.c
• Abc_NodeIfToHop2_rec() : abcIf.c
• Abc_NodeIfToHop_rec() : abcIf.c
• Abc_NodeInvUpdateFanPolarity() : sclBuffer.c , sclSize.h
• Abc_NodeInvUpdateObjFanoutPolarity() : sclBuffer.c , sclSize.h
• Abc_NodeIsAnd2() : ioWriteBook.c
• 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_NodeIsExor() : abcMinBase.c
• Abc_NodeIsExorType() : abc.h , abcUtil.c
• Abc_NodeIsForDsd() : abcDsd.c
• Abc_NodeIsInv() : abc.h , abcObj.c
• Abc_NodeIsMuxControlType() : abc.h , abcUtil.c
• Abc_NodeIsMuxType() : abc.h , abcUtil.c
• Abc_NodeIsNand2() : ioWriteBook.c
• Abc_NodeIsNor2() : ioWriteBook.c
• Abc_NodeIsOr2() : ioWriteBook.c
• Abc_NodeIsPersistant() : abc.h
• Abc_NodeIsTravIdCurrent() : abc.h
• Abc_NodeIsTravIdCurrentId() : abc.h
• Abc_NodeIsTravIdPrevious() : abc.h
• Abc_NodeIsWhiteBox() : abcTim.c
• Abc_NodeIsXnor2() : ioWriteBook.c
• Abc_NodeIsXor2() : ioWriteBook.c
• Abc_NodeLeavesRemove() : abcLut.c
• Abc_NodeLutMap() : 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_NodeMffcConstants() : abcRestruct.c
• Abc_NodeMffcDoubleNode() : abcRestruct.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_NodeMffcSimulate() : abcRestruct.c
• Abc_NodeMffcSingleNode() : abcRestruct.c
• Abc_NodeMffcSingleVar() : abcRestruct.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() : abcRewrite.c
• Abc_NodePrintFactor() : abc.h , abcPrint.c
• Abc_NodePrintFanio() : abc.h , abcPrint.c
• Abc_NodePrintKMap() : abcPrint.c
• Abc_NodePrintLevel() : abc.h , abcPrint.c
• Abc_NodeReadArrival() : abc.h , abcTiming.c
• Abc_NodeReadArrivalAve() : abc.h , abcTiming.c
• Abc_NodeReadArrivalWorst() : abc.h , abcTiming.c
• Abc_NodeReadCuts() : abc.h , base/abci/abcCut.c , opt/cut/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_NodeRefDeref() : abcRefs.c
• Abc_NodeRefDerefStop() : abcRefs.c
• Abc_NodeRemoveDupFanins() : abc.h , abcMinBase.c
• Abc_NodeRemoveDupFanins_int() : abcMinBase.c
• Abc_NodeRemoveNonCurrentObjects() : abcSweep.c
• Abc_NodeRequired() : abcTiming.c
• Abc_NodeRestructure() : abcRestruct.c
• Abc_NodeRestructureCut() : abcRestruct.c
• Abc_NodeResubEval() : abcRestruct.c
• Abc_NodeResubMffc() : abcRestruct.c
• Abc_NodeResubMffc_rec() : abcRestruct.c
• Abc_NodeResubstitute() : abcRestruct.c
• Abc_NodeSetChoiceLevel_rec() : abcDfs.c
• Abc_NodeSetLValue() : retLvalue.c
• Abc_NodeSetPersistant() : abc.h
• Abc_NodeSetTravId() : abc.h
• Abc_NodeSetTravIdCurrent() : abc.h
• Abc_NodeSetTravIdCurrentId() : abc.h
• Abc_NodeSetTravIdPrevious() : abc.h
• Abc_NodeShowBdd() : abcShow.c
• Abc_NodeShowBddOne() : abcShow.c
• Abc_NodeShowCut() : abcShow.c
• Abc_NodesMark() : abcReconv.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_NodeStrashAig() : abcIvy.c
• Abc_NodeStrashAigExorAig() : abcIvy.c
• Abc_NodeStrashAigFactorAig() : abcIvy.c
• Abc_NodeStrashAigSopAig() : abcIvy.c
• Abc_NodeStrashBlifMv() : abcBlifMv.c
• Abc_NodeStrashToGia() : abcHieGia.c
• Abc_NodeStrashToGia_rec() : abcHieGia.c
• Abc_NodeStrashUsingNetwork() : abcLib.c
• Abc_NodeStrashUsingNetwork_rec() : abcLib.c
• Abc_NodesUnmark() : abcReconv.c
• Abc_NodesUnmarkB() : abcReconv.c
• Abc_NodeSuperChoice() : abcMap.c
• Abc_NodeSuperChoiceCollect() : abcLut.c
• Abc_NodeSuperChoiceCollect2() : abcLut.c
• Abc_NodeSuperChoiceCollect2_rec() : abcLut.c
• Abc_NodeSuperChoiceCollect_rec() : abcLut.c
• Abc_NodeSuperChoiceLut() : abcLut.c
• Abc_NodeSuperChoiceTruth() : abcLut.c
• Abc_NodeSupport() : abcMinBase.c
• Abc_NodeSupport_rec() : abcMinBase.c
• Abc_NodeSupportClear_rec() : abcMinBase.c
• Abc_NodeSweep() : abcSweep.c
• Abc_NodeTravId() : abc.h
• 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_NtkAddDummyBoxNames() : abc.h , abcNames.c
• Abc_NtkAddDummyPiNames() : abc.h , abcNames.c
• Abc_NtkAddDummyPoNames() : abc.h , abcNames.c
• Abc_NtkAddFrame() : abcMiter.c
• Abc_NtkAddFrame2() : abcMiter.c
• Abc_NtkAddLatch() : abc.h , abcLatch.c
• Abc_NtkAddOneHotness() : mfsInt.h , mfsSat.c
• Abc_NtkAddPoBuffers() : abcNetlist.c
• Abc_NtkAddToBdd() : abcCascade.c
• Abc_NtkAddToBdd_rec() : abcCascade.c
• Abc_NtkAfterTrim() : abcDar.c
• Abc_NtkAigForConstraints() : mfsStrash.c
• Abc_NtkAigToBdd() : abc.h , abcFunc.c
• Abc_NtkAigToGia() : abc.h , abcFunc.c
• Abc_NtkAigToLogicSop() : abcNetlist.c
• Abc_NtkAigToLogicSopBench() : abcNetlist.c
• Abc_NtkAigToLogicSopNand() : abcNetlist.c
• Abc_NtkAlloc() : abc.h , abcNtk.c
• Abc_NtkAppend() : abc.h , abcStrash.c
• Abc_NtkAppendToCone() : abc.h , abcNtk.c
• Abc_NtkAssignIDs() : abcMfs.c
• Abc_NtkAssignIDs2() : abcMfs.c
• Abc_NtkAttach() : abc.h , abcAttach.c
• Abc_NtkAttachBottom() : abcNtk.c , retArea.c
• Abc_NtkAttrFree() : abc.h , abcUtil.c
• Abc_NtkAutoDebug() : abcDebug.c
• Abc_NtkAutoDebugModify() : abcDebug.c
• Abc_NtkAutoPrint() : abcAuto.c
• Abc_NtkAutoPrintAll() : abcAuto.c
• Abc_NtkAutoPrintOne() : abcAuto.c
• Abc_NtkBackup() : abc.h
• 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_NtkBalancePerform() : abcBalance.c
• Abc_NtkBarBufsFromBuffers() : abc.h , abcBarBuf.c
• Abc_NtkBarBufsOnOffTest() : abcBarBuf.c
• Abc_NtkBarBufsToBuffers() : abc.h , abcBarBuf.c
• Abc_NtkBddCofactors() : abcLutmin.c
• Abc_NtkBddCofactors_rec() : abcLutmin.c
• Abc_NtkBddCofCount() : abcCascade.c
• Abc_NtkBddCurtis() : abcLutmin.c
• Abc_NtkBddDec() : abcCascade.c
• Abc_NtkBddDecCharFunc() : abcCascade.c
• Abc_NtkBddDecInt() : abcCascade.c
• Abc_NtkBddDecompose() : abcLutmin.c
• Abc_NtkBddDecTry() : abcCascade.c
• Abc_NtkBddFindAddConst() : abcCascade.c
• Abc_NtkBddFindCofactor() : abcLutmin.c
• Abc_NtkBddImplicationTest() : abcNtbdd.c
• Abc_NtkBddMux21() : abcLutmin.c
• Abc_NtkBddMux411() : abcLutmin.c
• Abc_NtkBddMux412() : abcLutmin.c
• Abc_NtkBddMux412a() : abcLutmin.c
• Abc_NtkBddMux413() : abcLutmin.c
• Abc_NtkBddReorder() : abcIf.c , abcReorder.c
• Abc_NtkBddToAdd() : abcCascade.c
• Abc_NtkBddToAdd_rec() : abcCascade.c
• Abc_NtkBddToMuxes() : abc.h , abcNtbdd.c
• Abc_NtkBddToMuxesPerform() : abcNtbdd.c
• Abc_NtkBddToSop() : abc.h , abcFunc.c
• Abc_NtkBidecResyn() : abcBidec.c , abcIf.c
• Abc_NtkBiNum() : abc.h
• Abc_NtkBlackboxNum() : abc.h
• Abc_NtkBmc() : abcBmc.c
• Abc_NtkBmcFileName() : abcScorr.c
• Abc_NtkBmcReport() : abcBmc.c
• Abc_NtkBmSat() : abcBm.c
• Abc_NtkBoNum() : abc.h
• Abc_NtkBottom() : abcNtk.c
• Abc_NtkBox() : abc.h
• Abc_NtkBoxNum() : abc.h
• Abc_NtkBuildGlobalBdds() : abc.h , abcNtbdd.c
• Abc_NtkCascade() : abcCas.c
• Abc_NtkCecFraig() : abcVerify.c
• Abc_NtkCecFraigPart() : abcVerify.c
• Abc_NtkCecFraigPartAuto() : abcVerify.c
• Abc_NtkCecSat() : abcVerify.c
• Abc_NtkCecSat_saucy() : abcSaucy.c
• Abc_NtkChangeCiOrder() : abcOrder.c
• Abc_NtkCheck() : abc.h , abcCheck.c
• Abc_NtkCheckAbsorb() : abcLutmin.c
• Abc_NtkCheckConstant_rec() : abcSweep.c
• Abc_NtkCheckLatch() : abcCheck.c
• Abc_NtkCheckNames() : abcCheck.c
• Abc_NtkCheckNet() : abcCheck.c
• Abc_NtkCheckNode() : abcCheck.c
• Abc_NtkCheckObj() : abc.h , abcCheck.c
• Abc_NtkCheckPis() : abcCheck.c
• Abc_NtkCheckPos() : abcCheck.c
• Abc_NtkCheckRead() : abc.h , abcCheck.c
• Abc_NtkCheckRecursive() : abcHieCec.c , abcHieNew.c
• Abc_NtkCheckSingleInstance() : abcBarBuf.c
• Abc_NtkCheckUniqueCiNames() : abc.h , abcCheck.c
• Abc_NtkCheckUniqueCioNames() : abc.h , abcCheck.c
• Abc_NtkCheckUniqueCoNames() : abc.h , abcCheck.c
• Abc_NtkCi() : abc.h
• Abc_NtkCiNum() : abc.h
• 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_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_NtkCo() : abc.h
• Abc_NtkCollapse() : abc.h , abcCollapse.c
• Abc_NtkCollectCiNames() : abcDar.c
• Abc_NtkCollectCioNames() : abc.h , abcNames.c
• Abc_NtkCollectCircle() : abcMerge.c , fahout_cut.c
• Abc_NtkCollectCoNames() : abcDar.c
• Abc_NtkCollectHie() : abcHieCec.c
• Abc_NtkCollectHie_rec() : abcHieCec.c
• Abc_NtkCollectLatches() : abc.h , abcUtil.c
• Abc_NtkCollectLatchValues() : abc.h , abcLatch.c
• Abc_NtkCollectLatchValuesIvy() : abcIvy.c
• Abc_NtkCollectLatchValuesStr() : abc.h , abcLatch.c
• Abc_NtkCollectNodesByArea() : sclDnsize.c
• Abc_NtkCollectNodesForDsd() : abcDsd.c
• Abc_NtkCollectNonOverlapCands() : abcMerge.c , fahout_cut.c
• Abc_NtkCollectObjects() : abc.h , abcUtil.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_NtkCompareLatches() : abcCheck.c
• Abc_NtkCompareNames() : abcHie.c
• Abc_NtkComparePis() : abcCheck.c
• Abc_NtkComparePos() : abcCheck.c
• Abc_NtkCompareSignals() : abc.h , abcCheck.c
• Abc_NtkCompareSupports() : abcUtil.c
• Abc_NtkComputeArea() : base/abci/abcCut.c
• Abc_NtkComputeDelay() : abcUtil.c
• Abc_NtkComputeEdgeDept() : sclBufSize.c
• Abc_NtkComputeFanoutInfo() : sclBufSize.c
• Abc_NtkComputeFanoutLoad() : sclBufSize.c
• Abc_NtkComputeNodeDeparture() : sclBufSize.c
• Abc_NtkComputeNodeLoad() : sclBufSize.c
• Abc_NtkComputeReachable() : abcReach.c
• Abc_NtkComputeSupportsNaive() : abcPart.c
• Abc_NtkComputeSupportsSmart() : abcPart.c
• Abc_NtkComputeUnreachable() : abcUnreach.c
• Abc_NtkConstraintRatio() : mfsInt.h , mfsStrash.c
• Abc_NtkConstrNum() : abc.h
• Abc_NtkConstructAig() : mfsInt.h , mfsStrash.c
• Abc_NtkConstructAig_rec() : mfsStrash.c
• Abc_NtkConstructCare_rec() : mfsStrash.c
• Abc_NtkConstructExdc() : abcUnreach.c
• Abc_NtkConstructFromCnf() : abcDar.c
• Abc_NtkCoNum() : abc.h
• Abc_NtkConverLatchNamesIntoNumbers() : abc.h , abcLatch.c
• Abc_NtkConvertAssignName() : abcBlifMv.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_NtkCountFaninsTotal() : abcDebug.c
• Abc_NtkCountInst() : abcHieCec.c
• Abc_NtkCountInst_rec() : abcHieCec.c
• Abc_NtkCountLogicNodes() : ioWriteDot.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_NtkCountTotalFanins() : abcMerge.c , fahout_cut.c
• Abc_NtkCovCovers() : covCore.c
• Abc_NtkCovCovers_rec() : covCore.c
• Abc_NtkCovCoversOne() : covCore.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_NtkCreateBi() : abc.h
• Abc_NtkCreateBlackbox() : abc.h
• Abc_NtkCreateBo() : abc.h
• Abc_NtkCreateCofLut() : abcLutmin.c
• Abc_NtkCreateCone() : abc.h , abcNtk.c
• Abc_NtkCreateConeArray() : abc.h , abcNtk.c
• Abc_NtkCreateFromCharFunc() : abcCascade.c
• Abc_NtkCreateFromNode() : abc.h , abcNtk.c
• Abc_NtkCreateLatch() : abc.h
• Abc_NtkCreateMffc() : abc.h , abcNtk.c
• Abc_NtkCreateNet() : abc.h
• Abc_NtkCreateNode() : abc.h
• 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_NtkCreateNodeMux() : abc.h , abcObj.c
• Abc_NtkCreateNodeOr() : abc.h , abcObj.c
• Abc_NtkCreateObj() : abc.h , abcObj.c
• Abc_NtkCreatePartitions() : abcReach.c
• Abc_NtkCreatePi() : abc.h
• Abc_NtkCreatePo() : abc.h
• Abc_NtkCreateTarget() : abc.h , abcNtk.c
• Abc_NtkCreateWhitebox() : abc.h
• Abc_NtkCreateWithNode() : 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() : base/abci/abcCut.c , opt/cut/abcCut.c
• Abc_NtkCutsAddFanunt() : base/abci/abcCut.c
• Abc_NtkCutsOracle() : base/abci/abcCut.c , opt/cut/abcCut.c
• Abc_NtkCutsSubtractFanunt() : base/abci/abcCut.c
• Abc_NtkCycleInitState() : abcXsim.c
• Abc_NtkCycleInitStateSop() : retInit.c
• Abc_NtkDar() : abcDar.c
• Abc_NtkDarAbSec() : abcDar.c
• Abc_NtkDarAmap() : abcDar.c
• Abc_NtkDarBmc() : abcDar.c
• Abc_NtkDarBmc3() : abcDar.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_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_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_NtkDelayTraceSetSlack() : abcTiming.c
• Abc_NtkDelayTraceSlack() : abcTiming.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() : giaClp.c , abcHieCec.c , abcHieNew.c
• Abc_NtkDeriveFromBdd() : abc.h , abcNtbdd.c
• Abc_NtkDetectMatching() : abcUtil.c
• Abc_NtkDfs() : 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_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_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_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_NtkDressComputeEquivs() : abcDress2.c
• Abc_NtkDressDeriveMapping() : abcDress.c
• Abc_NtkDressMapClasses() : abcDress2.c
• Abc_NtkDressMapIds() : abcDress2.c
• Abc_NtkDressMapSetPolarity() : abcDress2.c
• Abc_NtkDressPrintEquivs() : abcDress2.c
• Abc_NtkDressPrintStats() : abcDress2.c
• Abc_NtkDressTransferNames() : abcDress.c
• Abc_NtkDRewrite() : abcDar.c
• Abc_NtkDropOneOutput() : abcNtk.c
• Abc_NtkDropSatOutputs() : abcNtk.c
• Abc_NtkDrwsat() : abcDar.c
• Abc_NtkDSat() : abcDar.c , abcQbf.c
• Abc_NtkDsdConstruct() : abcDsd.c
• Abc_NtkDsdConstructNode() : abcDsd.c
• Abc_NtkDsdGlobal() : abcDsd.c
• Abc_NtkDsdInternal() : abcDsd.c
• Abc_NtkDsdLocal() : abcDsd.c
• Abc_NtkDumpBlif() : abcExtract.c
• Abc_NtkDup() : abc.h , abcNtk.c
• Abc_NtkDupBox() : abc.h , abcObj.c
• Abc_NtkDupDfs() : abc.h , abcNtk.c
• Abc_NtkDupObj() : abc.h , abcObj.c
• Abc_NtkDupTransformMiter() : abc.h , abcNtk.c
• Abc_NtkEliminate() : abcMinBase.c
• Abc_NtkEliminate1() : abcMinBase.c
• Abc_NtkEliminate1One() : abcMinBase.c
• Abc_NtkEliminateSpecial() : abcMinBase.c
• Abc_NtkEspresso() : abcEspresso.c
• Abc_NtkExdc() : abc.h
• Abc_NtkExploreCofs() : abcCascade.c
• Abc_NtkExploreCofs2() : abcCascade.c
• Abc_NtkExtractMfs() : abcMfs.c
• Abc_NtkExtractMfs2() : abcMfs.c
• Abc_NtkExtractSequentialDcs() : abcUnreach.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_NtkFinalize() : abc.h , abcNtk.c
• Abc_NtkFinalizeRead() : abc.h , abcNtk.c
• Abc_NtkFindCi() : abc.h , abcObj.c
• Abc_NtkFindCiOrder() : abcOrder.c
• Abc_NtkFindCo() : abc.h , abcObj.c
• Abc_NtkFindDcLatches() : abcDar.c
• Abc_NtkFindGivenFanin() : abcDebug.c
• Abc_NtkFindGoodOrder() : abcIf.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_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_NtkFraigEquiv() : abcSweep.c
• Abc_NtkFraigMergeClass() : abcSweep.c
• Abc_NtkFraigMergeClassMapped() : abcSweep.c
• Abc_NtkFraigPartitioned() : abcPart.c
• Abc_NtkFraigPartitionedTime() : abcPart.c
• Abc_NtkFraigRemapUsingExdc() : abcFraig.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_NtkFraigSweepUsingExdc() : abcSweep.c
• Abc_NtkFraigTransform() : abcSweep.c
• Abc_NtkFraigTrust() : abc.h , abcFraig.c
• Abc_NtkFraigTrustCheck() : abcFraig.c
• Abc_NtkFraigTrustOne() : abcFraig.c
• Abc_NtkFrames() : abc.h , abcMiter.c
• Abc_NtkFrames2() : abcMiter.c
• Abc_NtkFreeGlobalBdds() : abc.h , abcNtbdd.c
• Abc_NtkFreeMvVars() : abc.h , abcBlifMv.c
• Abc_NtkFromAigPhase() : abc.c , abcDar.c , kliveness.c , liveness.c , liveness_sim.c
• Abc_NtkFromBarBufs() : abc.h , abcBarBuf.c
• Abc_NtkFromBarBufs_rec() : abcBarBuf.c
• Abc_NtkFromCellMappedGia() : abcDar.c
• Abc_NtkFromCellRead() : abcDar.c
• Abc_NtkFromCellWrite() : abcDar.c
• Abc_NtkFromDar() : abcDar.c
• Abc_NtkFromDarChoices() : abcDar.c
• Abc_NtkFromDarSeq() : abcDar.c
• Abc_NtkFromDarSeqSweep() : abcDar.c
• Abc_NtkFromFpga() : abcFpga.c
• Abc_NtkFromFraig() : abcFraig.c , abcProve.c
• Abc_NtkFromFraig2() : abcFraig.c
• Abc_NtkFromFraig2_rec() : abcFraig.c
• Abc_NtkFromGlobalBdds() : abcCollapse.c
• Abc_NtkFromIf() : abcIf.c
• Abc_NtkFromIvy() : abcIvy.c
• Abc_NtkFromIvySeq() : abcIvy.c
• Abc_NtkFromMap() : abcMap.c
• Abc_NtkFromMappedGia() : abcDar.c
• Abc_NtkFromMapSuperChoice() : abcMap.c
• Abc_NtkFromMiniAig() : abcMini.c
• Abc_NtkFromPla() : abcUtil.c
• Abc_NtkFromPlaTest() : abcUtil.c
• Abc_NtkFuncCof0() : abcIfMux.c
• Abc_NtkFuncCof1() : abcIfMux.c
• Abc_NtkFuncHasVar() : abcIfMux.c
• Abc_NtkFuncSuppSize() : abcIfMux.c
• Abc_NtkFxCheck() : abcFx.c
• Abc_NtkFxInsert() : abcFx.c
• Abc_NtkFxPerform() : abcFx.c
• Abc_NtkFxRetrieve() : abcFx.c
• Abc_NtkFxuCheck() : abcFxu.c
• Abc_NtkFxuCollectInfo() : abcFxu.c
• Abc_NtkFxuFreeInfo() : abcFxu.c , fxu.h
• Abc_NtkFxuReconstruct() : abcFxu.c
• Abc_NtkGetAigNodeNum() : abc.h , abcUtil.c
• Abc_NtkGetArea() : 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_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() : base/abci/abcCut.c , opt/cut/abcCut.c
• Abc_NtkGetNodeAttributes2() : base/abci/abcCut.c
• Abc_NtkGetSeqPoSupp() : abcVerify.c
• Abc_NtkGetTotalFanins() : abc.h , abcUtil.c
• Abc_NtkGlobalBdd() : abc.h
• Abc_NtkGlobalBddArray() : abc.h
• Abc_NtkGlobalBddMan() : abc.h
• 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_NtkHasAig() : abc.h
• Abc_NtkHasBdd() : abc.h
• Abc_NtkHasBlackbox() : abc.h
• Abc_NtkHasBlifMv() : abc.h
• Abc_NtkHasMapping() : abc.h
• Abc_NtkHasOnlyLatchBoxes() : abc.h
• Abc_NtkHasSop() : abc.h
• Abc_NtkHelloWorld() : abcAig.c
• Abc_NtkHieCecTest() : abcHieCec.c
• Abc_NtkHieCecTest2() : abcHieNew.c
• Abc_NtkHopRemoveLoops() : abcHaig.c
• Abc_NtkIf() : abcIf.c
• Abc_NtkIfifStart() : abcIfif.c
• Abc_NtkIfifStop() : abcIfif.c
• Abc_NtkImplementCiOrder() : abcOrder.c
• Abc_NtkIncrementTravId() : abc.h
• Abc_NtkInitialState() : abcQuant.c
• Abc_NtkInitStateAndVarMap() : abcUnreach.c
• Abc_NtkInitStateVarMap() : abcReach.c
• Abc_NtkInputMiniAig() : abcapis.h , abcMini.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_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_NtkIsAigLogic() : abc.h
• Abc_NtkIsAigNetlist() : abc.h
• Abc_NtkIsBddLogic() : abc.h
• Abc_NtkIsBlifMvNetlist() : abc.h
• Abc_NtkIsComb() : abc.h
• Abc_NtkIsDfsOrdered() : abc.h , abcDfs.c
• Abc_NtkIsLogic() : abc.h
• Abc_NtkIsMappedLogic() : abc.h
• Abc_NtkIsMappedNetlist() : abc.h
• Abc_NtkIsNetlist() : abc.h
• Abc_NtkIsSopLogic() : abc.h
• Abc_NtkIsSopNetlist() : abc.h
• Abc_NtkIsStrash() : abc.h
• 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_NtkLatchNum() : abc.h
• 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_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_NtkLogicToNetlist() : abcNetlist.c
• Abc_NtkLutMerge() : abcMerge.c , fahout_cut.c
• Abc_NtkLutmin() : abcLutmin.c
• Abc_NtkLutminConstruct() : abcLutmin.c
• Abc_NtkLutminInt() : abcLutmin.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_NtkManRefStart() : abcRefactor.c
• Abc_NtkManRefStop() : abcRefactor.c
• Abc_NtkManRstPrintStats() : abcRestruct.c
• Abc_NtkManRstStart() : abcRestruct.c
• Abc_NtkManRstStop() : abcRestruct.c
• Abc_NtkMap() : abcMap.c
• Abc_NtkMapCopyCiArrival() : abcMap.c
• Abc_NtkMapCopyCoRequired() : abcMap.c
• Abc_NtkMapGiaIntoNameId() : abcScorr.c
• Abc_NtkMapToSop() : abc.h , abcFunc.c
• Abc_NtkMarkCone_rec() : retArea.c
• Abc_NtkMarkCriticalNodes() : abcBalance.c
• Abc_NtkMarkFanins_rec() : abcMerge.c , fahout_cut.c
• Abc_NtkMarkFanouts_rec() : abcMerge.c , fahout_cut.c
• Abc_NtkMarkMux() : abcIf.c
• Abc_NtkMaxFlow() : retFlow.c , retInt.h
• Abc_NtkMaxFlowBwdPath2_rec() : retFlow.c
• Abc_NtkMaxFlowBwdPath_rec() : retFlow.c
• Abc_NtkMaxFlowCollectCut_rec() : retFlow.c
• Abc_NtkMaxFlowFwdPath2_rec() : retFlow.c
• Abc_NtkMaxFlowFwdPath3_rec() : retFlow.c
• Abc_NtkMaxFlowFwdPath_rec() : retFlow.c
• Abc_NtkMaxFlowMarkCut_rec() : retFlow.c
• Abc_NtkMaxFlowMinCut() : retFlow.c
• Abc_NtkMaxFlowMinCutUpdate() : retFlow.c
• Abc_NtkMaxFlowPrintCut() : retFlow.c
• Abc_NtkMaxFlowPrintFlow() : retFlow.c
• Abc_NtkMaxFlowTest() : retFlow.c , retInt.h
• Abc_NtkMaxFlowVerifyCut() : retFlow.c
• Abc_NtkMaxFlowVerifyCut_rec() : retFlow.c
• Abc_NtkMfs() : mfs.h , mfsCore.c , mfsCore_.c
• Abc_NtkMfsAfterICheck() : abcMfs.c
• Abc_NtkMfsConstructGia() : mfsGia.c , mfsInt.h
• Abc_NtkMfsDeconstructGia() : mfsGia.c , mfsInt.h
• Abc_NtkMfsEdgePower() : mfsInt.h , mfsResub.c , mfsResub_.c
• Abc_NtkMfsEdgeSwapEval() : mfsInt.h , mfsResub.c , mfsResub_.c
• Abc_NtkMfsInterplate() : mfsInt.h , mfsInter.c
• Abc_NtkMfsInterplateEval() : mfsInt.h , mfsInter.c
• Abc_NtkMfsInterplateTruth() : mfsInter.c
• Abc_NtkMfsNode() : mfsCore.c , mfsCore_.c
• Abc_NtkMfsParsDefault() : mfs.h , mfsCore.c , mfsCore_.c
• Abc_NtkMfsPowerResub() : mfsCore.c
• Abc_NtkMfsPrintResubStats() : mfsInt.h , mfsResub.c , mfsResub_.c
• Abc_NtkMfsResimulate() : mfsGia.c
• Abc_NtkMfsResub() : mfsCore.c , mfsCore_.c
• Abc_NtkMfsResubNode() : mfsInt.h , mfsResub.c , mfsResub_.c
• Abc_NtkMfsResubNode2() : mfsInt.h , mfsResub.c , mfsResub_.c
• Abc_NtkMfsSolveSat() : mfsInt.h , mfsSat.c
• Abc_NtkMfsSolveSat_iter() : mfsSat.c
• Abc_NtkMfsSolveSatResub() : mfsCore.c , mfsResub.c , mfsResub_.c
• Abc_NtkMfsSolveSatResub2() : mfsResub.c , mfsResub_.c
• Abc_NtkMfsTotalGlitching() : abcPrint.c
• Abc_NtkMfsTotalSwitching() : abc.h , abcPrint.c
• Abc_NtkMfsTryResubOnce() : mfsResub.c , mfsResub_.c
• Abc_NtkMfsTryResubOnceGia() : mfsGia.c , mfsInt.h
• Abc_NtkMfsUpdateNetwork() : mfsResub.c , 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_NtkMiterAddOne() : abcMiter.c
• Abc_NtkMiterAnd() : abc.h , abcMiter.c
• Abc_NtkMiterBm() : abcBm.c
• Abc_NtkMiterCofactor() : abc.h , abcMiter.c
• Abc_NtkMiterFinalize() : abcMiter.c
• Abc_NtkMiterForCofactors() : abc.h , abcMiter.c
• Abc_NtkMiterFraig() : abcProve.c
• Abc_NtkMiterInt() : abcMiter.c
• Abc_NtkMiterIsConstant() : abc.h , abcMiter.c
• Abc_NtkMiterPrepare() : abcMiter.c
• Abc_NtkMiterPrint() : abcProve.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_NtkMiterSatCreateLogic() : abcSat.c
• Abc_NtkModelToVector() : abcQbf.c
• Abc_NtkMoveNames() : abcNames.c
• Abc_NtkMulti() : abcMulti.c
• Abc_NtkMulti_rec() : abcMulti.c
• Abc_NtkMultiCone() : abcMulti.c
• Abc_NtkMultiCone_rec() : abcMulti.c
• Abc_NtkMultiDeriveBdd() : abcMulti.c
• Abc_NtkMultiDeriveBdd_rec() : abcMulti.c
• Abc_NtkMultiInt() : abcMulti.c
• Abc_NtkMultiLimit() : abcMulti.c
• Abc_NtkMultiLimit_rec() : abcMulti.c
• Abc_NtkMultiSetBounds() : abcMulti.c
• Abc_NtkMultiSetBoundsCnf() : abcMulti.c
• Abc_NtkMultiSetBoundsFactor() : abcMulti.c
• Abc_NtkMultiSetBoundsMulti() : abcMulti.c
• Abc_NtkMultiSetBoundsSimple() : abcMulti.c
• Abc_NtkMvVar() : abc.h
• Abc_NtkMvVarDup() : ioReadBlifMv.c
• Abc_NtkMvVarMan() : abc.h
• Abc_NtkName() : abc.h
• Abc_NtkNamesCompare() : abcCheck.c
• Abc_NtkNetNum() : abc.h
• Abc_NtkNodeConvertToMux() : abcLatch.c
• Abc_NtkNodeDup() : abcNtk.c
• Abc_NtkNodeFactor() : abcSat.c
• Abc_NtkNodeNum() : abc.h
• Abc_NtkNodeSupport() : abc.h , abcDfs.c
• Abc_NtkNodeSupport_rec() : abcDfs.c
• Abc_NtkObj() : abc.h
• Abc_NtkObjNum() : abc.h
• Abc_NtkObjNumMax() : abc.h
• Abc_NtkOrderCisCos() : abc.h , abcUtil.c
• Abc_NtkOrderFaninsById() : abcFanOrder.c
• Abc_NtkOrderFaninsByLitCount() : abcFanOrder.c
• Abc_NtkOrderFaninsByLitCountAndCubeCount() : abcFanOrder.c
• Abc_NtkOrderObjsByName() : abc.h , abcNames.c
• Abc_NtkOutputMiniAig() : abcapis.h , abcMini.c
• Abc_NtkOutputMiniMapping() : abcapis.h , abcMap.c
• 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_NtkPartStitchCopy0() : abcPart.c
• Abc_NtkPartStitchCopy1() : abcPart.c
• Abc_NtkPartStitchFindRepr_rec() : abcPart.c
• Abc_NtkPerformIfif() : abcIfif.c
• Abc_NtkPerformMfs() : abcMfs.c
• Abc_NtkPermute() : abc.h , abcNtk.c
• Abc_NtkPhaseAbstract() : abcDar.c
• Abc_NtkPhaseFrameNum() : abc.h , abcDar.c
• Abc_NtkPi() : abc.h
• Abc_NtkPiNum() : abc.h
• Abc_NtkPo() : abc.h
• Abc_NtkPoNum() : abc.h
• Abc_NtkPowerCriticalEdges() : abcSpeedup.c
• Abc_NtkPowerdown() : abcSpeedup.c
• Abc_NtkPowerEstimate() : abcSpeedup.c
• Abc_NtkPowerPrint() : abcSpeedup.c
• Abc_NtkPrepareTwoNtks() : abc.h , abcUtil.c
• Abc_NtkPrint256() : abcUtil.c
• Abc_NtkPrintBoxInfo() : abc.h , abcHie.c
• Abc_NtkPrintCiLevels() : abc.h , abcUtil.c
• Abc_NtkPrintCuts() : base/abci/abcCut.c , opt/cut/abcCut.c
• Abc_NtkPrintCuts_() : base/abci/abcCut.c , opt/cut/abcCut.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_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() : abcapis.h , abcMap.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_NtkPrintSccs() : abcDar.c
• Abc_NtkPrintSharing() : abcPrint.c
• Abc_NtkPrintSkews() : abc.h
• Abc_NtkPrintSop() : ioWriteDot.c
• Abc_NtkPrintStats() : abc.h , abcPrint.c
• Abc_NtkPrintStrSupports() : abcPrint.c
• Abc_NtkPrintSubraphSizes() : abcDfs.c
• Abc_NtkPrintUnate() : abcUnate.c
• Abc_NtkPrintUnateBdd() : abcUnate.c
• Abc_NtkPrintUnateSat() : abcUnate.c
• Abc_NtkPutOnTop() : abcStrash.c
• Abc_NtkQbf() : abcQbf.c
• Abc_NtkQuantify() : abcQuant.c
• Abc_NtkReachability() : abcQuant.c
• Abc_NtkReadDefaultArrival() : abc.h , abcTiming.c
• Abc_NtkReadDefaultInputDrive() : abc.h , abcTiming.c
• Abc_NtkReadDefaultOutputLoad() : abc.h , abcTiming.c
• Abc_NtkReadDefaultRequired() : abc.h , abcTiming.c
• Abc_NtkReadFlopPerm() : abcNtk.c
• Abc_NtkReadLogFile() : abcLog.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_NtkReduceNodes() : abcSweep.c
• Abc_NtkRefactor() : abc.h , abcProve.c , abcRefactor.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_NtkRenodeEvalAig() : abcRenode.c
• Abc_NtkRenodeEvalBdd() : abcRenode.c
• Abc_NtkRenodeEvalCnf() : abcRenode.c
• Abc_NtkRenodeEvalMv() : abcRenode.c
• Abc_NtkRenodeEvalSop() : 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_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_NtkRetimeForPeriod() : retLvalue.c
• Abc_NtkRetimeGetLags() : retLvalue.c
• 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() : retArea.c
• Abc_NtkRetimeMinAreaConstructNtk_rec() : retArea.c
• Abc_NtkRetimeMinAreaInitValues() : retArea.c
• Abc_NtkRetimeMinAreaInitValues_rec() : retArea.c
• Abc_NtkRetimeMinAreaOne() : retArea.c
• Abc_NtkRetimeMinAreaPrepare() : retArea.c
• Abc_NtkRetimeMinAreaUpdateLatches() : retArea.c
• Abc_NtkRetimeMinDelay() : retDelay.c , retInt.h
• Abc_NtkRetimeMinDelayTry() : retDelay.c
• Abc_NtkRetimeNode() : retIncrem.c , retInt.h
• Abc_NtkRetimeNodeIsEnabled() : retIncrem.c , retInt.h
• Abc_NtkRetimeOneWay() : retIncrem.c
• Abc_NtkRetimePosOverLimit() : retLvalue.c
• Abc_NtkRetimePrepareLatches() : retIncrem.c , retInt.h
• Abc_NtkRetimeSearch_rec() : retLvalue.c
• Abc_NtkRetimeShareLatches() : retIncrem.c , retInt.h
• Abc_NtkRetimeTiming() : retDelay.c
• Abc_NtkRetimeTiming_rec() : retDelay.c
• Abc_NtkRetimeTranferFromCopy() : retInit.c , retInt.h
• Abc_NtkRetimeTranferToCopy() : retInit.c , retInt.h
• Abc_NtkRetimeUpdateLValue() : retLvalue.c
• Abc_NtkRetimeUsingLags() : retLvalue.c
• Abc_NtkRetimeVerifyModel() : retInit.c
• 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_NtkRR() : abcRr.c
• Abc_NtkRRProve() : abcRr.c
• Abc_NtkRRSimulate() : abcRr.c
• Abc_NtkRRSimulateStart() : abcRr.c
• Abc_NtkRRSimulateStop() : abcRr.c
• Abc_NtkRRTfi_int() : abcRr.c
• Abc_NtkRRTfi_rec() : abcRr.c
• Abc_NtkRRTfo_int() : abcRr.c
• Abc_NtkRRTfo_rec() : abcRr.c
• Abc_NtkRRUpdate() : abcRr.c
• Abc_NtkRRWindow() : abcRr.c
• Abc_NtkSaveCopy() : abc.h , abcUtil.c
• Abc_NtkSecFraig() : abcVerify.c
• Abc_NtkSecSat() : abcVerify.c
• Abc_NtkSensitivity() : abcSense.c
• Abc_NtkSensitivityMiter() : abcSense.c
• Abc_NtkSensitivityMiter_rec() : abcSense.c
• Abc_NtkSeqCuts() : base/abci/abcCut.c , opt/cut/abcCut.c
• Abc_NtkSetBackup() : abc.h
• Abc_NtkSetCiArrivalTime() : abcapis.h , abcMap.c
• Abc_NtkSetCoRequiredTime() : abcapis.h , abcMap.c
• Abc_NtkSetDefaultFxParams() : abcFxu.c , fxu.h
• Abc_NtkSetMvVarValues() : abc.h , abcBlifMv.c
• Abc_NtkSetName() : abc.h
• Abc_NtkSetNodeLevelsArrival() : abc.h , abcTiming.c
• Abc_NtkSetSpec() : abc.h
• Abc_NtkSetStep() : abc.h
• Abc_NtkSetTravId_rec() : abcSweep.c
• Abc_NtkShareFindBestMatch() : abcExtract.c
• Abc_NtkShareOptimize() : abcExtract.c
• Abc_NtkSharePack() : abcExtract.c
• Abc_NtkSharePrint() : abcExtract.c
• Abc_NtkShareSuperAnd() : abcExtract.c
• Abc_NtkShareSuperXor() : abcExtract.c
• Abc_NtkShareUnpackId() : abcExtract.c
• Abc_NtkShareUnpackLev() : abcExtract.c
• Abc_NtkShareXor() : abcExtract.c
• Abc_NtkShortNames() : abc.h , abcNames.c
• Abc_NtkShow() : abcShow.c
• Abc_NtkShow6VarFunc() : abcPrint.c , abc.h
• Abc_NtkShowFlopDependency() : abcShow.c
• Abc_NtkSimulateOneNode() : abcBm.c
• Abc_NtkSimulteBuggyMiter() : abcVerify.c
• Abc_NtkSizeOfGlobalBdds() : abc.h , abcNtbdd.c
• Abc_NtkSkeletonBlifMv() : abcBlifMv.c
• Abc_NtkSopEsopCover() : covCore.c , cov.h
• Abc_NtkSopToAig() : abc.h , abcFunc.c
• Abc_NtkSopToBdd() : abcFunc.c , abc.h
• Abc_NtkSopToBlifMv() : abcFunc.c
• Abc_NtkSopToCubes() : abcUtil.c
• Abc_NtkSortCubes() : abcFanOrder.c
• Abc_NtkSortSops() : abcFanOrder.c
• Abc_NtkSpacePercentage() : abcNtbdd.c
• Abc_NtkSparsify() : abcDsd.c
• Abc_NtkSparsifyInternal() : abcDsd.c
• Abc_NtkSparsifyInternalOne() : abcDsd.c
• Abc_NtkSpec() : abc.h
• Abc_NtkSpeedup() : abcSpeedup.c
• Abc_NtkSpeedupNode() : abcSpeedup.c
• Abc_NtkSpeedupNode_rec() : abcSpeedup.c
• Abc_NtkSplitLarge() : abcFanOrder.c
• Abc_NtkSplitSop() : abcUtil.c
• Abc_NtkStartCutManForRestruct() : abcRestruct.c
• Abc_NtkStartCutManForRewrite() : abcRewrite.c
• Abc_NtkStartCutManForScl() : abcLut.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_NtkStep() : abc.h
• Abc_NtkStopReverseLevels() : abc.h , abcTiming.c
• Abc_NtkStrash() : abcStrash.c , abc.h
• Abc_NtkStrashBlifMv() : abc.h , abcBlifMv.c
• Abc_NtkStrashPerform() : abcStrash.c
• Abc_NtkStrashPerformAig() : abcIvy.c
• Abc_NtkSubDagSize_rec() : base/abci/abcCut.c
• Abc_NtkSuperChoice() : abcMap.c
• Abc_NtkSuperChoiceLut() : abcLut.c
• Abc_NtkSuppCharAdd() : abcPart.c
• Abc_NtkSuppCharCommon() : abcPart.c
• Abc_NtkSuppCharStart() : abcPart.c
• Abc_NtkSupport() : abcDfs.c , abc.h
• 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_NtkSymmetriesUsingBdds() : abcSymm.c
• Abc_NtkSymmetriesUsingSandS() : 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_NtkTimeSetArrival() : abcTiming.c , abc.h
• Abc_NtkTimeSetDefaultArrival() : abc.h , abcTiming.c
• Abc_NtkTimeSetDefaultInputDrive() : abc.h , abcTiming.c
• Abc_NtkTimeSetDefaultOutputLoad() : abc.h , abcTiming.c
• Abc_NtkTimeSetDefaultRequired() : abcTiming.c , abc.h
• Abc_NtkTimeSetInputDrive() : abc.h , abcTiming.c
• Abc_NtkTimeSetOutputLoad() : abcTiming.c , abc.h
• Abc_NtkTimeSetRequired() : abc.h , abcTiming.c
• Abc_NtkToAig() : abcFunc.c , abc.h
• 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() : abc.c , kliveness.c , abcDar.c , abcDress2.c , abcIvy.c , liveness.c , liveness_sim.c , monotone.c
• Abc_NtkToDarBmc() : abcDar.c
• Abc_NtkToDarChoices() : abcDar.c
• Abc_NtkToFpga() : abcFpga.c
• Abc_NtkToFraig() : abc.h , abcFraig.c
• Abc_NtkToFraigExdc() : abcFraig.c
• Abc_NtkToIf() : abcIf.c
• Abc_NtkToIvy() : abcIvy.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_NtkTopoHasBeg() : abcUtil.c
• Abc_NtkTopoHasEnd() : abcUtil.c
• Abc_NtkTopoSetBeg() : abcUtil.c
• Abc_NtkTopoSetEnd() : abcUtil.c
• Abc_NtkToSop() : abc.h , abcFunc.c
• Abc_NtkTransferCopy() : abc.h , abcUtil.c
• Abc_NtkTransferNameIds() : abc.h , abcNames.c
• Abc_NtkTransferPhases() : abc.h , abcUtil.c
• Abc_NtkTransferPointers() : abcIvy.c
• Abc_NtkTransformBack() : abcLatch.c
• Abc_NtkTransitionRelation() : abcUnreach.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_NtkUnmarkCone_rec() : retArea.c
• Abc_NtkUnpermute() : abc.h , abcNtk.c
• Abc_NtkUnrollAndDrop() : abcMfs.c
• Abc_NtkUpdate() : abc.h , abcTiming.c
• Abc_NtkUpdateLevel() : abc.h , abcTiming.c
• Abc_NtkUpdateNameIds() : abc.h , abcNames.c
• Abc_NtkUpdateNetwork() : abcExtract.c
• Abc_NtkUpdateReverseLevel() : abcTiming.c , abc.h
• Abc_NtkVectorClearPars() : abcQbf.c
• Abc_NtkVectorClearVars() : abcQbf.c
• Abc_NtkVectorPrintPars() : abcQbf.c
• Abc_NtkVectorPrintVars() : abcQbf.c
• Abc_NtkVerifyCex() : abcLatch.c
• Abc_NtkVerifyGetCleanModel() : abc.h , abcVerify.c
• Abc_NtkVerifyReportError() : abcBm.c , abcVerify.c
• Abc_NtkVerifyReportErrorSeq() : abcVerify.c
• Abc_NtkVerifySimulatePattern() : abc.h , abcVerify.c
• Abc_NtkVerifyUsingBdds() : abcReach.c
• Abc_NtkWhiteboxNum() : abc.h
• Abc_NtkWindow() : abcRr.c
• Abc_NtkWriteAig() : abcStrash.c
• Abc_NtkWriteFlopDependency() : abcShow.c
• Abc_NtkWriteLogFile() : abc.h , abcLog.c
• Abc_NtkWriteMiniMapping() : abcMap.c
• Abc_NtkWriteSorterCnf() : abcSat.c
• Abc_NtkXValueSimulate() : abcXsim.c
• Abc_ObjAddFanin() : abcFanio.c , abc.h
• Abc_ObjAlloc() : abc.h , abcObj.c
• Abc_ObjArrival() : abcSpeedup.c
• Abc_ObjAssignName() : abc.h , abcNames.c
• Abc_ObjBlackboxToWhitebox() : abc.h
• Abc_ObjCheckAbsorb() : abcLutmin.c
• Abc_ObjChild() : abc.h
• Abc_ObjChild0() : abc.h
• Abc_ObjChild0Copy() : abc.h
• Abc_ObjChild0Data() : abc.h
• Abc_ObjChild1() : abc.h
• Abc_ObjChild1Copy() : abc.h
• Abc_ObjChild1Data() : abc.h
• Abc_ObjChildCopy() : abc.h
• Abc_ObjCompareById() : abcDar.c
• Abc_ObjCompareByNumber() : abcMinBase.c
• Abc_ObjCompareFlow() : abcIf.c
• Abc_ObjCopy() : abc.h
• Abc_ObjCopyCond() : abc.h
• Abc_ObjCrossCutInc() : abcUtil.c
• Abc_ObjData() : abc.h
• Abc_ObjDelay0() : abcIfif.c
• Abc_ObjDelay1() : abcIfif.c
• Abc_ObjDelayDegree() : abcIfif.c
• Abc_ObjDeleteFanin() : abc.h , abcFanio.c
• Abc_ObjDressClass() : abcDress2.c
• Abc_ObjDressMakeId() : abcDress2.c
• Abc_ObjEquiv() : abc.h
• Abc_ObjEquivId2NtkId() : abcDress2.c
• Abc_ObjEquivId2ObjId() : abcDress2.c
• Abc_ObjEquivId2Polar() : abcDress2.c
• Abc_ObjFanin() : abc.h
• Abc_ObjFanin0() : abc.h
• Abc_ObjFanin0Ivy() : abcIvy.c
• Abc_ObjFanin0Ntk() : abc.h
• Abc_ObjFanin1() : abc.h
• Abc_ObjFanin1Ivy() : abcIvy.c
• Abc_ObjFaninC() : abc.h
• Abc_ObjFaninC0() : abc.h
• Abc_ObjFaninC1() : abc.h
• Abc_ObjFaninFlipPhase() : abc.h
• Abc_ObjFaninId() : abc.h
• Abc_ObjFaninId0() : abc.h
• Abc_ObjFaninId1() : abc.h
• Abc_ObjFaninNum() : abc.h
• Abc_ObjFaninNumberNew() : abcMinBase.c
• Abc_ObjFaninPhase() : abc.h
• Abc_ObjFaninReal() : abcHieCec.c
• Abc_ObjFaninVec() : abc.h
• Abc_ObjFanout() : abc.h
• Abc_ObjFanout0() : abc.h
• Abc_ObjFanout0Ntk() : abc.h
• Abc_ObjFanoutEdgeNum() : abc.h
• Abc_ObjFanoutFaninNum() : abc.h , abcFanio.c
• Abc_ObjFanoutNum() : abc.h
• Abc_ObjFanoutVec() : abc.h
• Abc_ObjFromLit() : abc.h
• Abc_ObjGetCover() : cov.h
• Abc_ObjGetCover2() : cov.h
• Abc_ObjGetFaninPath() : retFlow.c
• Abc_ObjGetFanoutPath() : retFlow.c
• Abc_ObjGetIvy2Abc() : abcFpgaFast.c
• Abc_ObjGetPath() : retFlow.c
• Abc_ObjGetPredecessorBwd() : retFlow.c
• Abc_ObjGetPredecessorFwd() : retFlow.c
• Abc_ObjGetStr() : cov.h
• Abc_ObjGetSupp() : cov.h
• Abc_ObjGetXsim() : abcXsim.c
• Abc_ObjGetXsimFanin0() : abcXsim.c
• Abc_ObjGetXsimFanin1() : abcXsim.c
• Abc_ObjGlobalBdd() : abc.h
• Abc_ObjHopFromGia() : abcDar.c
• Abc_ObjHopFromGia_rec() : abcDar.c
• Abc_ObjId() : abc.h
• Abc_ObjIfCopy() : abcIf.c
• Abc_ObjInsertBetween() : abcFanio.c , abc.h
• Abc_ObjIsBarBuf() : abc.h
• Abc_ObjIsBi() : abc.h
• Abc_ObjIsBlackbox() : abc.h
• Abc_ObjIsBo() : abc.h
• Abc_ObjIsBox() : abc.h
• Abc_ObjIsBuffer() : sclSize.c
• Abc_ObjIsCi() : abc.h
• Abc_ObjIsCo() : abc.h
• Abc_ObjIsComplement() : abc.h
• Abc_ObjIsLatch() : abc.h
• Abc_ObjIsNet() : abc.h
• Abc_ObjIsNode() : abc.h
• Abc_ObjIsNone() : abc.h
• Abc_ObjIsPi() : abc.h
• Abc_ObjIsPo() : abc.h
• Abc_ObjIsTerm() : abc.h
• Abc_ObjIsWhitebox() : abc.h
• Abc_ObjLevel() : abc.h
• Abc_ObjLevelNew() : abc.h , abcTiming.c
• Abc_ObjModel() : abc.h
• Abc_ObjMvVar() : abc.h
• Abc_ObjMvVarNum() : abc.h
• Abc_ObjName() : abc.h , abcNames.c
• Abc_ObjNameDummy() : abc.h , abcNames.c
• Abc_ObjNameNet() : abcCheck.c
• Abc_ObjNamePrefix() : abc.h , abcNames.c
• Abc_ObjNameSuffix() : abcNames.c , abc.h
• Abc_ObjNot() : abc.h
• Abc_ObjNotCond() : abc.h
• Abc_ObjNtk() : abc.h
• Abc_ObjPatchFanin() : abc.h , abcFanio.c
• Abc_ObjPointerCompare() : abc.h , abcUtil.c
• Abc_ObjPrint() : abc.h , abcPrint.c
• Abc_ObjRecycle() : abc.h , abcObj.c
• Abc_ObjRegular() : abc.h
• Abc_ObjRemoveFanins() : abc.h , abcFanio.c
• Abc_ObjReplace() : abcFanio.c , abc.h
• Abc_ObjRequired() : abcSpeedup.c
• Abc_ObjRequiredLevel() : abc.h , abcTiming.c
• Abc_ObjReverseLevel() : abc.h , abcTiming.c
• Abc_ObjReverseLevelNew() : abc.h , abcTiming.c
• Abc_ObjSetArrival() : abcSpeedup.c
• Abc_ObjSetCopy() : abc.h
• Abc_ObjSetCover() : cov.h
• Abc_ObjSetCover2() : cov.h
• Abc_ObjSetData() : abc.h
• Abc_ObjSetFaninC() : abc.h
• Abc_ObjSetGlobalBdd() : abc.h
• Abc_ObjSetIvy2Abc() : abcFpgaFast.c
• Abc_ObjSetLevel() : abc.h
• Abc_ObjSetMvVar() : abc.h
• Abc_ObjSetPath() : retFlow.c
• Abc_ObjSetRequired() : abcSpeedup.c
• Abc_ObjSetReverseLevel() : abc.h , abcTiming.c
• Abc_ObjSetSlack() : abcSpeedup.c
• Abc_ObjSetSupp() : cov.h
• Abc_ObjSetXsim() : abcXsim.c
• Abc_ObjSlack() : abcSpeedup.c
• Abc_ObjSopSimulate() : retInit.c , retInt.h
• Abc_ObjSortByDelay() : abcIfif.c
• Abc_ObjSortInReverseOrder() : abcMinBase.c
• Abc_ObjSugraphSize() : abcDfs.c
• Abc_ObjSuppSize() : abcDfs.c
• Abc_ObjSuppSize_rec() : abcDfs.c
• Abc_ObjToLit() : abc.h
• Abc_ObjTransferFanout() : abc.h , abcFanio.c
• Abc_ObjType() : abc.h
• Abc_ObjXorFaninC() : abc.h
• Abc_PlaceBegin() : abcPlace.c , abcRewrite.c
• Abc_PlaceCreateCell() : abcPlace.c
• Abc_PlaceEnd() : abcPlace.c , abcRewrite.c
• Abc_PlaceEvaluateCut() : abcPlace.c
• Abc_PlaceUpdate() : abcPlace.c , abcRewrite.c
• Abc_PlaceUpdateNet() : abcPlace.c
• Abc_PrimeCudd() : abc_global.h
• Abc_Print() : abc_global.h
• Abc_PrintInt() : abc_global.h
• Abc_PrintMemoryP() : abc_global.h
• Abc_PrintTime() : abc_global.h
• Abc_PrintTimeP() : abc_global.h
• Abc_Ptr2Int() : abc_global.h
• Abc_Ptr2Wrd() : abc_global.h
• Abc_QuickSort1() : utilSort.c , abc_global.h
• Abc_QuickSort1CompareDec() : utilSort.c
• Abc_QuickSort1CompareInc() : utilSort.c
• Abc_QuickSort2() : utilSort.c , abc_global.h
• Abc_QuickSort2Dec_rec() : utilSort.c
• Abc_QuickSort2Inc_rec() : utilSort.c
• Abc_QuickSort3() : utilSort.c , abc_global.h
• 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_RealMain() : base/main/main.c
• Abc_RecToGia3() : giaIf.c , abcRec3.c
• Abc_RecToHop3() : abcRec3.c
• ABC_ReleaseManager() : csat_apis.c , csat_apis.h
• Abc_ResBuildBdd() : abcCascade.c
• Abc_ResCheckNonStrict() : abcCascade.c
• Abc_ResCheckUnique() : abcCascade.c
• Abc_ResCofCount() : abcCascade.c
• Abc_ResCost() : abcCascade.c
• Abc_ResMigrate() : abcCascade.c
• Abc_ResPartition() : abcCascade.c
• Abc_ResPartitionTest() : abcCascade.c
• Abc_ResPrint() : abcCascade.c
• Abc_ResPrintAllCofs() : abcCascade.c
• Abc_ResStartPart() : abcCascade.c
• Abc_ResStartPart2() : abcCascade.c
• Abc_ResSwapRandom() : abcCascade.c
• Abc_RestructNodeDivisors() : abcRestruct.c
• Abc_Rint() : ioWriteBook.c
• Abc_RpoTest() : abcRpo.c
• Abc_RRManClean() : abcRr.c
• Abc_RRManPrintStats() : abcRr.c
• Abc_RRManStart() : abcRr.c
• Abc_RRManStop() : abcRr.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() : sclSize.h , sclBuffer.c
• Abc_SclBufPerform() : sclBuffer.c , sclSize.h
• Abc_SclBufSize() : sclBufSize.c
• Abc_SclCellAlloc() : sclLib.h
• Abc_SclCellFind() : sclLib.h , sclLibUtil.c
• Abc_SclCellFree() : sclLib.h
• 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_SclCompareCells() : 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_SclConeClean() : sclSize.h
• Abc_SclConeRestore() : sclSize.h
• Abc_SclConeStore() : sclSize.h
• Abc_SclConvertLeakageIntoArea() : sclLibUtil.c , sclLib.h
• 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_SclDeptFanin() : sclSize.c
• Abc_SclDeptObj() : sclSize.c
• Abc_SclDeriveGenlib() : mio.h , sclLibUtil.c
• Abc_SclDeriveGenlibSimple() : mio.h , sclLibUtil.c
• Abc_SclDnsizePerform() : sclDnsize.c , sclSize.h
• Abc_SclDnsizePrint() : sclDnsize.c
• Abc_SclDumpGenlib() : sclLib.h , sclLibUtil.c
• Abc_SclDumpStats() : sclSize.h
• Abc_SclEvalPerform() : sclSize.h
• Abc_SclEvalPerformLegal() : sclSize.h
• Abc_SclEvalStore() : sclSize.h
• Abc_SclExtractBarBufs() : sclSize.h , sclUtil.c
• Abc_SclFetchWireLoadModel() : sclLibUtil.c , sclLib.h
• Abc_SclFindBestCell() : sclUpsize.c
• Abc_SclFindBypasses() : sclUpsize.c
• Abc_SclFindCriticalCo() : sclSize.h , sclSize.c
• 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_SclGetAverageSize() : sclSize.h
• Abc_SclGetBufInvCount() : sclSize.h
• Abc_SclGetMaxDelay() : sclSize.h
• Abc_SclGetMaxDelayNodeFanins() : sclSize.h
• Abc_SclGetRealFaninLit() : sclBuffer.c
• Abc_SclGetTotalArea() : sclSize.h
• Abc_SclHasBufferFanout() : sclSize.c
• Abc_SclHasDelayInfo() : sclLib.h , mio.h , sclLibUtil.c
• Abc_SclHashCells() : sclLib.h , sclLibUtil.c
• Abc_SclHashLookup() : sclLibUtil.c
• Abc_SclHashString() : sclLibUtil.c
• Abc_SclInsertBarBufs() : sclSize.h , sclUtil.c
• Abc_SclInstallGenlib() : sclLib.h , sclLibUtil.c
• Abc_SclIsInv() : sclBuffer.c , sclSize.h
• Abc_SclLibAlloc() : sclLib.h
• Abc_SclLibClassNum() : sclLib.h , sclLibUtil.c
• Abc_SclLibFree() : sclLib.h
• Abc_SclLibNormalize() : sclLibUtil.c , sclLib.h
• Abc_SclLibNormalizeSurface() : sclLibUtil.c
• Abc_SclLinkCells() : sclLib.h , sclLibUtil.c
• Abc_SclLoad() : scl.c
• Abc_SclLoadRestore() : sclSize.h
• Abc_SclLoadRestore3() : sclSize.h
• Abc_SclLoadStore() : sclSize.h
• Abc_SclLoadStore3() : sclSize.h
• Abc_SclManAlloc() : sclSize.h
• Abc_SclManCleanTime() : sclSize.h
• Abc_SclManFree() : sclSize.h
• Abc_SclManPrintGateSizes() : sclUtil.c
• Abc_SclManReadSlewAndLoad() : sclSize.c
• Abc_SclManStart() : sclSize.c , sclSize.h
• Abc_SclMarkSkippedCells() : sclLibUtil.c
• Abc_SclMinsizePerform() : sclSize.h , sclUtil.c
• Abc_SclMioGates2SclGates() : sclSize.h , sclUtil.c
• Abc_SclObjCell() : sclSize.h
• Abc_SclObjCellId() : sclSize.h
• Abc_SclObjCheckMarkedFanFans() : sclUpsize.c
• Abc_SclObjDept() : sclSize.h
• Abc_SclObjDupFanin() : sclSize.h
• Abc_SclObjGetSlack() : sclSize.h
• Abc_SclObjGetSlackF() : sclSize.h
• Abc_SclObjGetSlackR() : sclSize.h
• Abc_SclObjInDrive() : sclSize.h
• Abc_SclObjIsBufInv() : sclBuffer.c
• Abc_SclObjLib() : sclSize.h
• Abc_SclObjLoad() : sclSize.h
• Abc_SclObjLoadAve() : sclSize.h
• Abc_SclObjLoadMax() : sclSize.h
• Abc_SclObjLoadValue() : sclSize.c
• Abc_SclObjMarkFanFans() : sclUpsize.c
• Abc_SclObjResiable() : sclSize.h
• Abc_SclObjSetCell() : sclSize.h
• Abc_SclObjSetInDrive() : sclSize.h
• Abc_SclObjSlackMax() : sclSize.h
• Abc_SclObjSlew() : sclSize.h
• Abc_SclObjSlewMax() : sclSize.h
• Abc_SclObjTime() : sclSize.h
• Abc_SclObjTimeMax() : sclSize.h
• Abc_SclObjTimeOne() : sclSize.h
• Abc_SclOneNodePrint() : sclBufSize.c
• Abc_SclPerformBuffering() : sclSize.h , sclBuffer.c
• Abc_SclPerformBuffering_rec() : sclBuffer.c
• Abc_SclPerformBufferingOne() : sclBuffer.c
• Abc_SclPinAlloc() : sclLib.h
• Abc_SclPinFree() : sclLib.h
• 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_SclProduceGenlibStrSimple() : sclLibUtil.c
• Abc_SclReadFromFile() : sclLib.h , sclLibScl.c
• Abc_SclReadFromStr() : sclLib.h , sclLibScl.c
• Abc_SclReadLiberty() : sclLib.h , sclLiberty.c
• Abc_SclReadLibrary() : sclLibScl.c
• Abc_SclReadMaxDelay() : sclSize.h
• Abc_SclReadSurface() : sclLibScl.c
• Abc_SclReadTimingConstr() : sclUtil.c
• Abc_SclReportDupFanins() : sclSize.h , sclBuffer.c
• Abc_SclSclGates2MioGates() : sclSize.h , sclUtil.c
• Abc_SclSurfaceAlloc() : sclLib.h
• Abc_SclSurfaceFree() : sclLib.h
• Abc_SclTableTemplAlloc() : sclLib.h
• Abc_SclTableTemplFree() : sclLib.h
• Abc_SclTimeCi() : sclSize.c
• Abc_SclTimeCone() : sclSize.c , sclSize.h
• Abc_SclTimeFanin() : sclSize.c
• Abc_SclTimeIncAddFanins() : sclSize.c
• Abc_SclTimeIncAddFanouts() : sclSize.c
• Abc_SclTimeIncAddNode() : sclSize.c
• Abc_SclTimeIncCheckLevel() : sclSize.c
• Abc_SclTimeIncInsert() : sclSize.h , sclSize.c
• Abc_SclTimeIncUpdate() : sclSize.c , sclSize.h
• Abc_SclTimeIncUpdateArrival() : sclSize.c
• Abc_SclTimeIncUpdateClean() : sclSize.c
• Abc_SclTimeIncUpdateDeparture() : sclSize.c
• Abc_SclTimeIncUpdateLevel() : sclSize.c , sclSize.h
• Abc_SclTimeIncUpdateLevel_rec() : sclSize.c
• Abc_SclTimeNode() : sclSize.c
• Abc_SclTimeNodePrint() : sclSize.c
• Abc_SclTimeNtkPrint() : sclSize.h , sclSize.c
• Abc_SclTimeNtkRecompute() : sclSize.c , sclSize.h
• Abc_SclTimePerform() : sclSize.h , sclSize.c
• Abc_SclTimingAlloc() : sclLib.h
• Abc_SclTimingFree() : sclLib.h
• Abc_SclTimingsAlloc() : sclLib.h
• Abc_SclTimingsFree() : sclLib.h
• Abc_SclUnBufferPerform() : sclBuffer.c , sclSize.h
• Abc_SclUnBufferPhase() : sclBuffer.c , sclSize.h
• Abc_SclUndoRecentChanges() : sclUpsize.c
• Abc_SclUnmarkCriticalNodeWindow() : sclUpsize.c
• Abc_SclUpdateLoad() : sclSize.h , sclLoad.c
• Abc_SclUpdateLoadSplit() : sclLoad.c , sclSize.h
• Abc_SclUpsizePerform() : sclUpsize.c , sclSize.h
• Abc_SclUpsizePrint() : sclUpsize.c
• Abc_SclUpsizePrintDiffs() : sclUpsize.c
• Abc_SclUpsizeRemoveDangling() : sclUpsize.c
• Abc_SclWireLoadAlloc() : sclLib.h
• Abc_SclWireLoadFree() : sclLib.h
• Abc_SclWireLoadSelAlloc() : sclLib.h
• Abc_SclWireLoadSelFree() : sclLib.h
• Abc_SclWriteLiberty() : sclLib.h , sclLibScl.c
• Abc_SclWriteLibrary() : sclLibScl.c
• Abc_SclWriteLibraryText() : sclLibScl.c
• Abc_SclWriteScl() : sclLib.h , sclLibScl.c
• Abc_SclWriteSurface() : sclLibScl.c
• Abc_SclWriteSurfaceText() : sclLibScl.c
• Abc_SelectSortDec() : utilSort.c
• Abc_SelectSortInc() : utilSort.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.h , csat_apis.c
• Abc_ShaManStart() : abcExtract.c
• Abc_ShaManStop() : abcExtract.c
• Abc_Show6VarFunc() : bdcSpfd.c , abcPrint.c
• Abc_ShowFile() : abcShow.c
• Abc_ShowGetFileName() : abcShow.c
• ABC_Solve() : csat_apis.c , csat_apis.h
• ABC_SolveInit() : csat_apis.c , csat_apis.h
• Abc_SopCheck() : abcSop.c , abc.h
• Abc_SopComplement() : abc.h , abcSop.c
• Abc_SopComplementVar() : abcSop.c , abc.h
• Abc_SopCreateAnd() : abc.h , abcSop.c
• Abc_SopCreateAnd2() : abcSop.c , abc.h
• Abc_SopCreateBuf() : abc.h , abcSop.c
• Abc_SopCreateConst0() : abc.h , abcSop.c
• Abc_SopCreateConst1() : abc.h , abcSop.c
• Abc_SopCreateFromIsop() : abcSop.c , abc.h
• Abc_SopCreateFromTruth() : abc.h , abcSop.c
• Abc_SopCreateInv() : abcSop.c , abc.h
• Abc_SopCreateMux() : abc.h , abcSop.c
• Abc_SopCreateNand() : abcSop.c , abc.h
• Abc_SopCreateNor() : abc.h , abcSop.c
• Abc_SopCreateNxor() : abc.h , abcSop.c
• Abc_SopCreateOr() : abc.h , abcSop.c
• Abc_SopCreateOrMultiCube() : abcSop.c , abc.h
• Abc_SopCreateXor() : abc.h , abcSop.c
• Abc_SopCreateXorSpecial() : abcSop.c , abc.h
• Abc_SopDecoderLog() : abc.h , abcSop.c
• Abc_SopDecoderPos() : abcSop.c , abc.h
• Abc_SopEncoderLog() : abc.h , abcSop.c
• Abc_SopEncoderPos() : abc.h , abcSop.c
• Abc_SopFromEspresso() : abcEspresso.c
• Abc_SopFromTruthBin() : abc.h , abcSop.c
• Abc_SopFromTruthHex() : abc.h , 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_SopToEspresso() : abcEspresso.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_SortMerge() : utilSort.c
• Abc_SortNumCompare() : utilSort.c
• Abc_SortTest() : utilSort.c
• Abc_Start() : abcapis.h , base/main/main.h , mainLib.c , csat_apis.c , demo.c
• Abc_StatePerm() : extraUtilCube.c
• Abc_StatePrint() : extraUtilCube.c
• Abc_StatePush() : extraUtilCube.c
• Abc_Stop() : abcapis.h , base/main/main.h , mainLib.c , csat_apis.c , demo.c
• Abc_StringGetNumber() : abcBlifMv.c
• Abc_SuppCountOnes() : extraUtilSupp.c
• Abc_SuppCountOnes64() : extraUtilSupp.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_TargetResAlloc() : csat_apis.c
• ABC_TargetResFree() : csat_apis.c , csat_apis.h
• Abc_Truth6WordNum() : abc_global.h
• Abc_TruthCompare() : abcNpn.c
• Abc_TruthDecPerform() : abcDec.c
• Abc_TruthDecTest() : abcDec.c
• Abc_TruthGetBit() : abcDec.c , abcRpo.c , luckyRead.c
• Abc_TruthGetHex() : abcRpo.c , abcDec.c , luckyRead.c
• Abc_TruthGetParams() : luckyRead.c , abcRpo.c , abcDec.c
• Abc_TruthHashKey() : abcNpn.c
• Abc_TruthHashLookup() : abcNpn.c
• Abc_TruthNpnCountUnique() : abcNpn.c
• Abc_TruthNpnCountUniqueSort() : abcNpn.c
• Abc_TruthNpnPerform() : abcNpn.c
• Abc_TruthNpnPrint() : abcNpn.c
• Abc_TruthNpnTest() : abcNpn.c
• Abc_TruthPermute() : abcAttach.c
• Abc_TruthReadHex() : luckyRead.c , abcDec.c , abcRpo.c
• Abc_TruthReadHexDigit() : abcDec.c , abcRpo.c , luckyRead.c
• Abc_TruthRpoPerform() : abcRpo.c
• Abc_TruthRpoTest() : abcRpo.c
• Abc_TruthSetBit() : abcDec.c , luckyRead.c , abcRpo.c
• Abc_TruthSetHex() : luckyRead.c , abcDec.c , abcRpo.c
• Abc_TruthStoreAlloc() : abcRpo.c , luckyRead.c , abcDec.c
• Abc_TruthStoreAlloc2() : abcDec.c , abcRpo.c
• Abc_TruthStoreFree() : luckyInt.h , luckyRead.c
• Abc_TruthStoreRead() : luckyRead.c , abcDec.c , abcRpo.c
• Abc_TruthStoreWrite() : luckyRead.c
• Abc_TruthWordNum() : abc_global.h
• Abc_TruthWriteHex() : abcRpo.c , abcDec.c , luckyRead.c
• Abc_TruthWriteHexDigit() : abcDec.c , luckyRead.c , abcRpo.c
• Abc_TruthXorBit() : abcDec.c , abcRpo.c , luckyRead.c
• Abc_TruthXorHex() : abcDec.c , abcRpo.c , luckyRead.c
• Abc_Tt6Cnf() : utilTruth.h
• Abc_Tt6CnfSize() : utilTruth.h
• Abc_Tt6Cof0EqualCof0() : utilTruth.h
• Abc_Tt6Cof0EqualCof1() : utilTruth.h
• Abc_Tt6Cof0IsConst0() : utilTruth.h
• Abc_Tt6Cof0IsConst1() : utilTruth.h
• Abc_Tt6Cof1EqualCof1() : utilTruth.h
• Abc_Tt6Cof1IsConst0() : utilTruth.h
• Abc_Tt6Cof1IsConst1() : utilTruth.h
• Abc_Tt6Cofactor0() : utilTruth.h
• Abc_Tt6Cofactor1() : utilTruth.h
• Abc_Tt6CofactorPermNaive() : dauCanon.c
• Abc_Tt6CofsOpposite() : utilTruth.h
• Abc_Tt6Esop() : utilTruth.h
• Abc_Tt6EsopBuild() : utilTruth.h
• Abc_Tt6EsopVerify() : utilTruth.h
• Abc_Tt6Expand() : utilTruth.h
• Abc_Tt6FirstBit() : utilTruth.h
• Abc_Tt6Flip() : utilTruth.h
• Abc_Tt6HalfUnShuffleVars() : dauDsd2.c
• Abc_Tt6HasVar() : utilTruth.h
• Abc_Tt6Isop() : utilTruth.h
• Abc_Tt6IsopCover() : utilTruth.h
• Abc_Tt6LastBit() : utilTruth.h
• Abc_Tt6Mask() : utilTruth.h
• Abc_Tt6MinBase() : utilTruth.h
• Abc_Tt6NegVar() : utilTruth.h
• Abc_Tt6Permute_rec() : utilTruth.h
• Abc_Tt6PosVar() : utilTruth.h
• Abc_Tt6Stretch() : utilTruth.h
• Abc_Tt6SupportAndSize() : utilTruth.h
• Abc_Tt6SwapAdjacent() : utilTruth.h
• Abc_Tt6SwapVars() : utilTruth.h
• Abc_Tt7Isop() : utilTruth.h
• Abc_Tt7IsopCover() : utilTruth.h
• Abc_Tt8Cnf() : utilTruth.h
• Abc_Tt8CnfSize() : utilTruth.h
• Abc_Tt8Isop() : utilTruth.h
• Abc_Tt8IsopCover() : utilTruth.h
• Abc_TtAnd() : utilTruth.h
• Abc_TtBitCount16() : utilTruth.h
• Abc_TtByteNum() : utilTruth.h
• Abc_TtCanonicize() : dau.h , dauCanon.c
• Abc_TtCanonicizePhase() : dauCanon.c , dau.h
• Abc_TtCanonicizePhaseVar5() : dauCanon.c
• Abc_TtCanonicizePhaseVar6() : dauCanon.c
• Abc_TtCheckBiDec() : utilTruth.h
• Abc_TtCheckBiDecSimple() : utilTruth.h
• Abc_TtCheckCondDep() : utilTruth.h
• Abc_TtCheckCondDep2() : utilTruth.h
• Abc_TtCheckDsdAnd() : utilTruth.h
• Abc_TtCheckDsdMux() : utilTruth.h
• Abc_TtCheckEqual2VarCofs() : dauCanon.c
• Abc_TtCheckEqualCofs() : utilTruth.h
• Abc_TtCheckWithCubeNeg2Pos() : utilIsop.c
• Abc_TtCheckWithCubePos2Neg() : utilIsop.c
• Abc_TtClear() : utilTruth.h
• Abc_TtCof0IsConst0() : utilTruth.h
• Abc_TtCof0IsConst1() : utilTruth.h
• Abc_TtCof1IsConst0() : utilTruth.h
• Abc_TtCof1IsConst1() : utilTruth.h
• Abc_TtCofactor0() : utilTruth.h
• Abc_TtCofactor0p() : utilTruth.h
• Abc_TtCofactor1() : utilTruth.h
• Abc_TtCofactor1p() : utilTruth.h
• Abc_TtCofactorPerm() : dauCanon.c
• Abc_TtCofactorPermConfig() : dauCanon.c
• Abc_TtCofactorPermNaive() : dauCanon.c
• Abc_TtCofactorTest10() : dauCanon.c
• Abc_TtCofsOpposite() : utilTruth.h
• Abc_TtCompare() : utilTruth.h
• Abc_TtCompare1VarCofs() : dauCanon.c
• Abc_TtCompare1VarCofsRev() : dauCanon.c
• Abc_TtCompare2VarCofs() : dauCanon.c
• Abc_TtCompare2VarCofsRev() : dauCanon.c
• Abc_TtCompareRev() : utilTruth.h
• Abc_TtComputeGraph() : utilTruth.h
• Abc_TtConst0() : utilTruth.h
• Abc_TtConst1() : utilTruth.h
• Abc_TtCopy() : utilTruth.h
• Abc_TtCountOnes() : utilTruth.h
• Abc_TtCountOnesInCofs() : dauCanon.c
• Abc_TtCountOnesInCofsFast() : dauCanon.c
• Abc_TtCountOnesInCofsFast6_rec() : dauCanon.c
• Abc_TtCountOnesInCofsFast_rec() : dauCanon.c
• Abc_TtCountOnesInCofsSlow() : dauCanon.c
• Abc_TtCountOnesInTruth() : dauCanon.c
• Abc_TtCountOnesSlow() : utilTruth.h
• Abc_TtDeriveBiDec() : utilTruth.h
• Abc_TtDeriveBiDecOne() : utilTruth.h
• Abc_TtElemInit() : utilTruth.h
• Abc_TtElemInit2() : utilTruth.h
• Abc_TtEqual() : utilTruth.h
• Abc_TtExist() : utilTruth.h
• Abc_TtExpand() : utilTruth.h
• Abc_TtExpandCubeNeg2Pos() : utilIsop.c
• Abc_TtExpandCubePos2Neg() : utilIsop.c
• Abc_TtFill() : utilTruth.h
• Abc_TtFindFirstBit() : utilTruth.h
• Abc_TtFindFirstZero() : utilTruth.h
• Abc_TtFindLastBit() : utilTruth.h
• Abc_TtFindLastZero() : utilTruth.h
• Abc_TtFlip() : utilTruth.h
• Abc_TtGetBit() : utilTruth.h
• Abc_TtGetHex() : utilTruth.h
• Abc_TtHalfUnShuffleVars() : dauDsd2.c
• Abc_TtHasVar() : utilTruth.h
• Abc_TtHexDigitNum() : utilTruth.h
• Abc_TtImplementNpnConfig() : utilTruth.h
• Abc_TtIntersect() : utilIsop.c
• Abc_TtIsConst0() : utilTruth.h
• Abc_TtIsConst1() : utilTruth.h
• Abc_TtIsHexDigit() : utilTruth.h
• Abc_TtIsPosUnate() : utilTruth.h
• Abc_TtIsUnate() : utilTruth.h
• Abc_TtMakePosUnate() : utilTruth.h
• Abc_TtMinBase() : utilTruth.h
• Abc_TtMinimumBase() : utilTruth.h
• Abc_TtMoveVar() : utilTruth.h
• Abc_TtMux() : utilTruth.h
• Abc_TtNegVar() : utilTruth.h
• Abc_TtNot() : utilTruth.h
• Abc_TtOnlyOneOne() : utilTruth.h
• Abc_TtOr() : utilTruth.h
• Abc_TtPosVar() : utilTruth.h
• Abc_TtPrintBiDec() : utilTruth.h
• Abc_TtPrintBinary() : utilTruth.h
• Abc_TtPrintDigit() : utilTruth.h
• Abc_TtPrintDigitLower() : utilTruth.h
• Abc_TtPrintHex() : utilTruth.h
• Abc_TtPrintHexArrayRev() : utilTruth.h
• Abc_TtPrintHexRev() : utilTruth.h
• Abc_TtPrintHexSpecial() : utilTruth.h
• Abc_TtPrintVarSet() : utilTruth.h
• Abc_TtProcessBiDec() : utilTruth.h
• Abc_TtProcessBiDecExperiment() : utilTruth.h
• Abc_TtProcessBiDecTest() : utilTruth.h
• Abc_TtReadHex() : utilTruth.h
• Abc_TtReadHexDigit() : utilTruth.h
• Abc_TtReadHexNumber() : utilTruth.h
• Abc_TtReverseBits() : utilTruth.h
• Abc_TtReverseVars() : utilTruth.h
• Abc_TtSemiCanonicize() : dauCanon.c
• Abc_TtSetBit() : utilTruth.h
• Abc_TtSetHex() : utilTruth.h
• Abc_TtSharp() : utilTruth.h
• Abc_TtShrink() : utilTruth.h
• Abc_TtStoreFree() : abcDec.c , abcRpo.c , abcNpn.c
• Abc_TtStoreLoad() : abcDec.c , abcNpn.c , abcRpo.c
• Abc_TtStoreTest() : abcDec.c
• Abc_TtStoreWrite() : abcNpn.c , abcDec.c , abcRpo.c
• Abc_TtStretch5() : utilTruth.h
• Abc_TtStretch6() : utilTruth.h
• Abc_TtSuppFindFirst() : utilTruth.h
• Abc_TtSuppIsMinBase() : utilTruth.h
• Abc_TtSuppOnlyOne() : utilTruth.h
• Abc_TtSupport() : utilTruth.h
• Abc_TtSupportAndSize() : utilTruth.h
• Abc_TtSupportSize() : utilTruth.h
• Abc_TtSwapAdjacent() : utilTruth.h
• Abc_TtSwapVars() : utilTruth.h
• Abc_TtTruthIsConst0() : utilTruth.h
• Abc_TtTruthIsConst1() : utilTruth.h
• Abc_TtUnit() : utilTruth.h
• Abc_TtVerifyBiDec() : utilTruth.h
• Abc_TtWordNum() : utilTruth.h
• Abc_TtWriteHexRev() : utilTruth.h
• Abc_TtXor() : utilTruth.h
• Abc_TtXorBit() : utilTruth.h
• Abc_TtXorHex() : utilTruth.h
• ABC_UseOnlyCoreSatSolver() : csat_apis.h , csat_apis.c
• Abc_UtilsGetUsersInput() : mainUtils.c , mainInt.h
• Abc_UtilsGetVersion() : mainUtils.c , mainInt.h
• Abc_UtilsPrintHello() : mainInt.h , mainUtils.c
• Abc_UtilsPrintUsage() : mainInt.h , mainUtils.c
• Abc_UtilsSource() : mainUtils.c , mainInt.h
• Abc_UtilStrsav() : starter.c , abc_global.h
• Abc_Var2Lit() : abc_global.h
• Abc_VecObjPushUniqueOrderByLevel() : abc.h , abcUtil.c
• Abc_WinNode() : mfsCore.c
• Abc_Wrd2Ptr() : abc_global.h
• Abc_WriteAdder() : abcGen.c
• Abc_WriteCell() : abcGen.c
• Abc_WriteComp() : abcGen.c
• Abc_WriteFullAdder() : abcGen.c
• Abc_WriteKLut() : abcGen.c
• Abc_WriteLayer() : abcGen.c
• Abc_WriteMulti() : abcGen.c
• Abc_XsimAnd() : abcXsim.c
• Abc_XsimInv() : abcXsim.c
• Abc_XsimPrint() : abcXsim.c
• Abc_XsimRand2() : abcXsim.c
• Abc_XsimRand3() : abcXsim.c
• Abc_ZddBuildSet() : extraUtilPerm.c
• Abc_ZddCacheInsert() : extraUtilPerm.c
• Abc_ZddCacheLookup() : 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_ZddHash() : extraUtilPerm.c
• Abc_ZddIntersect() : extraUtilPerm.c
• Abc_ZddIthVar() : extraUtilPerm.c
• Abc_ZddManAlloc() : extraUtilPerm.c
• Abc_ZddManCreatePerms() : extraUtilPerm.c
• Abc_ZddManFree() : extraUtilPerm.c
• Abc_ZddMinUnion() : extraUtilPerm.c
• Abc_ZddNode() : extraUtilPerm.c
• Abc_ZddObjId() : extraUtilPerm.c
• Abc_ZddObjVar() : 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_ZddSetVarIJ() : extraUtilPerm.c
• Abc_ZddThresh() : extraUtilPerm.c
• Abc_ZddUnion() : extraUtilPerm.c
• Abc_ZddUniqueCreate() : extraUtilPerm.c
• Abc_ZddUniqueLookup() : extraUtilPerm.c
• Abc_ZddUnmark_rec() : extraUtilPerm.c
• Abc_ZddVarIJ() : extraUtilPerm.c
• Abc_ZddVarsClash() : extraUtilPerm.c
• abort() : util_old.h
• abs_covered() : unate.c
• abs_covered_many() : unate.c
• Abs_GiaCheckTruth() : absRpm.c
• Abs_GiaCofPrint() : absRpm.c
• Abs_GiaObjDeref_rec() : absRpm.c
• Abs_GiaObjRef_rec() : absRpm.c
• Abs_GiaSortNodes() : absRpm.c
• Abs_ManExtendOneEval_rec() : bmcBmc2.c
• Abs_ManFreeAray() : bmcBmc2.c
• Abs_ManSimInfoAnd() : bmcBmc2.c
• Abs_ManSimInfoGet() : bmcBmc2.c
• Abs_ManSimInfoNot() : bmcBmc2.c
• Abs_ManSimInfoSet() : bmcBmc2.c
• Abs_ManSupport1() : absRpm.c
• Abs_ManSupport1_rec() : absRpm.c
• Abs_ManSupport2() : absRpm.c
• Abs_ManSupport2_rec() : absRpm.c
• Abs_ManSupport3() : absRpm.c
• Abs_ManTernarySimulate() : bmcBmc2.c
• Abs_ParSetDefaults() : absUtil.c , abs.h
• Abs_RpmPerform() : absRpm.c , abs.h
• Abs_RpmPerformMark() : absRpm.c
• Abs_RpmPerformOld() : absRpmOld.c , abs.h
• abs_select_restricted() : unate.c
• act_clause2_bump() : satSolver2.c
• act_clause2_decay() : satSolver2.c
• act_clause2_rescale() : satSolver2.c
• act_clause_bump() : satSolver.c
• act_clause_decay() : satSolver.c
• act_clause_rescale() : satSolver.c
• act_var_bump() : satSolver.c , satSolver2.c
• act_var_bump_factor() : satSolver.c
• act_var_bump_global() : satSolver.c
• act_var_decay() : satSolver.c , satSolver2.c
• act_var_rescale() : satSolver2.c , satSolver.c
• add_conterexample() : abcSaucy.c
• add_diff() : abcSaucy.c
• add_diffnon() : abcSaucy.c
• add_induce() : abcSaucy.c
• add_pair() : abcSaucy.c
• add_pair_to_block() : bzlib.c
• addBddDoInterval() : cuddBridge.c
• addBddDoIthBit() : cuddBridge.c
• addBddDoStrictThreshold() : cuddBridge.c
• addBddDoThreshold() : cuddBridge.c
• addCheckPositiveCube() : cuddAddAbs.c
• addConcreteCell() : place_base.h , place_base.c
• addConcreteNet() : place_base.h , place_base.c
• addDoIthBit() : cuddAddFind.c
• addMMRecur() : cuddMatMult.c
• addMultiplicityGroups() : cuddAPI.c
• addTriangleRecur() : cuddMatMult.c
• addVarToConst() : cuddAddIte.c
• addWalshInt() : cuddAddWalsh.c
• adjustInfoAfterSwap() : luckyInt.h , luckyFast6.c
• adler32() : adler32.c
• adler32_combine() : adler32.c
• adler32_combine64() : adler32.c
• adler32_combine_() : adler32.c
• Agi_ManAlloc() : giaAgi.c
• Agi_ManAppendAnd() : giaAgi.c
• Agi_ManAppendCi() : giaAgi.c
• Agi_ManAppendCo() : giaAgi.c
• Agi_ManAppendObj() : giaAgi.c
• Agi_ManCiNum() : giaAgi.c
• Agi_ManCoNum() : giaAgi.c
• Agi_ManFree() : giaAgi.c
• Agi_ManFromGia() : giaAgi.c
• Agi_ManNodeNum() : giaAgi.c
• Agi_ManObjNum() : giaAgi.c
• Agi_ManSuppSize_rec() : giaAgi.c
• Agi_ManSuppSizeOne() : giaAgi.c
• Agi_ManSuppSizeTest() : giaAgi.c
• Agi_ManTest() : giaAgi.c
• Agi_ObjIsAnd() : giaAgi.c
• Agi_ObjIsBuf() : giaAgi.c
• Agi_ObjIsC0() : giaAgi.c
• Agi_ObjIsCi() : giaAgi.c
• Agi_ObjIsCo() : giaAgi.c
• Agi_ObjIsMaj() : giaAgi.c
• Agi_ObjIsMux() : giaAgi.c
• Agi_ObjIsNode() : giaAgi.c
• Agi_ObjIsPi() : giaAgi.c
• Agi_ObjIsPo() : giaAgi.c
• Agi_ObjIsRi() : giaAgi.c
• Agi_ObjIsRo() : giaAgi.c
• Agi_ObjIsXor() : giaAgi.c
• Agi_ObjLit0() : giaAgi.c
• Agi_ObjLit1() : giaAgi.c
• Agi_ObjLit2() : giaAgi.c
• Agi_ObjSetLit0() : giaAgi.c
• Agi_ObjSetLit1() : giaAgi.c
• Agi_ObjSetLit2() : giaAgi.c
• Agi_ObjVar0() : giaAgi.c
• Agi_ObjVar1() : giaAgi.c
• Agi_ObjVar2() : 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() : aigDfs.c , aig.h
• 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() : aigDfs.c , aig.h
• Aig_CreateAnd() : aig.h , aigOper.c
• Aig_CreateExor() : aigOper.c , aig.h
• Aig_CreateOr() : aigOper.c , aig.h
• Aig_CutCheckDominance() : aigCuts.c
• Aig_CutComputeTruth() : aigCuts.c
• Aig_CutFilter() : aigCuts.c
• Aig_CutFindCost() : aigCuts.c
• Aig_CutFindCost2() : aigCuts.c
• Aig_CutFindFree() : aigCuts.c
• Aig_CutLeaveNum() : aig.h
• Aig_CutLeaves() : aig.h
• Aig_CutMerge() : aigCuts.c
• Aig_CutMergeOrdered() : aigCuts.c
• Aig_CutNext() : aig.h
• Aig_CutPrint() : aigCuts.c
• Aig_CutSupportMinimize() : aigCuts.c
• Aig_CutTruth() : aig.h
• Aig_CutTruthPhase() : aigCuts.c
• Aig_DagSize() : aig.h , aigDfs.c
• Aig_Exor() : aig.h , aigOper.c
• Aig_FanoutCreate() : aigFanout.c
• Aig_FanoutNext() : aigFanout.c
• Aig_FanoutObj() : aigFanout.c
• Aig_FanoutPrev() : aigFanout.c
• Aig_FileNameGenericAppend() : aig.h , aigUtil.c
• Aig_Gla1AddBuffer() : saigGlaCba.c
• Aig_Gla1AddConst() : saigGlaCba.c
• Aig_Gla1AddNode() : saigGlaCba.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_Gla1FetchVar() : saigGlaCba.c
• Aig_Gla1FetchVecId() : saigGlaCba.c
• Aig_Gla1ManPerform() : saigGlaCba.c
• Aig_Gla1ManStart() : saigGlaCba.c
• Aig_Gla1ManStop() : saigGlaCba.c
• Aig_Gla1ObjAddToSolver() : saigGlaCba.c
• Aig_Gla1PrintAbstr() : saigGlaCba.c
• Aig_Gla2AddBuffer() : saigGlaPba.c
• Aig_Gla2AddConst() : saigGlaPba.c
• Aig_Gla2AddNode() : saigGlaPba.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_Gla3AddBuffer() : saigGlaPba2.c
• Aig_Gla3AddConst() : saigGlaPba2.c
• Aig_Gla3AddNode() : saigGlaPba2.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_Hash() : aigTable.c
• Aig_IsComplement() : aig.h
• Aig_IthVar() : aigOper.c , aig.h
• Aig_Maj() : aig.h , aigOper.c
• Aig_ManAddNewCnfToSolver() : aigPartSat.c
• Aig_ManAndNum() : aig.h
• Aig_ManAntiCleanup() : aigMan.c , aig.h
• Aig_ManAppend() : aigRepar.c
• Aig_ManBufNum() : aig.h
• Aig_ManBuildPoBdd() : aigSplit.c
• Aig_ManBuildPoBdd_rec() : aigSplit.c
• Aig_ManCheck() : aigCheck.c , aig.h
• Aig_ManCheckAcyclic() : dchChoice.c
• Aig_ManCheckAcyclic_rec() : dchChoice.c
• Aig_ManCheckMarkA() : aigCheck.c , aig.h
• Aig_ManCheckPhase() : aig.h , aigCheck.c
• Aig_ManCheckReprs() : dchChoice.c
• Aig_ManChoiceConstructive() : aigPart.c , aig.h
• Aig_ManChoiceConstructiveOne() : aigPart.c
• Aig_ManChoiceEval() : aigPart.c
• Aig_ManChoiceLevel() : aigDfs.c , aig.h
• Aig_ManChoiceLevel_rec() : aigDfs.c
• Aig_ManChoiceNum() : aigUtil.c , aig.h
• Aig_ManChoicePartitioned() : aigPart.c , aig.h
• Aig_ManCi() : aig.h
• Aig_ManCiCleanup() : aig.h , aigMan.c
• Aig_ManCiCleanupBiere() : liveness.c , liveness_sim.c
• Aig_ManCiNum() : aig.h
• Aig_ManCleanCioIds() : aigUtil.c , aig.h
• Aig_ManCleanData() : aigUtil.c , aig.h
• Aig_ManCleanMarkA() : aigUtil.c , aig.h
• Aig_ManCleanMarkAB() : aigUtil.c , aig.h
• Aig_ManCleanMarkB() : aigUtil.c , aig.h
• Aig_ManCleanNext() : aigUtil.c , aig.h
• Aig_ManCleanup() : aig.h , aigMan.c
• Aig_ManCo() : aig.h
• Aig_ManCoCleanup() : aig.h , aigMan.c
• Aig_ManCoCleanupBiere() : liveness.c , liveness_sim.c
• Aig_ManCofactorBdds() : aigSplit.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() : bbrNtbdd.c , bbr.h
• Aig_ManComputeReachable() : bbrReach.c
• Aig_ManComputeSccs() : aig.h , aigScl.c
• Aig_ManConst0() : aig.h
• Aig_ManConst1() : aig.h
• Aig_ManConstReduce() : aig.h , aigTsim.c
• Aig_ManConstrNum() : aig.h
• Aig_ManCoNum() : aig.h
• Aig_ManConvertBddsToAigs() : aigSplit.c
• Aig_ManCounterExampleValueLookup() : aigUtil.c
• Aig_ManCounterExampleValueStart() : aigUtil.c
• Aig_ManCounterExampleValueStop() : aigUtil.c
• Aig_ManCounterExampleValueTest() : aigUtil.c
• Aig_ManCountMergeRegs() : aigScl.c , aig.h
• Aig_ManCountReprs() : aig.h , aigRepr.c
• Aig_ManCountXors() : fraCec.c
• Aig_ManCreateDualOutputMiter() : abcDress2.c
• Aig_ManCreateMiter() : aigDup.c , aig.h
• Aig_ManCreateOutputs() : bbrReach.c
• Aig_ManCreatePartitions() : bbrReach.c
• Aig_ManCutCount() : aigCuts.c
• Aig_ManCutStart() : aigCuts.c
• Aig_ManCutStop() : aigCuts.c , aig.h
• Aig_ManCutTruth() : aigTruth.c , aig.h
• 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() : aigDfs.c , aig.h
• Aig_ManDfsAll_rec() : aigDfs.c
• Aig_ManDfsChoices() : aigDfs.c , aig.h
• Aig_ManDfsChoices_rec() : aigDfs.c
• Aig_ManDfsNodes() : aig.h , aigDfs.c
• Aig_ManDfsPreorder() : aigDfs.c , aig.h
• 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() : kliveness.c , aig.h , aigUtil.c
• Aig_ManDumpVerilog() : aigUtil.c , aig.h
• 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() : aigDup.c , aig.h
• Aig_ManDupDfsGuided_rec() : aigDup.c
• Aig_ManDupExor() : aigDup.c , aig.h
• 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() : aigDup.c , aig.h
• 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() : aigDup.c , aig.h
• Aig_ManDupRepres_rec() : aigDup.c
• Aig_ManDupRepresDfs() : aig.h , aigDup.c
• Aig_ManDupSimple() : aig.h , aigDup.c
• Aig_ManDupSimpleDfs() : aigDup.c , aig.h
• 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_ManExorNum() : aig.h
• 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_ManFetchMemory() : aig.h
• 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() : aigMan.c , aig.h
• Aig_ManFraigPartitioned() : aig.h , aigPart.c
• Aig_ManFrames() : aig.h , aigFrames.c
• Aig_ManFreeGlobalBdds() : bbrNtbdd.c , bbr.h
• Aig_ManGetCost() : aig.h
• Aig_ManGhost() : aig.h
• Aig_ManHasNoGaps() : aig.h , aigUtil.c
• Aig_ManIncrementTravId() : aig.h , aigUtil.c
• Aig_ManInitStateVarMap() : bbrReach.c
• Aig_ManInter() : aigInter.c
• Aig_ManInterAddBuffer() : aigRepar.c
• Aig_ManInterAddXor() : aigRepar.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() : aigDfs.c , aig.h
• Aig_ManLevelNum() : aig.h , aigDfs.c
• Aig_ManLevels() : aigUtil.c , aig.h
• Aig_ManLi() : aig.h
• Aig_ManLo() : aig.h
• Aig_ManMarkAutonomous_rec() : saigRetFwd.c
• Aig_ManMarkFlopTfi() : aigDoms.c
• Aig_ManMarkFlopTfi_rec() : aigDoms.c
• Aig_ManMarkValidChoices() : aig.h , aigRepr.c
• Aig_ManMiterPartitioned() : aigPart.c , aig.h
• Aig_ManMuxesCollect() : aigUtil.c , aig.h
• Aig_ManMuxesDeref() : aigUtil.c , aig.h
• Aig_ManMuxesRef() : aig.h , aigUtil.c
• Aig_ManNodeNum() : aig.h
• Aig_ManObj() : aig.h
• Aig_ManObjNum() : aig.h
• Aig_ManObjNumMax() : aig.h
• Aig_ManOrderPios() : aigDup.c , aig.h
• Aig_ManOrderStart() : aigOrder.c , aig.h
• Aig_ManOrderStop() : aigOrder.c , aig.h
• Aig_ManPackAddPattern() : aigPack.c , aigJust.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() : aigPack.c , aigJust.c
• Aig_ManPartDivide() : aigPartReg.c , aig.h
• 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() : aigPart.c , aig.h
• 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() : aigMan.c , aig.h
• Aig_ManPrintVerbose() : aig.h , aigUtil.c
• Aig_ManPropagateBuffers() : aigObj.c
• Aig_ManRandom() : aigUtil.c , fraigInt.h , aig.h
• Aig_ManRandom64() : aig.h , aigUtil.c
• Aig_ManRandomInfo() : aig.h , aigUtil.c
• Aig_ManRandomTest1() : aigUtil.c
• Aig_ManRandomTest2() : aigUtil.c
• Aig_ManRecycleMemory() : aig.h
• Aig_ManReduceLaches() : aigScl.c , aig.h
• 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_ManRegNum() : aig.h
• Aig_ManRegPartitionAdd() : aigPartReg.c
• Aig_ManRegPartitionLinear() : aigPartReg.c
• Aig_ManRegPartitionSimple() : aigPartReg.c , aig.h
• Aig_ManRegPartitionSmart() : aig.h , aigPartReg.c
• Aig_ManRegPartitionTraverse() : aigPartReg.c
• Aig_ManRegPartitionTraverse_rec() : aigPartReg.c
• Aig_ManRegProjectOnehots() : aig.h , aigPartReg.c
• Aig_ManRehash() : aigRepr.c , aig.h
• Aig_ManReleaseData() : aigMan.c , aig.h
• Aig_ManRemap() : aig.h , aigScl.c
• Aig_ManRemapRepr() : aigRepr.c
• Aig_ManReportImprovement() : aig.h , aigMan.c
• Aig_ManReprStart() : aigRepr.c , aig.h
• Aig_ManReprStop() : aig.h , aigRepr.c
• Aig_ManResetRefs() : aigUtil.c , aig.h
• 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() : aigScl.c , aig.h
• Aig_ManSclPart() : aigScl.c
• Aig_ManSeqCleanup() : aigScl.c , aig.h
• 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() : aigMan.c , aig.h
• Aig_ManStartFrom() : aigMan.c , aig.h
• Aig_ManStartMemory() : aig.h
• Aig_ManStartReverseLevels() : aig.h , aigTiming.c
• Aig_ManStaticFanoutStart() : saigRetFwd.c
• Aig_ManStop() : aigMan.c , aig.h , abcIvy.c
• Aig_ManStopMemory() : aig.h
• Aig_ManStopP() : aig.h , aigMan.c
• Aig_ManStopReverseLevels() : aigTiming.c , aig.h
• 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() : aigPart.c , aig.h
• Aig_ManSupportsInverse() : aigPart.c , aig.h
• Aig_ManSupportsRegisters() : aig.h , aigPart.c
• Aig_ManSupportsTest() : aigPart.c
• Aig_ManTernarySimulate() : aigTsim.c
• Aig_ManTransferRepr() : aigRepr.c , aig.h
• Aig_ManUpdateLevel() : aigTiming.c , aig.h
• Aig_ManUpdateReverseLevel() : aig.h , aigTiming.c
• Aig_ManVecRandSubset() : aigSplit.c
• Aig_ManVerifyLevel() : aig.h , aigTiming.c
• Aig_ManVerifyReverseLevel() : aig.h , aigTiming.c
• Aig_ManVerifyTopoOrder() : aig.h , aigDfs.c
• Aig_ManVerifyUsingBdds() : bbr.h , bbrReach.c
• Aig_ManVerifyUsingBdds_int() : bbrReach.c
• Aig_ManVerifyUsingBddsCountExample() : bbrReach.c , bbrCex.c
• Aig_Miter() : aigOper.c , aig.h
• Aig_MiterTwo() : aig.h , aigOper.c
• Aig_MmFixedEntryFetch() : aigMem.c , aig.h
• Aig_MmFixedEntryRecycle() : aigMem.c , aig.h
• Aig_MmFixedReadMaxEntriesUsed() : aigMem.c , aig.h
• Aig_MmFixedReadMemUsage() : aig.h , aigMem.c
• Aig_MmFixedRestart() : aigMem.c , aig.h
• Aig_MmFixedStart() : aigMem.c , aig.h
• Aig_MmFixedStop() : aigMem.c , aig.h
• Aig_MmFlexEntryFetch() : aig.h , aigMem.c
• Aig_MmFlexReadMemUsage() : aigMem.c , aig.h
• Aig_MmFlexRestart() : aig.h , aigMem.c
• Aig_MmFlexStart() : aigMem.c , aig.h
• Aig_MmFlexStop() : aig.h , aigMem.c
• Aig_MmStepEntryFetch() : aigMem.c , aig.h
• Aig_MmStepEntryRecycle() : aigMem.c , aig.h
• Aig_MmStepReadMemUsage() : aigMem.c , aig.h
• Aig_MmStepStart() : aig.h , aigMem.c
• Aig_MmStepStop() : aigMem.c , aig.h
• Aig_Multi() : aigOper.c , aig.h
• Aig_Multi_rec() : aigOper.c
• Aig_Mux() : aig.h , aigOper.c
• Aig_Mux2() : aigOper.c
• Aig_MuxTest() : aigOper.c
• Aig_NodeBddToMuxes_rec() : aigSplit.c
• Aig_NodeCompareLevelsDecrease() : darBalance.c
• Aig_NodeCompareRefsIncrease() : bmcBmc3.c
• Aig_NodeDeref_rec() : aig.h , aigMffc.c
• Aig_NodeFixBufferFanins() : aigObj.c
• Aig_NodeGetLeafCostOne() : aigWin.c
• Aig_NodeIntersectLists() : aigUtil.c , aig.h
• Aig_NodeMffcExtendCut() : aigMffc.c , aig.h
• Aig_NodeMffcLabel() : aigMffc.c , aig.h
• Aig_NodeMffcLabelCut() : aigMffc.c , aig.h
• Aig_NodeMffcSupp() : aigMffc.c , aig.h
• Aig_NodeMffcSupp_rec() : aigMffc.c
• Aig_NodeRef_rec() : aig.h , aigMffc.c
• Aig_NodeRefLabel_rec() : aigMffc.c
• Aig_NodeUnionLists() : aigUtil.c , aig.h
• Aig_Not() : aig.h
• Aig_NotCond() : aig.h
• Aig_NtkFindSatAssign_rec() : aigJust.c
• Aig_ObjAddFanout() : aigFanout.c , aig.h
• Aig_ObjAddTriv() : aigDoms.c
• Aig_ObjAndTerValue() : aigJust.c
• Aig_ObjCheckTfi() : aig.h , aigRepr.c
• Aig_ObjCheckTfi_rec() : aigRepr.c
• Aig_ObjChild0() : aig.h
• Aig_ObjChild0Copy() : aig.h
• Aig_ObjChild0CopyRepr() : dchChoice.c
• Aig_ObjChild0CopyVec() : cgtAig.c
• Aig_ObjChild0Flip() : aig.h
• Aig_ObjChild0Frames() : saigConstr2.c , aigFrames.c
• Aig_ObjChild0Next() : aig.h
• Aig_ObjChild0Repr() : aigRepr.c
• Aig_ObjChild0Repres() : aigDup.c
• Aig_ObjChild1() : aig.h
• Aig_ObjChild1Copy() : aig.h
• Aig_ObjChild1CopyRepr() : dchChoice.c
• Aig_ObjChild1CopyVec() : cgtAig.c
• Aig_ObjChild1Flip() : aig.h
• Aig_ObjChild1Frames() : aigFrames.c , saigConstr2.c
• Aig_ObjChild1Next() : aig.h
• Aig_ObjChild1Repr() : aigRepr.c
• Aig_ObjChild1Repres() : aigDup.c
• Aig_ObjCioId() : aig.h
• Aig_ObjClean() : aig.h
• Aig_ObjCleanData_rec() : aigUtil.c , aig.h
• Aig_ObjCleanGlobalBdd() : bbrNtbdd.c
• Aig_ObjClearMarkA() : aig.h
• Aig_ObjClearRef() : aig.h
• Aig_ObjClearRepr() : aigRepr.c
• Aig_ObjClearReverseLevel() : aig.h , aigTiming.c
• Aig_ObjCollectCut() : aigDfs.c , aig.h
• Aig_ObjCollectCut_rec() : aigDfs.c
• Aig_ObjCollectMulti() : aigUtil.c , aig.h
• Aig_ObjCollectMulti_rec() : aigUtil.c
• Aig_ObjCollectSuper() : aigDfs.c , aig.h
• Aig_ObjCollectSuper_rec() : aigDfs.c
• Aig_ObjCompareIdIncrease() : aig.h , aigUtil.c
• Aig_ObjComputeCuts() : aigCuts.c
• Aig_ObjConnect() : aig.h , aigObj.c
• Aig_ObjCopy() : aig.h
• Aig_ObjCreate() : aig.h , aigObj.c
• Aig_ObjCreateCi() : aigObj.c , aig.h
• Aig_ObjCreateCo() : aig.h , aigObj.c
• Aig_ObjCreateGhost() : aig.h
• Aig_ObjCreateRepr() : aigRepr.c , aig.h
• Aig_ObjCutPrint() : aigCuts.c
• Aig_ObjCuts() : aig.h
• Aig_ObjCutSign() : aig.h
• Aig_ObjDelete() : aig.h , aigObj.c
• Aig_ObjDelete_rec() : aigObj.c , aig.h
• Aig_ObjDeletePo() : aig.h , aigObj.c
• Aig_ObjDeref() : aig.h
• Aig_ObjDisconnect() : aigObj.c , aig.h
• Aig_ObjDomCheck() : aigDoms.c
• Aig_ObjDomCheckDominance() : 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_ObjDomMergeOrdered() : 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_ObjEquiv() : aig.h
• Aig_ObjFanin0() : aig.h
• Aig_ObjFanin1() : aig.h
• Aig_ObjFaninC0() : aig.h
• Aig_ObjFaninC1() : aig.h
• Aig_ObjFaninId0() : aig.h
• Aig_ObjFaninId1() : aig.h
• Aig_ObjFanout0() : aig.h
• Aig_ObjFanout0Int() : aig.h
• Aig_ObjFanoutC() : aig.h
• Aig_ObjFanoutNext() : aig.h
• Aig_ObjFanoutStatic() : saigRetFwd.c
• Aig_ObjFindRepr() : aigRepr.c
• Aig_ObjFindReprTransitive() : aigRepr.c
• Aig_ObjFindSatAssign() : aigJust.c
• Aig_ObjFrames() : aigFrames.c , saigConstr2.c
• Aig_ObjFromLit() : aig.h
• Aig_ObjGetRepr() : aigRepr.c , dchChoice.c
• Aig_ObjGetRepres() : aigDup.c
• Aig_ObjGetTerValue() : aigJust.c
• Aig_ObjGetXsim() : aigTsim.c
• Aig_ObjGetXsimFanin0() : aigTsim.c
• Aig_ObjGetXsimFanin1() : aigTsim.c
• Aig_ObjGlobalBdd() : bbr.h
• Aig_ObjId() : aig.h
• Aig_ObjIsAnd() : aig.h
• Aig_ObjIsBuf() : aig.h
• Aig_ObjIsCand() : aig.h
• Aig_ObjIsChoice() : aig.h
• Aig_ObjIsCi() : aig.h
• Aig_ObjIsCo() : aig.h
• Aig_ObjIsConst1() : aig.h
• Aig_ObjIsExor() : aig.h
• Aig_ObjIsExorType() : aigOper.c
• Aig_ObjIsHash() : aig.h
• Aig_ObjIsMarkA() : aig.h
• Aig_ObjIsMuxType() : aig.h , aigUtil.c
• Aig_ObjIsNode() : aig.h
• Aig_ObjIsNone() : aig.h
• Aig_ObjIsTerm() : aig.h
• Aig_ObjIsTravIdCurrent() : aig.h
• Aig_ObjIsTravIdPrevious() : aig.h
• Aig_ObjLevel() : aig.h
• Aig_ObjLevelNew() : aig.h
• Aig_ObjNotCondTerValue() : aigJust.c
• Aig_ObjNotTerValue() : aigJust.c
• Aig_ObjOrderAdvance() : aigOrder.c , aig.h
• Aig_ObjOrderInsert() : aigOrder.c , aig.h
• Aig_ObjOrderRemove() : aigOrder.c , aig.h
• Aig_ObjPatchFanin0() : aigObj.c , aig.h
• Aig_ObjPhase() : aig.h
• Aig_ObjPhaseReal() : aig.h
• 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_ObjPrintVerilog() : aigUtil.c , aig.h
• Aig_ObjReal_rec() : aig.h , aigUtil.c
• Aig_ObjRealCopy() : aig.h
• Aig_ObjRecognizeExor() : aigUtil.c , aig.h
• Aig_ObjRecognizeMux() : aig.h , aigUtil.c
• Aig_ObjRef() : aig.h
• Aig_ObjRefs() : aig.h
• Aig_ObjRemoveFanout() : aigFanout.c , aig.h
• Aig_ObjReplace() : aigObj.c , aig.h
• Aig_ObjRepr() : aig.h
• Aig_ObjRequiredLevel() : aigTiming.c , aig.h
• Aig_ObjReverseLevel() : aigTiming.c
• Aig_ObjReverseLevelNew() : aigTiming.c
• Aig_ObjSatValue() : aigJust.c
• Aig_ObjSetCopy() : aig.h
• Aig_ObjSetCuts() : aig.h
• Aig_ObjSetEquiv() : aig.h
• Aig_ObjSetFanoutStatic() : saigRetFwd.c
• Aig_ObjSetFrames() : saigConstr2.c , aigFrames.c
• Aig_ObjSetGlobalBdd() : bbrNtbdd.c
• Aig_ObjSetLevel() : aig.h
• Aig_ObjSetMarkA() : aig.h
• Aig_ObjSetRepr() : aig.h
• Aig_ObjSetRepr_() : aigPart.c , aigRepr.c
• Aig_ObjSetReverseLevel() : aigTiming.c
• Aig_ObjSetTerValue() : aigJust.c
• Aig_ObjSetTravId() : aig.h
• Aig_ObjSetTravIdCurrent() : aig.h
• Aig_ObjSetTravIdPrevious() : aig.h
• Aig_ObjSetXsim() : aigTsim.c
• Aig_ObjTerSimulate() : aigJust.c
• Aig_ObjTerSimulate_rec() : aigJust.c
• Aig_ObjToLit() : aig.h
• Aig_ObjType() : aig.h
• Aig_ObjWhatFanin() : aig.h
• Aig_Oper() : aigOper.c , aig.h
• Aig_Or() : aig.h , aigOper.c
• Aig_ProcedureTest() : aigTest.c
• Aig_Regular() : aig.h
• Aig_RManCompareSigs() : aigCanon.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_RManTableHash() : 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() : aigDfs.c , aig.h
• 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() : aigTable.c , aig.h
• Aig_TableDelete() : aigTable.c , aig.h
• Aig_TableFind() : aigTable.c
• Aig_TableInsert() : aig.h , aigTable.c
• Aig_TableLookup() : aigTable.c , aig.h
• Aig_TableLookupInt() : aigOper.c
• Aig_TableLookupTwo() : aig.h , aigTable.c
• Aig_TableProfile() : aigTable.c , aig.h
• 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_TsiNext() : aigTsim.c
• Aig_TsiSetNext() : aigTsim.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_Word6CountOnes() : aigPack.c
• Aig_Word6HasOneBit() : aigPack.c
• Aig_WordCountOnes() : aig.h
• Aig_WordFindFirstBit() : aig.h
• Aig_WriteDotAig() : aigShow.c
• Aig_Xor() : arenaViolation.c
• Aig_XsimAnd() : aigTsim.c
• Aig_XsimAndCond() : fsimTsim.c
• Aig_XsimInv() : aigTsim.c
• Aig_XsimNotCond() : fsimTsim.c
• Aig_XsimPrint() : aigTsim.c
• Aig_XsimRand2() : aigTsim.c
• Aig_XsimRand3() : aigTsim.c
• aigerNumSize() : utilBridge.c
• all_primes() : expand.c , espresso.h
• allocAigPoIndices() : disjunctiveMonotone.c , monotone.c
• allocAntecedentConsequentVectorsStruct() : disjunctiveMonotone.c
• allocPointersToMonotoneVectors() : monotone.c
• Amap_AndToObj() : amapGraph.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_CutAreaDeref() : amapMatch.c
• Amap_CutAreaDerefed() : amapMatch.c
• Amap_CutAreaRef() : amapMatch.c
• Amap_CutAreaTest() : amapMatch.c
• Amap_CutCompareArea() : amapMatch.c
• Amap_CutCompareDelay() : amapMatch.c
• Amap_DeriveTokens() : amapRead.c
• Amap_GateCollectNames() : amapRead.c
• Amap_IsComplement() : amapInt.h
• Amap_LibAlloc() : amapLib.c , amapInt.h
• Amap_LibCollectFanins() : amapPerm.c
• Amap_LibCollectFanins_rec() : amapPerm.c
• Amap_LibCompareGatesByArea() : amapLib.c
• Amap_LibCreateMux() : amapUniq.c , amapInt.h
• Amap_LibCreateNode() : amapUniq.c , amapInt.h
• Amap_LibCreateObj() : amapUniq.c
• Amap_LibCreateRules() : amapRule.c , amapInt.h
• Amap_LibCreateVar() : amapUniq.c , amapInt.h
• Amap_LibDeriveGatePerm() : amapPerm.c , amapRule.c
• Amap_LibDeriveGatePerm_rec() : amapPerm.c
• Amap_LibertyBuildItem() : amapLiberty.c
• Amap_LibertyCellArea() : amapLiberty.c
• Amap_LibertyCellCountOutputs() : amapLiberty.c
• Amap_LibertyCellIsFlop() : amapLiberty.c
• Amap_LibertyCellOutput() : amapLiberty.c
• Amap_LibertyCellOutputs() : amapLiberty.c
• Amap_LibertyCharIsSpace() : amapLiberty.c
• Amap_LibertyCompare() : amapLiberty.c
• Amap_LibertyCountItems() : amapLiberty.c
• Amap_LibertyFileSize() : amapLiberty.c
• Amap_LibertyFindMatch() : amapLiberty.c
• Amap_LibertyFixFileHead() : amapLiberty.c
• Amap_LibertyGetString() : amapLiberty.c
• Amap_LibertyGetStringFormula() : amapLiberty.c
• Amap_LibertyItem() : amapLiberty.c
• Amap_LibertyItemId() : amapLiberty.c
• Amap_LibertyNewItem() : amapLiberty.c
• Amap_LibertyParse() : amap.h , amapLiberty.c
• Amap_LibertyParseStr() : amapLiberty.c , amap.h
• Amap_LibertyPinFunction() : amapLiberty.c
• Amap_LibertyPrintGenlib() : amapLiberty.c
• Amap_LibertyPrintGenlibStr() : amapLiberty.c
• Amap_LibertyPrintLiberty() : amapLiberty.c
• Amap_LibertyPrintLibertyItem() : amapLiberty.c
• Amap_LibertyRoot() : amapLiberty.c
• Amap_LibertySkipEntry() : amapLiberty.c
• Amap_LibertySkipSpaces() : amapLiberty.c
• Amap_LibertyStart() : amapLiberty.c
• Amap_LibertyStop() : amapLiberty.c
• Amap_LibertyTimeStamp() : amapLiberty.c
• Amap_LibertyUpdateHead() : amapLiberty.c
• Amap_LibertyWipeOutComments() : amapLiberty.c
• Amap_LibFindGate() : amapLib.c
• Amap_LibFindMux() : amapUniq.c , amapInt.h
• Amap_LibFindNode() : amapUniq.c , amapInt.h
• Amap_LibFree() : amap.h , amapLib.c
• Amap_LibGate() : amapInt.h
• Amap_LibLookupTableAlloc() : amapUniq.c , amapInt.h
• Amap_LibNod() : amapInt.h
• Amap_LibNumPinsMax() : amapInt.h , amapLib.c
• Amap_LibParseEquations() : amapParse.c , amapInt.h
• Amap_LibParseTest() : amapParse.c
• Amap_LibPrintSelectedGates() : amapLib.c , amap.h
• Amap_LibReadAndPrepare() : amapLib.c , amap.h
• Amap_LibReadBuffer() : amapInt.h , amapRead.c
• Amap_LibReadFile() : amapRead.c , amapInt.h
• Amap_LibSelectGates() : amapLib.c , amapInt.h
• Amap_LibSortGatesByArea() : amapLib.c
• Amap_LibTableFindNode() : amapInt.h
• Amap_LibVerifyPerm() : amapPerm.c
• Amap_LibVerifyPerm_rec() : amapPerm.c
• Amap_LibWrite() : amapLib.c , amapInt.h
• Amap_LibWriteGate() : amapLib.c
• Amap_LibWritePin() : amapLib.c
• Amap_LoadFile() : amapRead.c
• Amap_ManAndNum() : amapInt.h
• Amap_ManCleanData() : amapMatch.c
• Amap_ManCleanRefs() : amapMatch.c
• Amap_ManComputeMapping() : amapMatch.c
• Amap_ManComputeMapping_rec() : amapMatch.c
• Amap_ManConst1() : amapInt.h
• 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() : amapInt.h , amapGraph.c
• 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_ManCutNext() : amapInt.h
• Amap_ManCutNextP() : amapInt.h
• 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_ManMatchGetExacts() : amapMatch.c
• Amap_ManMatchGetFlows() : amapMatch.c
• Amap_ManMatchNode() : amapMatch.c
• Amap_ManMatchStart() : amapMatch.c
• Amap_ManMaxDelay() : amapMatch.c
• Amap_ManMerge() : amapMerge.c , amapInt.h
• Amap_ManMergeCountCuts() : amapMerge.c
• Amap_ManMergeNodeChoice() : amapMerge.c
• Amap_ManMergeNodeCuts() : amapMerge.c
• Amap_ManMergeNodeCutsMux() : amapMerge.c
• Amap_ManMuxNum() : amapInt.h
• Amap_ManNodeNum() : amapInt.h
• Amap_ManObj() : amapInt.h
• Amap_ManObjNum() : amapInt.h
• Amap_ManPi() : amapInt.h
• Amap_ManPiNum() : amapInt.h
• Amap_ManPo() : amapInt.h
• Amap_ManPoNum() : amapInt.h
• Amap_ManPrintCuts() : amapMerge.c
• Amap_ManProduceMapped() : amapOutput.c , amapInt.h
• Amap_ManProduceNetwork() : abcDar.c
• Amap_ManSetDefaultParams() : amap.h , amapCore.c
• Amap_ManSetupObj() : amapGraph.c
• Amap_ManSetupPis() : amapMerge.c
• Amap_ManStart() : amapMan.c , amapInt.h
• Amap_ManStop() : amapMan.c , amapInt.h
• Amap_ManTest() : amapCore.c
• Amap_ManXorNum() : amapInt.h
• Amap_Not() : amapInt.h
• Amap_NotCond() : amapInt.h
• Amap_ObjChoice() : amapInt.h
• Amap_ObjCopy() : amapInt.h
• Amap_ObjFanin0() : amapInt.h
• Amap_ObjFanin1() : amapInt.h
• Amap_ObjFanin2() : amapInt.h
• Amap_ObjFaninC0() : amapInt.h
• Amap_ObjFaninC1() : amapInt.h
• Amap_ObjFaninC2() : amapInt.h
• Amap_ObjIsAnd() : amapInt.h
• Amap_ObjIsConst1() : amapInt.h
• Amap_ObjIsMux() : amapInt.h
• Amap_ObjIsNode() : amapInt.h
• Amap_ObjIsPi() : amapInt.h
• Amap_ObjIsPo() : amapInt.h
• Amap_ObjIsXor() : amapInt.h
• Amap_ObjLevel() : amapInt.h
• Amap_ObjPhaseReal() : amapInt.h
• Amap_ObjRefsTotal() : amapInt.h
• Amap_ObjSetChoice() : amapInt.h
• Amap_ObjSetCopy() : amapInt.h
• Amap_ObjSetLevel() : amapInt.h
• Amap_ObjToLit() : amapInt.h
• Amap_OuputStrsav() : amapOutput.c
• Amap_OutputStructAlloc() : amapOutput.c
• Amap_ParseCountPins() : amapRead.c
• Amap_ParseFormula() : amapParse.c
• Amap_ParseFormulaOper() : amapParse.c
• Amap_ParseGateAlloc() : amapRead.c
• Amap_ParseGateWithSamePins() : amapRead.c
• Amap_ParseStrsav() : amapRead.c
• Amap_ParseTokens() : amapRead.c
• Amap_PrintSpace() : amapLiberty.c
• Amap_PrintWord() : amapLiberty.c
• Amap_Regular() : amapInt.h
• Amap_RemoveComments() : amapRead.c
• analyzeConflict() : abcSaucy.c
• and_with_cofactor() : primes.c
• appendVecToMasterVecInt() : disjunctiveMonotone.c
• ARGS() : util_old.h , stmm.h , avl.h , stmm.h , util_old.h , stmm.h , casCore.c , stmm.h , util_old.h , avl.h , stmm.h , util_old.h , stmm.h , util_old.h , extraBddMisc.c , avl.h , stmm.h , util_old.h , stmm.h , avl.h , stmm.h , util_old.h , avl.h , casCore.c , avl.h , stmm.h , avl.h , stmm.h
• arrangeQuoters_superFast_iVar5() : luckyFast16.c
• arrangeQuoters_superFast_lessThen5() : luckyFast16.c
• arrangeQuoters_superFast_moreThen5() : luckyFast16.c
• array_compare() : cuddGenetic.c
• array_find_min() : abcSaucy.c
• array_hash() : cuddGenetic.c
• array_indirect_sort() : abcSaucy.c
• ascend() : setc.c , espresso.h
• AssessPathLength() : cuddSubsetSP.c
• assignRandomBitsToCells() : abcSaucy.c
• at_terminal() : abcSaucy.c
• atof() : util_old.h
• Attr_ManAlloc() : attr.h
• Attr_ManFetchAttrInt() : attr.h
• Attr_ManFetchAttrPtr() : attr.h
• Attr_ManFetchSpotInt() : attr.h
• Attr_ManFetchSpotPtr() : attr.h
• Attr_ManReadAttrInt() : attr.h
• Attr_ManReadAttrPtr() : attr.h
• Attr_ManSetAttrInt() : attr.h
• Attr_ManSetAttrPtr() : attr.h
• Attr_ManStartInt() : attr.h
• Attr_ManStartPtr() : attr.h
• Attr_ManStartPtrMem() : attr.h
• Attr_ManStop() : attr.h
• Attr_ManWriteAttrInt() : attr.h
• Attr_ManWriteAttrPtr() : attr.h
• Au_BoxFanout() : abcHieNew.c
• Au_BoxFanoutId() : abcHieNew.c
• Au_BoxFanoutNum() : abcHieNew.c
• Au_IsComplement() : abcHieNew.c
• Au_Lit2Var() : abcHieNew.c
• Au_LitIsCompl() : abcHieNew.c
• Au_LitNot() : abcHieNew.c
• Au_LitNotCond() : abcHieNew.c
• Au_LitRegular() : abcHieNew.c
• 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_ManName() : abcHieNew.c
• Au_ManNtk() : abcHieNew.c
• Au_ManNtkNum() : abcHieNew.c
• Au_ManNtkRoot() : abcHieNew.c
• Au_ManPrintBoxInfo() : abcHieNew.c
• Au_ManPrintBoxInfoSorted() : abcHieNew.c
• Au_ManPrintStats() : abcHieNew.c
• Au_ManReorderModels() : abcHieNew.c
• Au_ManReorderModels_rec() : abcHieNew.c
• Au_Not() : abcHieNew.c
• Au_NotCond() : abcHieNew.c
• Au_NtkAlloc() : abcHieNew.c
• Au_NtkAllocObj() : abcHieNew.c
• Au_NtkBoxNum() : 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_NtkFanNum() : abcHieNew.c
• Au_NtkFlopNum() : abcHieNew.c
• Au_NtkFree() : abcHieNew.c
• Au_NtkIncrementTravId() : abcHieNew.c
• Au_NtkInsertHeader() : abcHieNew.c
• Au_NtkMan() : abcHieNew.c
• Au_NtkMemUsage() : abcHieNew.c
• Au_NtkName() : abcHieNew.c
• Au_NtkNodeNum() : abcHieNew.c
• Au_NtkNodeNumFunc() : abcHieNew.c
• Au_NtkObj() : abcHieNew.c
• Au_NtkObjI() : abcHieNew.c
• Au_NtkObjNum() : abcHieNew.c
• Au_NtkObjNumMax() : abcHieNew.c
• Au_NtkParseCBlif() : abcHieNew.c
• Au_NtkParseCBlifNum() : abcHieNew.c
• Au_NtkPi() : abcHieNew.c
• Au_NtkPiNum() : abcHieNew.c
• Au_NtkPo() : abcHieNew.c
• Au_NtkPoNum() : abcHieNew.c
• Au_NtkPrintStats() : abcHieNew.c
• Au_NtkRemapNum() : abcHieNew.c
• Au_NtkSuppSizeTest() : abcHieNew.c
• Au_NtkTerSimulate() : abcHieNew.c
• Au_NtkTerSimulate_rec() : abcHieNew.c
• Au_ObjBase() : abcHieNew.c
• Au_ObjCopy() : abcHieNew.c
• Au_ObjFanin() : abcHieNew.c
• Au_ObjFanin0() : abcHieNew.c
• Au_ObjFanin1() : abcHieNew.c
• Au_ObjFanin2() : abcHieNew.c
• Au_ObjFaninC() : abcHieNew.c
• Au_ObjFaninC0() : abcHieNew.c
• Au_ObjFaninC1() : abcHieNew.c
• Au_ObjFaninC2() : abcHieNew.c
• Au_ObjFaninId() : abcHieNew.c
• Au_ObjFaninId0() : abcHieNew.c
• Au_ObjFaninId1() : abcHieNew.c
• Au_ObjFaninId2() : abcHieNew.c
• Au_ObjFaninLit() : abcHieNew.c
• Au_ObjFaninNum() : abcHieNew.c
• Au_ObjFanout() : abcHieNew.c
• Au_ObjFunc() : abcHieNew.c
• Au_ObjGetXsim() : abcHieNew.c
• Au_ObjGetXsimFan0() : abcHieNew.c
• Au_ObjGetXsimFan1() : abcHieNew.c
• Au_ObjGetXsimFan2() : abcHieNew.c
• Au_ObjId() : abcHieNew.c
• Au_ObjIsBox() : abcHieNew.c
• Au_ObjIsConst0() : abcHieNew.c
• Au_ObjIsFan() : abcHieNew.c
• Au_ObjIsFlop() : abcHieNew.c
• Au_ObjIsNode() : abcHieNew.c
• Au_ObjIsNone() : abcHieNew.c
• Au_ObjIsPi() : abcHieNew.c
• Au_ObjIsPo() : abcHieNew.c
• Au_ObjIsTerm() : abcHieNew.c
• Au_ObjIsTravIdCurrent() : abcHieNew.c
• Au_ObjIsTravIdCurrentId() : abcHieNew.c
• Au_ObjIsTravIdPrevious() : abcHieNew.c
• Au_ObjModel() : abcHieNew.c
• Au_ObjNtk() : abcHieNew.c
• Au_ObjPioNum() : abcHieNew.c
• Au_ObjSetCopy() : abcHieNew.c
• Au_ObjSetFanin() : abcHieNew.c
• Au_ObjSetFaninLit() : abcHieNew.c
• Au_ObjSetFanout() : abcHieNew.c
• Au_ObjSetTravIdCurrent() : abcHieNew.c
• Au_ObjSetTravIdCurrentId() : abcHieNew.c
• Au_ObjSetTravIdPrevious() : abcHieNew.c
• Au_ObjSetXsim() : abcHieNew.c
• Au_ObjSuppSize() : abcHieNew.c
• Au_ObjSuppSize_rec() : abcHieNew.c
• Au_Regular() : abcHieNew.c
• Au_UtilStrsav() : abcHieNew.c
• Au_Var2Lit() : abcHieNew.c
• Au_XsimAnd() : abcHieNew.c
• Au_XsimInv() : abcHieNew.c
• Au_XsimMux() : abcHieNew.c
• Au_XsimXor() : 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
• avl_record_gen_backward() : avl.c
• avl_record_gen_forward() : avl.c
• avl_walk_backward() : avl.c
• avl_walk_forward() : avl.c