- i -

• If_CutAreaDerefed() : if.h , ifCut.c
• If_CutAreaRefed() : ifCut.c , if.h
• If_CutAverageRefs() : if.h , ifCut.c
• If_CutCheckDominance() : ifCut.c
• If_CutCheckEquality() : ifCut.c
• If_CutCompareArea() : ifCut.c
• If_CutCompareDelay() : ifCut.c
• If_CutCompareDelayOld() : ifCut.c
• If_CutComputeTruth() : if.h , ifTruth.c
• If_CutCopy() : if.h , ifCut.c
• If_CutData() : if.h
• If_CutDelay() : if.h , ifTime.c
• If_CutDeref() : if.h , ifCut.c
• If_CutFilter() : if.h , ifCut.c
• If_CutFlow() : if.h , ifCut.c
• If_CutLeaveNum() : if.h
• If_CutLift() : if.h , ifCut.c
• If_CutLutArea() : if.h
• If_CutMerge() : if.h , ifCut.c
• If_CutMergeOrdered() : ifCut.c
• If_CutMergeOrdered2() : ifCut.c
• If_CutPermWords() : if.h
• If_CutPrint() : if.h , ifCut.c
• If_CutPrintTiming() : if.h , ifCut.c
• If_CutPropagateRequired() : if.h , ifTime.c
• If_CutRef() : if.h , ifCut.c
• If_CutSetData() : if.h
• If_CutSort() : if.h , ifCut.c
• If_CutSortInputPins() : ifTime.c
• If_CutTruth() : if.h
• If_CutTruthPhase() : ifTruth.c
• If_CutTruthWords() : if.h
• If_IsComplement() : if.h
• If_ManAndNum() : if.h
• If_ManBinarySearch_rec() : ifSeq.c
• If_ManBinarySearchPeriod() : ifSeq.c
• If_ManCi() : if.h
• If_ManCiNum() : if.h
• If_ManCleanCutData() : if.h , ifUtil.c
• If_ManCleanMarkV() : if.h , ifUtil.c
• If_ManCleanNodeCopy() : if.h , ifUtil.c
• If_ManCo() : if.h
• If_ManCollectLatches() : ifSeq.c
• If_ManCollectLatches_rec() : ifSeq.c
• If_ManComputeRequired() : if.h , ifUtil.c
• If_ManConst1() : if.h
• If_ManCoNum() : if.h
• If_ManCountTrueArea() : ifUtil.c
• If_ManCreateAnd() : if.h , ifMan.c
• If_ManCreateChoice() : if.h , ifMan.c
• If_ManCreateCi() : if.h , ifMan.c
• If_ManCreateCo() : if.h , ifMan.c
• If_ManCreateMux() : if.h , ifMan.c
• If_ManCreateXor() : if.h , ifMan.c
• If_ManCrossCut() : if.h , ifUtil.c
• If_ManCutSetFetch() : ifMan.c
• If_ManCutSetRecycle() : ifMan.c
• If_ManDelayMax() : if.h , ifUtil.c
• If_ManDerefChoiceCutSet() : if.h , ifMan.c
• If_ManDerefNodeCutSet() : if.h , ifMan.c
• If_ManImproveCutCost() : ifReduce.c
• If_ManImproveExpand() : ifReduce.c
• If_ManImproveMapping() : if.h , ifReduce.c
• If_ManImproveMark_rec() : ifReduce.c
• If_ManImproveNodeExpand() : ifReduce.c
• If_ManImproveNodeFaninCompact() : ifReduce.c
• If_ManImproveNodeFaninCompact0() : ifReduce.c
• If_ManImproveNodeFaninCompact1() : ifReduce.c
• If_ManImproveNodeFaninCompact2() : ifReduce.c
• If_ManImproveNodeFaninCompact_int() : ifReduce.c
• If_ManImproveNodeFaninCost() : ifReduce.c
• If_ManImproveNodeFaninUpdate() : ifReduce.c
• If_ManImproveNodePrepare() : ifReduce.c
• If_ManImproveNodeReduce() : ifReduce.c
• If_ManImproveNodeUpdate() : ifReduce.c
• If_ManImproveNodeWillGrow() : ifReduce.c
• If_ManImproveReduce() : ifReduce.c
• If_ManLi() : if.h
• If_ManLo() : if.h
• If_ManObj() : if.h
• If_ManObjNum() : if.h
• If_ManPerformMapping() : if.h , ifCore.c
• If_ManPerformMappingComb() : if.h , ifCore.c
• If_ManPerformMappingRound() : if.h , ifMap.c
• If_ManPerformMappingRoundSeq() : ifSeq.c
• If_ManPerformMappingSeq() : if.h , ifSeq.c
• If_ManPerformMappingSeqPost() : ifSeq.c
• If_ManPrepareMappingSeq() : ifSeq.c
• If_ManResetOriginalRefs() : if.h , ifUtil.c
• If_ManRestart() : if.h , ifMan.c
• If_ManScanMapping() : if.h , ifUtil.c
• If_ManScanMapping_rec() : ifUtil.c
• If_ManScanMappingSeq() : if.h , ifUtil.c
• If_ManScanMappingSeq_rec() : ifUtil.c
• If_ManSetupCiCutSets() : if.h , ifMan.c
• If_ManSetupCut() : ifMan.c
• If_ManSetupCutTriv() : if.h , ifMan.c
• If_ManSetupNodeCutSet() : if.h , ifMan.c
• If_ManSetupObj() : ifMan.c
• If_ManSetupSet() : ifMan.c
• If_ManSetupSetAll() : if.h , ifMan.c
• If_ManSortCompare() : ifCut.c
• If_ManSortCuts() : if.h , ifCut.c
• If_ManStart() : if.h , ifMan.c
• If_ManStop() : if.h , ifMan.c
• If_Not() : if.h
• If_NotCond() : if.h
• If_ObjArrTime() : if.h
• If_ObjCopy() : if.h
• If_ObjCutBest() : if.h
• If_ObjCutSign() : if.h
• If_ObjFanin0() : if.h
• If_ObjFanin1() : if.h
• If_ObjFaninC0() : if.h
• If_ObjFaninC1() : if.h
• If_ObjIsAnd() : if.h
• If_ObjIsCi() : if.h
• If_ObjIsCo() : if.h
• If_ObjIsConst1() : if.h
• If_ObjIsLatch() : if.h
• If_ObjIsPi() : if.h
• If_ObjLValue() : if.h
• If_ObjPerformMappingAnd() : if.h , ifMap.c
• If_ObjPerformMappingChoice() : if.h , ifMap.c
• If_ObjSetArrTime() : if.h
• If_ObjSetChoice() : if.h
• If_ObjSetCopy() : if.h
• If_ObjSetLValue() : if.h
• If_Regular() : if.h
• If_TruthAnd() : ifTruth.c
• If_TruthCopy() : ifTruth.c
• If_TruthNand() : ifTruth.c
• If_TruthNot() : ifTruth.c
• If_TruthStretch() : ifTruth.c
• If_TruthSwapAdjacentVars() : ifTruth.c
• If_TruthWordNum() : ifTruth.c
• If_WordCountOnes() : ifMap.c
• init_runtime() : main.c
• initSymmInfo() : cuddExact.c
• Int_ManAlloc() : satInter.c , satStore.h
• Int_ManCancelUntil() : satInter.c
• Int_ManEnqueue() : satInter.c
• Int_ManFree() : satInter.c , satStore.h
• Int_ManGlobalVars() : satInter.c
• Int_ManInterpolate() : satInter.c , satStore.h
• Int_ManPrepareInter() : satInter.c
• Int_ManPrintClause() : satInter.c
• Int_ManPrintInterOne() : satInter.c
• Int_ManPrintResolvent() : satInter.c
• Int_ManProcessRoots() : satInter.c
• Int_ManProofGet() : satInter.c
• Int_ManProofRecordOne() : satInter.c
• Int_ManProofSet() : satInter.c
• Int_ManProofTraceOne() : satInter.c
• Int_ManProofWriteOne() : satInter.c
• Int_ManPropagate() : satInter.c
• Int_ManPropagateOne() : satInter.c
• Int_ManResize() : satInter.c
• Int_ManTruthAnd() : satInter.c
• Int_ManTruthClear() : satInter.c
• Int_ManTruthCopy() : satInter.c
• Int_ManTruthFill() : satInter.c
• Int_ManTruthOr() : satInter.c
• Int_ManTruthOrNot() : satInter.c
• Int_ManTruthRead() : satInter.c
• Int_ManWatchClause() : satInter.c
• intcpy() : set.c
• Io_BlifAlloc() : ioReadBlifAig.c
• Io_BlifCharIsSpace() : ioReadBlifAig.c
• Io_BlifCollectTokens() : ioReadBlifAig.c
• Io_BlifEstimateAndNum() : ioReadBlifAig.c
• Io_BlifEstimatePiNum() : ioReadBlifAig.c
• Io_BlifFree() : ioReadBlifAig.c
• Io_BlifGetLine() : ioReadBlifAig.c
• Io_BlifHashFindOrAdd() : ioReadBlifAig.c
• Io_BlifHashLookup() : ioReadBlifAig.c
• Io_BlifHashString() : ioReadBlifAig.c
• Io_BlifLoadFile() : ioReadBlifAig.c
• Io_BlifParse() : ioReadBlifAig.c
• Io_BlifParseConstruct() : ioReadBlifAig.c
• Io_BlifParseConstruct_rec() : ioReadBlifAig.c
• Io_BlifParseInputs() : ioReadBlifAig.c
• Io_BlifParseLatch() : ioReadBlifAig.c
• Io_BlifParseModel() : ioReadBlifAig.c
• Io_BlifParseNames() : ioReadBlifAig.c
• Io_BlifParseOutputs() : ioReadBlifAig.c
• Io_BlifParseTable() : ioReadBlifAig.c
• Io_BlifReadPreparse() : ioReadBlifAig.c
• Io_BlifSplitIntoTokens() : ioReadBlifAig.c
• Io_End() : io.c , mainInit.c
• Io_FileOpen() : io.h , ioUtil.c
• Io_Init() : io.c , mainInit.c
• Io_MvAlloc() : ioReadBlifMv.c
• Io_MvCharIsMvSymb() : ioReadBlifMv.c
• Io_MvCharIsSpace() : ioReadBlifMv.c
• Io_MvCollectTokens() : ioReadBlifMv.c
• Io_MvCountChars() : ioReadBlifMv.c
• Io_MvFindArrow() : ioReadBlifMv.c
• Io_MvFree() : ioReadBlifMv.c
• Io_MvGetLine() : ioReadBlifMv.c
• Io_MvLoadFile() : ioReadBlifMv.c
• Io_MvModAlloc() : ioReadBlifMv.c
• Io_MvModFree() : ioReadBlifMv.c
• Io_MvParse() : ioReadBlifMv.c
• Io_MvParseAddResetCircuit() : ioReadBlifMv.c
• Io_MvParseLineGateBlif() : ioReadBlifMv.c
• Io_MvParseLineInputs() : ioReadBlifMv.c
• Io_MvParseLineLatch() : ioReadBlifMv.c
• Io_MvParseLineModel() : ioReadBlifMv.c
• Io_MvParseLineMv() : ioReadBlifMv.c
• Io_MvParseLineNamesBlif() : ioReadBlifMv.c
• Io_MvParseLineNamesMv() : ioReadBlifMv.c
• Io_MvParseLineNamesMvOne() : ioReadBlifMv.c
• Io_MvParseLineOutputs() : ioReadBlifMv.c
• Io_MvParseLineSubckt() : ioReadBlifMv.c
• Io_MvParseLiteralMv() : ioReadBlifMv.c
• Io_MvParseTableBlif() : ioReadBlifMv.c
• Io_MvParseTableMv() : ioReadBlifMv.c
• Io_MvReadInterfaces() : ioReadBlifMv.c
• Io_MvReadPreparse() : ioReadBlifMv.c
• Io_MvSplitIntoTokens() : ioReadBlifMv.c
• Io_MvSplitIntoTokensAndClear() : ioReadBlifMv.c
• Io_MvSplitIntoTokensMv() : ioReadBlifMv.c
• Io_MvWriteValues() : ioReadBlifMv.c
• Io_NtkWrite() : ioWriteBlif.c
• Io_NtkWriteAsserts() : ioWriteBlif.c
• Io_NtkWriteBlifMv() : ioWriteBlifMv.c
• Io_NtkWriteBlifMvAsserts() : ioWriteBlifMv.c
• Io_NtkWriteBlifMvLatch() : ioWriteBlifMv.c
• Io_NtkWriteBlifMvNode() : ioWriteBlifMv.c
• Io_NtkWriteBlifMvNodeFanins() : ioWriteBlifMv.c
• Io_NtkWriteBlifMvOne() : ioWriteBlifMv.c
• Io_NtkWriteBlifMvPis() : ioWriteBlifMv.c
• Io_NtkWriteBlifMvPos() : ioWriteBlifMv.c
• Io_NtkWriteBlifMvSubckt() : ioWriteBlifMv.c
• Io_NtkWriteBlifMvValues() : ioWriteBlifMv.c
• Io_NtkWriteEqnCheck() : ioWriteEqn.c
• Io_NtkWriteEqnCis() : ioWriteEqn.c
• Io_NtkWriteEqnCos() : ioWriteEqn.c
• Io_NtkWriteEqnOne() : ioWriteEqn.c
• Io_NtkWriteLatch() : ioWriteBlif.c
• Io_NtkWriteNode() : ioWriteBlif.c
• Io_NtkWriteNodeFanins() : ioWriteBlif.c
• Io_NtkWriteNodeGate() : ioWriteBlif.c
• Io_NtkWriteOne() : ioWriteBlif.c
• Io_NtkWritePis() : ioWriteBlif.c
• Io_NtkWritePos() : ioWriteBlif.c
• Io_NtkWriteSubckt() : ioWriteBlif.c
• Io_ObjAigerNum() : ioWriteAiger.c
• Io_ObjMakeLit() : ioWriteAiger.c
• Io_ObjSetAigerNum() : ioWriteAiger.c
• Io_Read() : io.h , ioUtil.c
• Io_ReadAiger() : io.h , ioReadAiger.c
• Io_ReadAigerDecode() : ioReadAiger.c
• Io_ReadBaf() : io.h , ioReadBaf.c
• Io_ReadBench() : io.h , ioReadBench.c
• Io_ReadBenchInit() : ioReadBench.c
• Io_ReadBenchNetwork() : ioReadBench.c
• Io_ReadBlif() : io.h , ioReadBlif.c
• Io_ReadBlifAsAig() : ioReadBlifAig.c
• Io_ReadBlifCleanName() : ioReadBlif.c , ioReadBlifMv.c
• Io_ReadBlifFile() : ioReadBlif.c
• Io_ReadBlifFree() : ioReadBlif.c
• Io_ReadBlifGetTokens() : ioReadBlif.c
• Io_ReadBlifMv() : io.h , ioReadBlifMv.c
• Io_ReadBlifNetwork() : ioReadBlif.c
• Io_ReadBlifNetworkAsserts() : ioReadBlif.c
• Io_ReadBlifNetworkConnectBoxes() : ioReadBlif.c
• Io_ReadBlifNetworkConnectBoxesOne() : ioReadBlif.c
• Io_ReadBlifNetworkConnectBoxesOneBox() : ioReadBlif.c
• Io_ReadBlifNetworkDefaultInputArrival() : ioReadBlif.c
• Io_ReadBlifNetworkGate() : ioReadBlif.c
• Io_ReadBlifNetworkInputArrival() : ioReadBlif.c
• Io_ReadBlifNetworkInputs() : ioReadBlif.c
• Io_ReadBlifNetworkLatch() : ioReadBlif.c
• Io_ReadBlifNetworkNames() : ioReadBlif.c
• Io_ReadBlifNetworkOne() : ioReadBlif.c
• Io_ReadBlifNetworkOutputs() : ioReadBlif.c
• Io_ReadBlifNetworkSubcircuit() : ioReadBlif.c
• Io_ReadBlifPrintErrorMessage() : ioReadBlif.c
• Io_ReadCreateAssert() : io.h , ioUtil.c
• Io_ReadCreateBuf() : io.h , ioUtil.c
• Io_ReadCreateConst() : io.h , ioUtil.c
• Io_ReadCreateInv() : io.h , ioUtil.c
• Io_ReadCreateLatch() : io.h , ioUtil.c
• Io_ReadCreateNode() : io.h , ioUtil.c
• Io_ReadCreatePi() : io.h , ioUtil.c
• Io_ReadCreatePo() : io.h , ioUtil.c
• Io_ReadCreateResetLatch() : io.h , ioUtil.c
• Io_ReadCreateResetMux() : io.h
• Io_ReadDsd() : ioReadDsd.c
• Io_ReadDsd_rec() : ioReadDsd.c
• Io_ReadDsdFindEnd() : ioReadDsd.c
• Io_ReadDsdStrSplit() : ioReadDsd.c
• Io_ReadEdif() : io.h , ioReadEdif.c
• Io_ReadEdifNetwork() : ioReadEdif.c
• Io_ReadEqn() : io.h , ioReadEqn.c
• Io_ReadEqnNetwork() : ioReadEqn.c
• Io_ReadEqnStrCompact() : ioReadEqn.c
• Io_ReadEqnStrCutAt() : ioReadEqn.c
• Io_ReadEqnStrFind() : ioReadEqn.c
• Io_ReadFileRemoveComments() : mioRead.c
• Io_ReadFileType() : io.h , ioUtil.c
• Io_ReadNetlist() : io.h , ioUtil.c
• Io_ReadPla() : io.h , ioReadPla.c
• Io_ReadPlaNetwork() : ioReadPla.c
• Io_ReadVerilog() : io.h , ioReadVerilog.c
• Io_Write() : io.h , ioUtil.c
• Io_WriteAiger() : io.h , ioWriteAiger.c
• Io_WriteAigerEncode() : ioWriteAiger.c
• Io_WriteBaf() : io.h , ioWriteBaf.c
• Io_WriteBench() : io.h , ioWriteBench.c , csat_apis.c
• Io_WriteBenchCheckNames() : ioWriteBench.c
• Io_WriteBenchLut() : io.h , ioWriteBench.c
• Io_WriteBenchLutOne() : ioWriteBench.c
• Io_WriteBenchLutOneNode() : ioWriteBench.c
• Io_WriteBenchOne() : ioWriteBench.c
• Io_WriteBenchOneNode() : ioWriteBench.c
• Io_WriteBlif() : io.h , ioWriteBlif.c
• Io_WriteBlifLogic() : abcDebug.c , io.h , ioWriteBlif.c
• Io_WriteBlifMv() : io.h , ioWriteBlifMv.c
• Io_WriteCellNet() : ioWriteList.c
• Io_WriteCnf() : io.h , ioWriteCnf.c
• Io_WriteCnfOutputPiMapping() : ioWriteCnf.c
• Io_WriteDot() : io.h , ioWriteDot.c
• Io_WriteDotNtk() : io.h , ioWriteDot.c
• Io_WriteDotSeq() : io.h , ioWriteDot.c
• Io_WriteEqn() : io.h , ioWriteEqn.c
• Io_WriteGml() : io.h , ioWriteGml.c
• Io_WriteHie() : io.h , ioUtil.c
• Io_WriteList() : io.h , ioWriteList.c
• Io_WriteListEdge() : ioWriteList.c
• Io_WriteListHost() : ioWriteList.c
• Io_WritePla() : io.h , ioWritePla.c
• Io_WritePlaOne() : ioWritePla.c
• Io_WriteTimingInfo() : io.h , ioWriteBlif.c
• Io_WriteVerilog() : io.h , ioWriteVerilog.c
• Io_WriteVerilogGetName() : ioWriteVerilog.c
• Io_WriteVerilogInt() : ioWriteVerilog.c
• Io_WriteVerilogLatches() : ioWriteVerilog.c
• Io_WriteVerilogObjects() : ioWriteVerilog.c
• Io_WriteVerilogPis() : ioWriteVerilog.c
• Io_WriteVerilogPos() : ioWriteVerilog.c
• Io_WriteVerilogRegs() : ioWriteVerilog.c
• Io_WriteVerilogWires() : ioWriteVerilog.c
• Io_WriteVerilogWiresCount() : ioWriteVerilog.c
• Ioa_FileNameGeneric() : ioa.h , ioaUtil.c
• Ioa_FileSize() : ioa.h , ioaUtil.c
• Ioa_ObjAigerNum() : ioaWriteAig.c
• Ioa_ObjMakeLit() : ioaWriteAig.c
• Ioa_ObjSetAigerNum() : ioaWriteAig.c
• Ioa_ReadAiger() : ioa.h , ioaReadAig.c
• Ioa_ReadAigerDecode() : ioaReadAig.c
• Ioa_TimeStamp() : ioa.h , ioaUtil.c
• Ioa_WriteAiger() : ioa.h , ioaWriteAig.c
• Ioa_WriteAigerEncode() : ioaWriteAig.c
• IoCommandRead() : io.c
• IoCommandReadAiger() : io.c
• IoCommandReadBaf() : io.c
• IoCommandReadBench() : io.c
• IoCommandReadBlif() : io.c
• IoCommandReadBlifMv() : io.c
• IoCommandReadDsd() : io.c
• IoCommandReadEdif() : io.c
• IoCommandReadEqn() : io.c
• IoCommandReadInit() : io.c
• IoCommandReadPla() : io.c
• IoCommandReadTruth() : io.c
• IoCommandReadVer() : io.c
• IoCommandReadVerilog() : io.c
• IoCommandReadVerLib() : io.c
• IoCommandWrite() : io.c
• IoCommandWriteAiger() : io.c
• IoCommandWriteBaf() : io.c
• IoCommandWriteBench() : io.c
• IoCommandWriteBlif() : io.c
• IoCommandWriteBlifMv() : io.c
• IoCommandWriteCellNet() : io.c
• IoCommandWriteCnf() : io.c
• IoCommandWriteCounter() : io.c
• IoCommandWriteDot() : io.c
• IoCommandWriteEqn() : io.c
• IoCommandWriteGml() : io.c
• IoCommandWriteHie() : io.c
• IoCommandWriteList() : io.c
• IoCommandWritePla() : io.c
• IoCommandWriteVerilog() : io.c
• IoCommandWriteVerLib() : io.c
• irand() : satSolver.c , msatSort.c
• irred_derive_table() : espresso.h , irred.c
• irred_gasp() : espresso.h , gasp.c
• irred_split_cover() : espresso.h , irred.c
• irredundant() : espresso.h , irred.c
• IsInfDouble() : epd.c , epd.h
• IsNanDouble() : epd.c , epd.h
• IsNanOrInfDouble() : epd.c , epd.h
• itoa() : stdlib_hack.h
• Ivy_And() : ivy.h , ivyOper.c
• Ivy_BitWordNum() : ivy.h
• Ivy_CanonAnd() : ivyCanon.c , ivy.h
• Ivy_CanonExor() : ivy.h , ivyCanon.c
• Ivy_CanonLatch() : ivy.h , ivyCanon.c
• Ivy_CanonPair_rec() : ivyCanon.c
• Ivy_CompareNodesByLevel() : ivyCutTrav.c
• Ivy_CutCheckDominance() : ivyCut.c , ivySeq.c
• Ivy_CutCompactAll() : ivySeq.c
• Ivy_CutComputeAll() : ivySeq.c
• Ivy_CutComputeForNode() : ivySeq.c
• Ivy_CutDeriveNew() : ivySeq.c
• Ivy_CutDeriveNew2() : ivySeq.c
• Ivy_CutDeriveNew3() : ivySeq.c
• Ivy_CutFindOrAddFilter() : ivySeq.c
• Ivy_CutGetTruth() : ivySeq.c
• Ivy_CutGetTruth_rec() : ivySeq.c
• Ivy_CutHashValue() : ivySeq.c
• Ivy_CutPrescreen() : ivySeq.c
• Ivy_CutPrintForNode() : ivySeq.c
• Ivy_CutPrintForNodes() : ivySeq.c
• Ivy_CutReadLeaf() : ivySeq.c
• Ivy_CutTruthPrint() : ivy.h , ivyUtil.c
• Ivy_CutTruthPrint2() : ivyUtil.c
• Ivy_DecClear() : ivyDsd.c
• Ivy_DecGetVar() : ivyDsd.c
• Ivy_DecSetVar() : ivyDsd.c
• Ivy_DecToInt() : ivyDsd.c
• Ivy_EdgeCreate() : ivy.h
• Ivy_EdgeFromNode() : ivy.h
• Ivy_EdgeId() : ivy.h
• Ivy_EdgeIsComplement() : ivy.h
• Ivy_EdgeNot() : ivy.h
• Ivy_EdgeNotCond() : ivy.h
• Ivy_EdgeRegular() : ivy.h
• Ivy_EdgeToNode() : ivy.h
• Ivy_Exor() : ivyOper.c , ivy.h
• Ivy_FastMapArea() : ivyFastMap.c
• Ivy_FastMapArea_rec() : ivyFastMap.c
• Ivy_FastMapCutCost() : ivyFastMap.c
• Ivy_FastMapDelay() : ivyFastMap.c
• Ivy_FastMapMark_rec() : ivyFastMap.c
• Ivy_FastMapMerge() : ivyFastMap.c
• Ivy_FastMapNode() : ivyFastMap.c
• Ivy_FastMapNodeArea() : ivyFastMap.c
• Ivy_FastMapNodeArea2() : ivyFastMap.c
• Ivy_FastMapNodeAreaDerefed() : ivyFastMap.c
• Ivy_FastMapNodeAreaRefed() : ivyFastMap.c
• Ivy_FastMapNodeDelay() : ivyFastMap.c
• Ivy_FastMapNodeDeref() : ivyFastMap.c
• Ivy_FastMapNodeFaninCompact() : ivyFastMap.c
• Ivy_FastMapNodeFaninCompact0() : ivyFastMap.c
• Ivy_FastMapNodeFaninCompact1() : ivyFastMap.c
• Ivy_FastMapNodeFaninCompact2() : ivyFastMap.c
• Ivy_FastMapNodeFaninCompact_int() : ivyFastMap.c
• Ivy_FastMapNodeFaninCost() : ivyFastMap.c
• Ivy_FastMapNodeFaninUpdate() : ivyFastMap.c
• Ivy_FastMapNodePrepare() : ivyFastMap.c
• Ivy_FastMapNodeRecover() : ivyFastMap.c
• Ivy_FastMapNodeRecover2() : ivyFastMap.c
• Ivy_FastMapNodeRecover4() : ivyFastMap.c
• Ivy_FastMapNodeRef() : ivyFastMap.c
• Ivy_FastMapNodeUpdate() : ivyFastMap.c
• Ivy_FastMapNodeWillGrow() : ivyFastMap.c
• Ivy_FastMapPerform() : ivy.h , ivyFastMap.c
• Ivy_FastMapPrint() : ivyFastMap.c
• Ivy_FastMapReadSupp() : ivy.h , ivyFastMap.c
• Ivy_FastMapRecover() : ivyFastMap.c
• Ivy_FastMapRequired() : ivyFastMap.c
• Ivy_FastMapRequired_rec() : ivyFastMap.c
• Ivy_FastMapReverseLevel() : ivy.h
• Ivy_FastMapStop() : ivy.h , ivyFastMap.c
• Ivy_FraigAddClass() : ivyFraig.c
• Ivy_FraigAddClausesMux() : ivyFraig.c
• Ivy_FraigAddClausesSuper() : ivyFraig.c
• Ivy_FraigAddToPatScores() : ivyFraig.c
• Ivy_FraigAnd() : ivyFraig.c
• Ivy_FraigAssignDist1() : ivyFraig.c
• Ivy_FraigAssignRandom() : ivyFraig.c
• Ivy_FraigCheckOutputSims() : ivyFraig.c
• Ivy_FraigCheckOutputSimsSavePattern() : ivyFraig.c
• Ivy_FraigCleanPatScores() : ivyFraig.c
• Ivy_FraigCollectSuper() : ivyFraig.c
• Ivy_FraigCollectSuper_rec() : ivyFraig.c
• Ivy_FraigCountClassNodes() : ivyFraig.c
• Ivy_FraigCountPairsClasses() : ivyFraig.c
• Ivy_FraigCreateClasses() : ivyFraig.c
• Ivy_FraigCreateModel() : ivyFraig.c
• Ivy_FraigInsertClass() : ivyFraig.c
• Ivy_FraigMiter() : ivyFraig.c , ivy.h
• Ivy_FraigMiterPrint() : ivyFraig.c
• Ivy_FraigMiterProve() : ivyFraig.c
• Ivy_FraigMiterStatus() : ivyFraig.c
• Ivy_FraigNodeAddToSolver() : ivyFraig.c
• Ivy_FraigNodeIsConst() : ivyFraig.c
• Ivy_FraigNodesAreEquiv() : ivyFraig.c
• Ivy_FraigNodesAreEquivBdd() : ivyFraig.c
• Ivy_FraigNodesAreEquivBdd_int() : ivyFraig.c
• Ivy_FraigObjAddToFrontier() : ivyFraig.c
• Ivy_FraigParamsDefault() : ivy.h , ivyFraig.c
• Ivy_FraigPerform() : ivy.h , ivyFraig.c
• Ivy_FraigPerform_int() : ivyFraig.c
• Ivy_FraigPrint() : ivyFraig.c
• Ivy_FraigPrintActivity() : ivyFraig.c
• Ivy_FraigPrintClass() : ivyFraig.c
• Ivy_FraigPrintSimClasses() : ivyFraig.c
• Ivy_FraigProve() : ivy.h , ivyFraig.c
• Ivy_FraigRefineClass_rec() : ivyFraig.c
• Ivy_FraigRefineClasses() : ivyFraig.c
• Ivy_FraigRemoveClass() : ivyFraig.c
• Ivy_FraigResimulate() : ivyFraig.c
• Ivy_FraigSavePattern() : ivyFraig.c
• Ivy_FraigSavePattern0() : ivyFraig.c
• Ivy_FraigSavePattern1() : ivyFraig.c
• Ivy_FraigSavePattern2() : ivyFraig.c
• Ivy_FraigSavePattern3() : ivyFraig.c
• Ivy_FraigSelectBestPat() : ivyFraig.c
• Ivy_FraigSetActivityFactors() : ivyFraig.c
• Ivy_FraigSetActivityFactors_rec() : ivyFraig.c
• Ivy_FraigSimulate() : ivyFraig.c
• Ivy_FraigSimulateOne() : ivyFraig.c
• Ivy_FraigSimulateOneSim() : ivyFraig.c
• Ivy_FraigStart() : ivyFraig.c
• Ivy_FraigStartSimple() : ivyFraig.c
• Ivy_FraigStop() : ivyFraig.c
• Ivy_FraigSweep() : ivyFraig.c
• Ivy_GraphPrepare() : ivySeq.c
• Ivy_GraphToNetwork() : ivyRwr.c
• Ivy_GraphToNetworkCount() : ivyRwr.c
• Ivy_GraphToNetworkSeq() : ivySeq.c
• Ivy_GraphToNetworkSeqCountSeq() : ivySeq.c
• Ivy_GraphUpdateNetwork() : ivyRwr.c
• Ivy_GraphUpdateNetwork3() : ivyRwr.c
• Ivy_GraphUpdateNetworkSeq() : ivySeq.c
• Ivy_HaigObjCountClass() : ivyHaig.c
• Ivy_HaigObjRepr() : ivyHaig.c
• Ivy_Hash() : ivyTable.c
• Ivy_InfoHasBit() : ivy.h
• Ivy_InfoSetBit() : ivy.h
• Ivy_InfoXorBit() : ivy.h
• Ivy_InitAnd() : ivy.h
• Ivy_InitExor() : ivy.h
• Ivy_InitNotCond() : ivy.h
• Ivy_IntToDec() : ivyDsd.c
• Ivy_IsComplement() : ivy.h
• Ivy_Latch() : ivyOper.c , ivy.h
• Ivy_LeafCreate() : ivy.h
• Ivy_LeafId() : ivy.h
• Ivy_LeafLat() : ivy.h
• Ivy_Maj() : ivy.h , ivyOper.c
• Ivy_ManAddMemory() : ivyMem.c
• Ivy_ManAndNum() : ivy.h
• Ivy_ManAssertNum() : ivy.h
• Ivy_ManBalance() : ivy.h , ivyBalance.c
• Ivy_ManBufNum() : ivy.h
• Ivy_ManCheck() : ivy.h , ivyCheck.c
• Ivy_ManCheckChoices() : ivy.h , ivyCheck.c
• Ivy_ManCheckFanoutNums() : ivy.h , ivyCheck.c
• Ivy_ManCheckFanouts() : ivy.h , ivyCheck.c
• Ivy_ManCleanTravId() : ivy.h , ivyUtil.c
• Ivy_ManCleanup() : ivy.h , ivyMan.c
• Ivy_ManCleanupSeq() : ivyMan.c
• Ivy_ManCleanupSeq_rec() : ivyMan.c
• Ivy_ManCollectCone() : ivy.h , ivyDfs.c
• Ivy_ManCollectCone_rec() : ivyDfs.c
• Ivy_ManCollectCut() : ivy.h , ivyUtil.c
• Ivy_ManCollectCut_rec() : ivyUtil.c
• Ivy_ManConst0() : ivy.h
• Ivy_ManConst1() : ivy.h
• Ivy_ManCutTruth() : ivy.h , ivyUtil.c
• Ivy_ManCutTruthOne() : ivyUtil.c
• Ivy_ManDfs() : ivy.h , ivyDfs.c
• Ivy_ManDfs_rec() : ivyDfs.c
• Ivy_ManDfsSeq() : ivy.h , ivyDfs.c
• Ivy_ManDsdConstruct() : ivy.h , ivyDsd.c
• Ivy_ManDsdConstruct_rec() : ivyDsd.c
• Ivy_ManDup() : ivy.h , ivyMan.c
• Ivy_ManExorNum() : ivy.h
• Ivy_ManFetchMemory() : ivy.h
• Ivy_ManFindAlgCut() : ivyRwrAlg.c
• Ivy_ManFindAlgCut_rec() : ivyRwrAlg.c
• Ivy_ManFindAlgCutCompare() : ivyRwrAlg.c
• Ivy_ManFindBoolCut() : ivyCut.c
• Ivy_ManFindBoolCut_rec() : ivyCut.c
• Ivy_ManFindBoolCutCost() : ivyCut.c
• Ivy_ManFpgaToAbc() : abcFpgaFast.c
• Ivy_ManFrames() : ivyMan.c , ivy.h
• Ivy_ManGetCost() : ivy.h
• Ivy_ManGhost() : ivy.h
• Ivy_ManHaigCountChoices() : ivyHaig.c
• Ivy_ManHaigCreateChoice() : ivyHaig.c , ivy.h
• Ivy_ManHaigCreateObj() : ivy.h , ivyHaig.c
• Ivy_ManHaigPostprocess() : ivy.h , ivyHaig.c
• Ivy_ManHaigSimulate() : ivyHaig.c , ivy.h
• Ivy_ManHaigSimulateAnd() : ivyHaig.c
• Ivy_ManHaigSimulateChoice() : ivyHaig.c
• Ivy_ManHaigStart() : ivy.h , ivyHaig.c
• Ivy_ManHaigStop() : ivyHaig.c , ivy.h
• Ivy_ManHaigTrasfer() : ivyHaig.c , ivy.h
• Ivy_ManHashObjNum() : ivy.h
• Ivy_ManIncrementTravId() : ivyUtil.c , ivy.h
• Ivy_ManIsAcyclic() : ivy.h , ivyDfs.c
• Ivy_ManIsAcyclic_rec() : ivyDfs.c
• Ivy_ManLatches() : ivy.h , ivyUtil.c
• Ivy_ManLatchIsSelfFeed() : ivyMan.c
• Ivy_ManLatchIsSelfFeed_rec() : ivyMan.c
• Ivy_ManLatchNum() : ivy.h
• Ivy_ManLevelize() : ivyDfs.c , ivy.h
• Ivy_ManLevels() : ivy.h , ivyUtil.c
• Ivy_ManMakeSeq() : ivy.h , ivyMan.c
• Ivy_ManNodeNum() : ivy.h
• Ivy_ManObj() : ivy.h
• Ivy_ManObjIdMax() : ivy.h
• Ivy_ManObjNum() : ivy.h
• Ivy_ManPi() : ivy.h
• Ivy_ManPiNum() : ivy.h
• Ivy_ManPo() : ivy.h
• Ivy_ManPoNum() : ivy.h
• Ivy_ManPrintStats() : ivyMan.c , ivy.h
• Ivy_ManPrintVerbose() : ivyUtil.c , ivy.h
• Ivy_ManPropagateBuffers() : ivy.h , ivyMan.c
• Ivy_ManRecycleMemory() : ivy.h
• Ivy_ManRequiredLevels() : ivyDfs.c , ivy.h
• Ivy_ManResetLevels() : ivy.h , ivyUtil.c
• Ivy_ManResetLevels_rec() : ivyUtil.c
• Ivy_ManResyn() : ivyResyn.c , ivy.h
• Ivy_ManResyn0() : ivy.h , ivyResyn.c
• Ivy_ManRewriteAlg() : ivyRwrAlg.c , ivy.h
• Ivy_ManRewritePre() : ivyRwr.c , ivy.h
• Ivy_ManRewriteSeq() : ivySeq.c , ivy.h
• Ivy_ManRwsat() : ivy.h , ivyResyn.c
• Ivy_ManSeqFindCut() : ivyCut.c , ivy.h
• Ivy_ManSeqFindCut_int() : ivyCut.c
• Ivy_ManSeqRewrite() : ivy.h
• Ivy_ManSetLevels() : ivyDfs.c , ivy.h
• Ivy_ManSetLevels_rec() : ivyDfs.c
• Ivy_ManShow() : ivyShow.c , ivy.h
• Ivy_ManStart() : ivy.h , ivyMan.c
• Ivy_ManStartFanout() : ivy.h , ivyFanout.c
• Ivy_ManStartFrom() : ivy.h , ivyMan.c
• Ivy_ManStartMemory() : ivy.h , ivyMem.c
• Ivy_ManStop() : ivy.h , ivyMan.c
• Ivy_ManStopFanout() : ivy.h , ivyFanout.c
• Ivy_ManStopMemory() : ivy.h , ivyMem.c
• Ivy_ManTestCutsAll() : ivyCut.c
• Ivy_ManTestCutsBool() : ivyCut.c
• Ivy_ManTestCutsTravAll() : ivyCutTrav.c
• Ivy_ManToAbcFast_rec() : abcFpgaFast.c
• Ivy_Miter() : ivy.h , ivyOper.c
• Ivy_Multi() : ivyMulti8.c , ivy.h , ivyOper.c
• Ivy_Multi1() : ivy.h , ivyMulti8.c
• Ivy_Multi2() : ivyMulti8.c
• Ivy_Multi_rec() : ivyMulti8.c , ivyOper.c , ivy.h
• Ivy_MultiBalance_rec() : ivy.h , ivyMulti8.c
• Ivy_MultiBuild_rec() : ivyMulti8.c
• Ivy_MultiCover() : ivyMulti.c
• Ivy_MultiEval() : ivyMulti8.c
• Ivy_MultiPlus() : ivy.h , ivyMulti.c
• Ivy_MultiPrint() : ivyMulti.c
• Ivy_MultiPushUniqueOrderByLevel() : ivyMulti8.c
• Ivy_MultiSort() : ivyMulti8.c
• Ivy_MultiWeight() : ivyMulti.c
• Ivy_Mux() : ivyOper.c , ivy.h
• Ivy_NodeAddToClass() : ivyFraig.c
• Ivy_NodeAssignConst() : ivyFraig.c
• Ivy_NodeAssignRandom() : ivyFraig.c
• Ivy_NodeBalance_rec() : ivyBalance.c
• Ivy_NodeBalanceBuildSuper() : ivy.h , ivyBalance.c
• Ivy_NodeBalanceCone() : ivyBalance.c
• Ivy_NodeBalanceCone_rec() : ivyBalance.c
• Ivy_NodeBalanceFindLeft() : ivyBalance.c
• Ivy_NodeBalancePermute() : ivyBalance.c
• Ivy_NodeBalancePushUniqueOrderByLevel() : ivyBalance.c
• Ivy_NodeCompactCuts() : ivyCut.c
• Ivy_NodeCompareLevelsDecrease() : ivyBalance.c
• Ivy_NodeCompareSims() : ivyFraig.c
• Ivy_NodeComplementSim() : ivyFraig.c
• Ivy_NodeComputeVolume() : ivyCutTrav.c
• Ivy_NodeComputeVolume2() : ivyCutTrav.c
• Ivy_NodeComputeVolumeTrav1_rec() : ivyCutTrav.c
• Ivy_NodeComputeVolumeTrav2_rec() : ivyCutTrav.c
• Ivy_NodeCountMffc() : ivyRwrAlg.c
• Ivy_NodeCountMffc_rec() : ivyRwrAlg.c
• Ivy_NodeCutDeriveNew() : ivyCut.c
• Ivy_NodeCutElementary() : ivyCutTrav.c
• Ivy_NodeCutExtend() : ivyCut.c
• Ivy_NodeCutFindOrAdd() : ivyCut.c
• Ivy_NodeCutFindOrAddFilter() : ivyCut.c
• Ivy_NodeCutHash() : ivyCut.c , ivySeq.c
• Ivy_NodeCutHashValue() : ivyCut.c
• Ivy_NodeCutPrescreen() : ivyCut.c
• Ivy_NodeCutShrink() : ivyCut.c
• Ivy_NodeFindCutsAll() : ivyCut.c , ivy.h
• Ivy_NodeFindCutsMerge() : ivyCutTrav.c
• Ivy_NodeFindCutsTravAll() : ivyCutTrav.c
• Ivy_NodeFixBufferFanins() : ivyObj.c , ivy.h
• Ivy_NodeGetLeafCostOne() : ivyCut.c
• Ivy_NodeGetTruth() : ivyRwr.c
• Ivy_NodeGetTruth_rec() : ivyRwr.c
• Ivy_NodeHash() : ivyFraig.c
• Ivy_NodeHasZeroSim() : ivyFraig.c
• Ivy_NodePrintCut() : ivyCut.c
• Ivy_NodePrintCuts() : ivyCut.c
• Ivy_NodeRewrite() : ivyRwr.c
• Ivy_NodeRewriteAlg() : ivyRwrAlg.c
• Ivy_NodeRewriteSeq() : ivySeq.c
• Ivy_NodeSimulate() : ivyFraig.c
• Ivy_NodeSimulateSim() : ivyFraig.c
• Ivy_Not() : ivy.h
• Ivy_NotCond() : ivy.h
• Ivy_ObjAddFanout() : ivyFanout.c , ivy.h
• Ivy_ObjChild0() : ivy.h
• Ivy_ObjChild0Equiv() : ivy.h
• Ivy_ObjChild1() : ivy.h
• Ivy_ObjChild1Equiv() : ivy.h
• Ivy_ObjClassNodeLast() : ivyFraig.c
• Ivy_ObjClassNodeNext() : ivyFraig.c
• Ivy_ObjClassNodeRepr() : ivyFraig.c
• Ivy_ObjClean() : ivy.h
• Ivy_ObjClearMarkA() : ivy.h
• Ivy_ObjCollectFanouts() : ivy.h , ivyFanout.c
• Ivy_ObjConnect() : ivyObj.c , ivy.h
• Ivy_ObjCreate() : ivy.h , ivyObj.c
• Ivy_ObjCreateGhost() : ivy.h
• Ivy_ObjCreatePi() : ivyObj.c , ivy.h
• Ivy_ObjCreatePo() : ivy.h , ivyObj.c
• Ivy_ObjDelete() : ivyObj.c , ivy.h
• Ivy_ObjDelete_rec() : ivyObj.c , ivy.h
• Ivy_ObjDeleteFanout() : ivyFanout.c , ivy.h
• Ivy_ObjDisconnect() : ivy.h , ivyObj.c
• Ivy_ObjEquiv() : ivy.h
• Ivy_ObjEquivListNext() : ivyFraig.c
• Ivy_ObjEquivListPrev() : ivyFraig.c
• Ivy_ObjExorFanout() : ivy.h
• Ivy_ObjFanin0() : ivy.h
• Ivy_ObjFanin1() : ivy.h
• Ivy_ObjFaninC0() : ivy.h
• Ivy_ObjFaninC1() : ivy.h
• Ivy_ObjFaninId0() : ivy.h
• Ivy_ObjFaninId1() : ivy.h
• Ivy_ObjFaninPhase() : ivy.h
• Ivy_ObjFaninVec() : ivyFraig.c
• Ivy_ObjFanoutC() : ivy.h
• Ivy_ObjFanoutNum() : ivyFanout.c , ivy.h
• Ivy_ObjFraig() : ivyFraig.c
• Ivy_ObjGetTruthStore() : ivyUtil.c
• Ivy_ObjId() : ivy.h
• Ivy_ObjInit() : ivy.h
• Ivy_ObjIsAnd() : ivy.h
• Ivy_ObjIsAssert() : ivy.h
• Ivy_ObjIsBuf() : ivy.h
• Ivy_ObjIsCi() : ivy.h
• Ivy_ObjIsCo() : ivy.h
• Ivy_ObjIsConst1() : ivy.h
• Ivy_ObjIsExor() : ivy.h
• Ivy_ObjIsExorType() : ivyOper.c
• Ivy_ObjIsGhost() : ivy.h
• Ivy_ObjIsHash() : ivy.h
• Ivy_ObjIsInTfi_rec() : ivyHaig.c
• Ivy_ObjIsLatch() : ivy.h
• Ivy_ObjIsMarkA() : ivy.h
• Ivy_ObjIsMuxType() : ivyUtil.c , ivy.h
• Ivy_ObjIsNode() : ivy.h
• Ivy_ObjIsNodeInt1() : ivyFastMap.c
• Ivy_ObjIsNodeInt2() : ivyFastMap.c
• Ivy_ObjIsNone() : ivy.h
• Ivy_ObjIsOneFanin() : ivy.h
• Ivy_ObjIsPi() : ivy.h
• Ivy_ObjIsPo() : ivy.h
• Ivy_ObjIsTerm() : ivy.h
• Ivy_ObjIsTravIdCurrent() : ivy.h
• Ivy_ObjIsTravIdPrevious() : ivy.h
• Ivy_ObjLevel() : ivy.h
• Ivy_ObjLevelNew() : ivy.h
• Ivy_ObjLevelRNew() : ivyUtil.c
• Ivy_ObjMffcLabel() : ivyUtil.c , ivy.h
• Ivy_ObjNextFanout() : ivyFanout.c
• Ivy_ObjNextFanoutPlace() : ivyFanout.c
• Ivy_ObjNextPrevFanoutPlace() : ivyFanout.c
• Ivy_ObjNodeHashNext() : ivyFraig.c
• Ivy_ObjOverwrite() : ivy.h
• Ivy_ObjPatchFanin0() : ivy.h , ivyObj.c
• Ivy_ObjPatchFanout() : ivyFanout.c , ivy.h
• Ivy_ObjPhase() : ivy.h
• Ivy_ObjPrevFanout() : ivyFanout.c
• Ivy_ObjPrevFanoutPlace() : ivyFanout.c
• Ivy_ObjPrevNextFanoutPlace() : ivyFanout.c
• Ivy_ObjPrintVerbose() : ivy.h , ivyUtil.c
• Ivy_ObjRandomSim() : ivyFraig.c
• Ivy_ObjReadFirstFanout() : ivy.h , ivyFanout.c
• Ivy_ObjReal() : ivyUtil.c , ivy.h
• Ivy_ObjRealFanin() : ivyCut.c
• Ivy_ObjRecognizeMux() : ivy.h , ivyUtil.c
• Ivy_ObjRefDeref() : ivyUtil.c
• Ivy_ObjRefs() : ivy.h
• Ivy_ObjRefsDec() : ivy.h
• Ivy_ObjRefsInc() : ivy.h
• Ivy_ObjReplace() : ivyObj.c , ivy.h
• Ivy_ObjSatNum() : ivyFraig.c
• Ivy_ObjSetClassNodeLast() : ivyFraig.c
• Ivy_ObjSetClassNodeNext() : ivyFraig.c
• Ivy_ObjSetClassNodeRepr() : ivyFraig.c
• Ivy_ObjSetEquivListNext() : ivyFraig.c
• Ivy_ObjSetEquivListPrev() : ivyFraig.c
• Ivy_ObjSetFaninVec() : ivyFraig.c
• Ivy_ObjSetFraig() : ivyFraig.c
• Ivy_ObjSetMarkA() : ivy.h
• Ivy_ObjSetNodeHashNext() : ivyFraig.c
• Ivy_ObjSetSatNum() : ivyFraig.c
• Ivy_ObjSetSim() : ivyFraig.c
• Ivy_ObjSetTravId() : ivy.h
• Ivy_ObjSetTravIdCurrent() : ivy.h
• Ivy_ObjSetTravIdPrevious() : ivy.h
• Ivy_ObjSim() : ivyFraig.c
• Ivy_ObjSupp() : ivyFastMap.c
• Ivy_ObjSuppStart() : ivyFastMap.c
• Ivy_ObjTravId() : ivy.h
• Ivy_ObjType() : ivy.h
• Ivy_ObjUpdateLevel_rec() : ivyUtil.c , ivy.h
• Ivy_ObjUpdateLevelR_rec() : ivy.h , ivyUtil.c
• Ivy_ObjWhatFanin() : ivy.h
• Ivy_Oper() : ivy.h , ivyOper.c
• Ivy_Or() : ivyOper.c , ivy.h
• Ivy_Regular() : ivy.h
• Ivy_TableCountEntries() : ivyTable.c , ivy.h
• Ivy_TableDelete() : ivy.h , ivyTable.c
• Ivy_TableFind() : ivyTable.c
• Ivy_TableInsert() : ivyTable.c , ivy.h
• Ivy_TableLookup() : ivy.h , ivyTable.c
• Ivy_TableLookupPair_rec() : ivyCanon.c
• Ivy_TableProfile() : ivyTable.c , ivy.h
• Ivy_TableResize() : ivyTable.c
• Ivy_TableUpdate() : ivyTable.c , ivy.h
• Ivy_TruthCofactor() : ivyDsd.c
• Ivy_TruthCofactor2() : ivyDsd.c
• Ivy_TruthCofactorIsConst() : ivyDsd.c
• Ivy_TruthCofactorIsOne() : ivyDsd.c
• Ivy_TruthDecompose_rec() : ivyDsd.c
• Ivy_TruthDepends() : ivyDsd.c
• Ivy_TruthDsd() : ivy.h , ivyDsd.c
• Ivy_TruthDsdCompute() : ivy.h , ivyDsd.c
• Ivy_TruthDsdCompute_rec() : ivyDsd.c
• Ivy_TruthDsdComputePrint() : ivyDsd.c , ivy.h
• Ivy_TruthDsdPrint() : ivyDsd.c , ivy.h
• Ivy_TruthDsdPrint_rec() : ivyDsd.c
• Ivy_TruthRecognizeMuxMaj() : ivyDsd.c
• Ivy_TruthTest() : ivyDsd.c
• Ivy_TruthTest3() : ivyDsd.c
• Ivy_TruthTest5() : ivyDsd.c
• Ivy_TruthTestOne() : ivyDsd.c
• Ivy_TruthWordCountOnes() : ivyDsd.c
• Ivy_TruthWordNum() : ivy.h
• Ivy_WriteDotAig() : ivyShow.c