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

- i -

• ID : build.h
• Id_DsdManTuneStr() : if.h, ifDsd.c
• Id_DsdManTuneStr1() : ifDsd.c
• Id_DsdManTuneThresh() : if.h
• IDENTIFIER : cadical_version.cpp
• IDX : literal.h
• IeeeDouble : epd.h
• IeeeNan : epd.h
• if() : sparse_int.h
• IF_AND : if.h
• IF_BIG_CHAR : if.h
• If_Box_t : if.h
• If_BoxDup() : ifLibBox.c
• If_BoxFree() : ifLibBox.c
• If_BoxStart() : if.h, ifLibBox.c
• IF_CI : if.h
• If_CluChangePhase() : ifDec16.c
• If_CluCheck() : ifDec16.c
• If_CluCheck3() : ifDec16.c
• If_CluCheckDecIn() : ifDec16.c
• If_CluCheckDecInAny() : ifDec16.c
• If_CluCheckDecInU() : ifDec16.c
• If_CluCheckDecOut() : ifDec16.c
• If_CluCheckDecOutU() : ifDec16.c
• If_CluCheckExt() : if.h, ifDec16.c
• If_CluCheckExt3() : if.h, ifDec16.c
• If_CluCheckGroup() : ifDec16.c
• If_CluCheckNonDisjointGroup() : ifDec16.c
• If_CluCheckPerm() : ifDec16.c
• If_CluCheckXX() : ifDec66.c
• If_CluCheckXXExt() : if.h, ifDec66.c
• If_CluCofactors() : ifDec16.c
• If_CluCountCofs() : ifDec16.c
• If_CluCountCofs4() : ifDec16.c
• If_CluCountOnesInCofs() : ifDec16.c
• If_CluDecUsingCofs() : ifDec16.c
• If_CluDelayMax() : ifDec16.c
• If_CluDeriveDisjoint() : ifDec16.c
• If_CluDeriveDisjoint4() : ifDec16.c
• If_CluDeriveNonDisjoint() : ifDec16.c
• If_CluDetectSpecialCaseCofs() : ifDec16.c
• If_CluFindGroup() : ifDec16.c
• If_CluHashFindMedian() : ifDec16.c
• If_CluHashFindMedian2() : ifDec66.c
• If_CluHashKey() : ifDec16.c
• If_CluHashKey2() : ifDec66.c
• If_CluHashLookup() : ifDec16.c
• If_CluHashLookup2() : ifDec66.c
• If_CluHashPrintStats() : ifDec16.c
• If_CluHashTableCheck() : ifDec16.c
• If_CluInitTruthTables() : ifDec16.c
• If_CluMinimumBase() : ifDec16.c
• If_CluMoveGroupToMsb() : ifDec16.c
• If_CluMoveVar() : ifDec16.c
• If_CluMoveVar2() : ifDec16.c
• If_CluPrimeCudd() : ifDec16.c
• If_CluPrimeCudd2() : ifDec66.c
• If_CluPrintConfig() : ifDec16.c
• If_CluPrintGroup() : ifDec16.c
• If_CluReverseOrder() : ifDec16.c
• If_CluReverseOrder_old() : ifDec16.c
• If_CluSemiCanonicize() : ifDec16.c
• If_CluSemiCanonicizeVerify() : ifDec16.c
• If_CluSupportSize() : ifDec16.c
• If_CluSwapVars() : ifDec16.c
• If_CluTest() : ifDec16.c
• If_CluVerify() : ifDec16.c
• If_CluVerify3() : ifDec16.c
• IF_CO : if.h
• IF_CONST1 : if.h
• IF_COST_MAX : if.h
• If_Cut_t : if.h
• If_CutAreaDeref() : if.h, ifCut.c
• If_CutAreaDerefed() : if.h, ifCut.c
• If_CutAreaFlow() : if.h, ifCut.c
• If_CutAreaRef() : if.h, ifCut.c
• If_CutAreaRefed() : if.h, ifCut.c
• If_CutArrTimeProfile() : if.h, ifMap.c
• If_CutAverageRefs() : if.h, ifCut.c
• If_CutCheck() : if.h, ifCut.c
• If_CutCheckTruth6() : if.h, ifTruth.c
• If_CutCompareArea() : ifCut.c
• If_CutCompareDelay() : ifCut.c
• If_CutCompareDelayOld() : ifCut.c
• If_CutComputeTruth() : if.h, ifTruth.c
• If_CutComputeTruthPerm() : if.h, ifTruth.c
• If_CutComputeTruthPerm_int() : ifTruth.c
• If_CutCountTotalFanins() : ifCut.c
• If_CutDelay() : if.h, ifTime.c
• If_CutDelayLutStruct() : if.h, ifDec16.c
• If_CutDelayRecCost3() : abcRec3.c, ifMap.c
• If_CutDelaySop() : if.h, ifDelay.c
• If_CutDelaySpecial() : ifMap.c
• If_CutDsdBalanceEval() : if.h, ifDsd.c
• If_CutDsdBalanceEval_rec() : ifDsd.c
• If_CutDsdBalanceEvalInt() : ifDsd.c
• If_CutDsdBalancePinDelays() : if.h, ifDsd.c
• If_CutDsdBalancePinDelays_rec() : ifDsd.c
• If_CutDsdPermLitMax() : ifDsd.c
• If_CutEdgeDeref() : if.h, ifCut.c
• If_CutEdgeDerefed() : if.h, ifCut.c
• If_CutEdgeFlow() : if.h, ifCut.c
• If_CutEdgeRef() : if.h, ifCut.c
• If_CutEdgeRefed() : if.h, ifCut.c
• If_CutFilter() : if.h, ifCut.c
• If_CutFilter2() : ifCut.c
• If_CutFilter2_rec() : ifCut.c
• If_CutForEachLeaf : if.h
• If_CutForEachLeafReverse : if.h
• If_CutForEachLeafSeq : if.h
• If_CutFoundFanins_rec() : ifCut.c
• If_CutGetCone_rec() : ifCut.c
• If_CutGetCones() : ifCut.c
• If_CutGetCutMinLevel() : ifCut.c
• If_CutLift() : if.h, ifCut.c
• If_CutLutBalanceEval() : if.h, ifDelay.c
• If_CutLutBalancePinDelays() : if.h, ifDelay.c
• If_CutMerge() : if.h, ifCut.c
• If_CutMergeOrdered() : if.h, ifCut.c
• If_CutMergeOrdered_() : ifCut.c
• If_CutOrder() : if.h, ifCut.c
• If_CutPerformCheck07() : if.h, ifDec07.c
• If_CutPerformCheck08() : if.h, ifDec08.c
• If_CutPerformCheck10() : if.h, ifDec10.c
• If_CutPerformCheck16() : if.h, ifDec16.c
• If_CutPerformCheck45() : if.h, ifDec16.c
• If_CutPerformCheck54() : if.h, ifDec16.c
• If_CutPerformCheck75() : if.h, ifDec75.c
• If_CutPerformCheck75__() : ifDec75.c
• If_CutPerformCheckXX() : if.h, ifDec66.c
• If_CutPerformDerive07() : if.h, ifDec07.c
• If_CutPowerDeref() : if.h, ifCut.c
• If_CutPowerDerefed() : if.h, ifCut.c
• If_CutPowerFlow() : if.h, ifCut.c
• If_CutPowerRef() : if.h, ifCut.c
• If_CutPowerRefed() : if.h, ifCut.c
• If_CutPrint() : if.h, ifCut.c
• If_CutPrintTiming() : if.h, ifCut.c
• If_CutPropagateRequired() : if.h, ifTime.c
• If_CutRotatePins() : if.h, ifTruth.c
• If_CutSopBalanceEval() : if.h, ifDelay.c
• If_CutSopBalanceEvalInt() : if.h, ifDelay.c
• If_CutSopBalanceEvalIntInt() : ifDelay.c
• If_CutSopBalancePinDelays() : if.h, ifDelay.c
• If_CutSopBalancePinDelaysInt() : if.h, ifDelay.c
• If_CutSopBalancePinDelaysIntInt() : ifDelay.c
• If_CutSort() : if.h, ifCut.c
• If_CutSortInputPins() : ifTime.c
• If_CutTraverse() : if.h, ifUtil.c
• If_CutTraverseTest() : ifUtil.c
• If_CutTruthPermute() : ifTruth.c
• If_CutVerifyCuts() : if.h, ifCut.c
• If_Dec08Cofactors() : ifDec08.c
• If_Dec08Perform() : ifDec08.c
• If_Dec08PrintConfig() : ifDec08.c
• If_Dec08Verify() : ifDec08.c
• If_Dec10Cofactors() : ifDec10.c
• If_Dec10Perform() : ifDec10.c
• If_Dec10PrintConfig() : ifDec10.c
• If_Dec10Verify() : ifDec10.c
• If_Dec5Perform() : ifDec07.c
• If_Dec5PerformEx() : ifDec07.c
• If_Dec5PerformTest() : ifDec07.c
• If_Dec6MinimumBase() : ifDec07.c
• If_Dec6Perform() : ifDec07.c
• If_Dec6PickBestMux() : ifDec07.c
• If_Dec6Truth() : ifDec07.c
• If_Dec6Verify() : ifDec07.c
• If_Dec7MinimumBase() : ifDec07.c
• If_Dec7Perform() : ifDec07.c
• If_Dec7PickBestMux() : ifDec07.c
• If_Dec7Verify() : ifDec07.c
• If_DecPrintConfig() : ifDec07.c
• If_DeriveHashTable6() : if.h, ifTruth.c
• IF_DSD_AND : ifDsd.c
• IF_DSD_CONST0 : ifDsd.c
• IF_DSD_MUX : ifDsd.c
• IF_DSD_NONE : ifDsd.c
• IF_DSD_PRIME : ifDsd.c
• IF_DSD_VAR : ifDsd.c
• IF_DSD_XOR : ifDsd.c
• If_DsdMan_t : if.h
• If_DsdManAddDsd() : ifDsd.c
• If_DsdManAddDsd_rec() : ifDsd.c
• If_DsdManAlloc() : if.h, ifDsd.c
• If_DsdManAllocIsops() : if.h, ifDsd.c
• If_DsdManCheckAndXor() : ifDsd.c
• If_DsdManCheckDec() : if.h, ifDsd.c
• If_DsdManCheckInv_rec() : ifDsd.c
• If_DsdManCheckMux() : ifDsd.c
• If_DsdManCheckNonDec_rec() : ifDsd.c
• If_DsdManCheckNonTriv() : ifDsd.c
• If_DsdManCheckPrime() : ifDsd.c
• If_DsdManCheckXY() : if.h, ifDsd.c
• If_DsdManCheckXY_int() : ifDsd.c
• If_DsdManCheckXYZ() : ifDsd.c
• If_DsdManCleanMarks() : if.h, ifDsd.c
• If_DsdManCleanOccur() : if.h, ifDsd.c
• If_DsdManCollect() : ifDsd.c
• If_DsdManCollect_rec() : ifDsd.c
• If_DsdManCompute() : if.h, ifDsd.c
• If_DsdManComputeFirst() : ifDsd.c
• If_DsdManComputeFirstArray() : ifDsd.c
• If_DsdManComputeTruth() : ifDsd.c
• If_DsdManComputeTruth_rec() : ifDsd.c
• If_DsdManComputeTruthPtr() : ifDsd.c
• If_DsdManDumpAll() : ifDsd.c
• If_DsdManDumpDsd() : ifDsd.c
• If_DsdManFileName() : if.h, ifDsd.c
• If_DsdManFilter() : if.h, ifDsd.c
• If_DsdManFilter_rec() : ifDsd.c
• If_DsdManFree() : if.h, ifDsd.c
• If_DsdManGetCellStr() : if.h, ifDsd.c
• If_DsdManGetFuncConfig() : if.h, ifDsd.c
• If_DsdManGetSuppSizes() : ifDsd.c
• If_DsdManHashProfile() : ifDsd.c
• If_DsdManHasMarks() : ifDsd.c
• If_DsdManInvertMarks() : if.h, ifDsd.c
• If_DsdManLoad() : if.h, ifDsd.c
• If_DsdManLutSize() : if.h, ifDsd.c
• If_DsdManMerge() : if.h, ifDsd.c
• If_DsdManObjNum() : if.h, ifDsd.c
• If_DsdManOperation() : ifDsd.c
• If_DsdManPermBitNum() : if.h, ifDsd.c
• If_DsdManPrint() : if.h, ifDsd.c
• If_DsdManPrint_rec() : ifDsd.c
• If_DsdManPrintDecs() : ifDsd.c
• If_DsdManPrintDistrib() : ifDsd.c
• If_DsdManPrintOccurs() : ifDsd.c
• If_DsdManPrintOne() : ifDsd.c
• If_DsdManPushInv() : ifDsd.c
• If_DsdManPushInv_rec() : ifDsd.c
• If_DsdManReadMark() : if.h, ifDsd.c
• If_DsdManSave() : if.h, ifDsd.c
• If_DsdManSetLutSize() : if.h, ifDsd.c
• If_DsdManSetNewAsUseless() : if.h, ifDsd.c
• If_DsdManSuppSize() : if.h, ifDsd.c
• If_DsdManTest() : ifDsd.c
• If_DsdManTtBitNum() : if.h, ifDsd.c
• If_DsdManTune() : if.h, ifDsd.c
• If_DsdManVarNum() : if.h, ifDsd.c
• If_DsdObj_t : ifDsd.c
• If_DsdObjAlloc() : ifDsd.c
• If_DsdObjCompare() : ifDsd.c
• If_DsdObjCreate() : ifDsd.c
• If_DsdObjFindOrAdd() : ifDsd.c
• If_DsdObjForEachFanin : ifDsd.c
• If_DsdObjForEachFaninLit : ifDsd.c
• If_DsdObjHashLookup() : ifDsd.c
• If_DsdObjSort() : ifDsd.c
• If_DsdSign() : ifDsd.c
• If_DsdSign_rec() : ifDsd.c
• If_DsdType_t : ifDsd.c
• If_DsdVecForEachNode : ifDsd.c
• If_DsdVecForEachObj : ifDsd.c
• If_DsdVecForEachObjStart : ifDsd.c
• If_DsdVecForEachObjVec : ifDsd.c
• If_End() : mainInit.c, ifCom.c
• IF_FLOAT_LARGE : if.h
• IF_FLOAT_SMALL : if.h
• If_Grp_t : ifDec16.c
• If_Hte_t : ifDec16.c
• IF_INFINITY : if.h
• If_Init() : mainInit.c, ifCom.c
• IF_INT_LARGE : if.h
• If_LibBox_t : if.h
• If_LibBoxAdd() : if.h, ifLibBox.c
• If_LibBoxDup() : ifLibBox.c
• If_LibBoxFindBox() : if.h, ifLibBox.c
• If_LibBoxForEachBox : ifLibBox.c
• If_LibBoxFree() : if.h, ifLibBox.c
• If_LibBoxGetToken() : ifLibBox.c
• If_LibBoxLoad() : if.h, ifLibBox.c
• If_LibBoxNum() : if.h, ifLibBox.c
• If_LibBoxPrint() : if.h, ifLibBox.c
• If_LibBoxRead() : if.h, ifLibBox.c
• If_LibBoxRead2() : if.h, ifLibBox.c
• If_LibBoxReadBox() : if.h, ifLibBox.c
• If_LibBoxStart() : if.h, ifLibBox.c
• If_LibBoxWrite() : if.h, ifLibBox.c
• If_LibLut_t : if.h
• If_LibLutDelaysAreDifferent() : if.h, ifLibLut.c
• If_LibLutDelaysAreDiscrete() : if.h, ifLibLut.c
• If_LibLutDup() : if.h, ifLibLut.c
• If_LibLutFastestPinDelay() : if.h, ifLibLut.c
• If_LibLutFree() : if.h, ifLibLut.c
• If_LibLutPrint() : if.h, ifLibLut.c
• If_LibLutRead() : if.h, ifLibLut.c
• If_LibLutReadString() : ifLibLut.c
• If_LibLutSetSimple() : if.h, ifLibLut.c
• If_LibLutSlowestPinDelay() : if.h, ifLibLut.c
• If_Lut2DecEval() : if.h, ifDelay.c
• If_LutDecEval() : if.h, ifDelay.c
• If_LutDecPinRequired() : if.h, ifDelay.c
• If_LutDecReEval() : if.h, ifDelay.c
• If_Man_t : if.h
• If_ManBinarySearch_rec() : ifSeq.c
• If_ManBinarySearchPeriod() : ifSeq.c
• If_ManCacheAnalize() : ifCache.c
• If_ManCacheRecord() : ifCache.c
• If_ManCheckChoices() : giaIf.c
• If_ManCheckChoices_rec() : giaIf.c
• If_ManCheckShape() : ifSelect.c
• If_ManCleanCutData() : if.h, ifUtil.c
• If_ManCleanMarkV() : if.h, ifUtil.c
• If_ManCleanNodeCopy() : if.h, ifUtil.c
• If_ManCollectLatches() : ifSeq.c
• If_ManCollectLatches_rec() : ifSeq.c
• If_ManCollectMappingDirect() : if.h, ifUtil.c
• If_ManCollectMappingInt() : if.h, ifUtil.c
• If_ManComputeRequired() : if.h, ifTime.c
• If_ManComputeSwitching() : abcIf.c, if.h
• If_ManConeCollect() : ifSelect.c
• If_ManConeCollect_rec() : ifSelect.c
• If_ManCountSpecialPos() : if.h, 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_ManCutAigDelay() : ifMap.c
• If_ManCutAigDelay_rec() : ifMap.c
• If_ManCutCheck() : ifCheck.c
• If_ManCutReach() : ifCheck.c
• If_ManCutReach_rec() : ifCheck.c
• If_ManCutTruthCheck() : ifCheck.c
• If_ManCutTruthCheck_rec() : ifCheck.c
• If_ManDelayMax() : if.h, ifTime.c
• If_ManDerefChoiceCutSet() : if.h, ifMan.c
• If_ManDerefNodeCutSet() : if.h, ifMan.c
• If_ManDeriveGiaFromCells() : if.h, ifTune.c
• If_ManForEachCi : if.h
• If_ManForEachCo : if.h
• If_ManForEachLatchInput : if.h
• If_ManForEachLatchOutput : if.h
• If_ManForEachNode : if.h
• If_ManForEachObj : if.h
• If_ManForEachObjReverse : if.h
• If_ManForEachPi : if.h
• If_ManForEachPo : if.h
• If_ManImproveCutCost() : ifReduce.c
• If_ManImproveMapping() : if.h, ifReduce.c
• If_ManImproveMark_rec() : 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_ManImproveNodeWillGrow() : ifReduce.c
• If_ManMarkMapping() : if.h, ifUtil.c
• If_ManMarkMapping_rec() : ifUtil.c
• If_ManNodeShape() : ifSelect.c
• If_ManNodeShape2_rec() : ifSelect.c
• If_ManNodeShapeMap() : ifSelect.c
• If_ManNodeShapeMap2() : ifSelect.c
• If_ManNodeShapeMap2_rec() : ifSelect.c
• If_ManNodeShapeMap_rec() : ifSelect.c
• If_ManNodeShapeSat() : ifSelect.c
• 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_ManReverseOrder() : if.h, ifUtil.c
• If_ManSat6Truth() : ifSat.c
• If_ManSatBuildFromCell() : if.h, ifTune.c
• If_ManSatBuildXY() : if.h, ifSat.c
• If_ManSatBuildXYZ() : if.h, ifSat.c
• If_ManSatCheckXY() : if.h, ifSat.c
• If_ManSatCheckXYall() : if.h, ifSat.c
• If_ManSatCheckXYall_int() : ifSat.c
• If_ManSatDeriveGiaFromBits() : if.h, ifTune.c
• If_ManSatFindCofigBits() : if.h, ifTune.c
• If_ManSatTest2() : ifSat.c
• If_ManSatTest3() : ifSat.c
• If_ManSatUnbuild() : if.h, ifSat.c
• If_ManScanMapping() : if.h
• If_ManScanMappingDirect() : if.h
• If_ManScanMappingSeq() : if.h
• If_ManSetDefaultPars() : if.h, ifCore.c
• If_ManSetupCiCutSets() : if.h, ifMan.c
• If_ManSetupCutTriv() : if.h, ifMan.c
• If_ManSetupNodeCutSet() : if.h, ifMan.c
• If_ManSetupSet() : ifMan.c
• If_ManSetupSetAll() : if.h, ifMan.c
• If_ManStart() : if.h, ifMan.c
• If_ManStop() : if.h, ifMan.c
• If_MatchCheck1() : if.h, ifDec07.c
• If_MatchCheck2() : if.h, ifDec07.c
• IF_MAX : if.h
• IF_MAX_CUBES : ifDelay.c
• IF_MAX_FUNC_LUTSIZE : if.h
• IF_MAX_LUTSIZE : if.h
• IF_MIN : if.h
• IF_NONE : if.h
• If_Obj_t : if.h
• If_ObjConePrint() : ifSelect.c
• If_ObjConePrint_rec() : ifSelect.c
• If_ObjForEachCut : if.h
• If_ObjPerformMappingAnd() : if.h, ifMap.c
• If_ObjPerformMappingChoice() : if.h, ifMap.c
• If_ObjPrint() : if.h, ifUtil.c
• If_Par_t : if.h
• If_Set_t : if.h
• If_Type_t : if.h
• IF_VOID : if.h
• Ifd_ComputeSignature() : mpmPre.c
• Ifd_Man_t : mpmPre.c
• Ifd_ManComputeMatches() : mpmPre.c
• Ifd_ManDsdPermJT() : mpmPre.c
• Ifd_ManDsdPermPrint() : mpmPre.c
• Ifd_ManDsdTest() : mpmPre.c
• Ifd_ManDsdTest2() : mpmPre.c
• Ifd_ManDsdTest33() : mpmPre.c
• Ifd_ManDsdTest4() : mpmPre.c
• Ifd_ManDsdTest55() : mpmPre.c
• Ifd_ManDsdTruths() : mpmPre.c
• Ifd_ManFindDsd() : mpmPre.c
• Ifd_ManFindDsd_rec() : mpmPre.c
• Ifd_ManForEachNodeWithSupp : mpmPre.c
• Ifd_ManHashFindOrAdd() : mpmPre.c
• Ifd_ManHashInsert() : mpmPre.c
• Ifd_ManHashLookup() : mpmPre.c
• Ifd_ManOper() : mpmPre.c
• Ifd_ManOperSuper_rec() : mpmPre.c
• Ifd_ManPrint() : mpmPre.c
• Ifd_ManPrint2() : mpmPre.c
• Ifd_ManStart() : mpmPre.c
• Ifd_ManStop() : mpmPre.c
• Ifd_ManTruthAll() : mpmPre.c
• Ifd_Obj_t : mpmPre.c
• Ifd_ObjPrint() : mpmPre.c
• Ifd_ObjPrint_rec() : mpmPre.c
• Ifd_ObjTruth() : mpmPre.c
• Ifd_ObjTruth_rec() : mpmPre.c
• Iff_Man_t : giaIff.c
• IFIF_MAX_LEAVES : abcIfif.c
• Ifif_Par_t : if.h
• IFM_MAX_STR : mpmPre.c
• IFM_MAX_VAR : mpmPre.c
• Ifn_AddClause() : ifTune.c
• IFN_DSD_AND : ifTune.c
• IFN_DSD_CONST0 : ifTune.c
• IFN_DSD_MUX : ifTune.c
• IFN_DSD_NONE : ifTune.c
• IFN_DSD_PRIME : ifTune.c
• IFN_DSD_VAR : ifTune.c
• IFN_DSD_XOR : ifTune.c
• Ifn_DsdType_t : ifTune.c
• Ifn_ErrorMessage() : ifTune.c
• IFN_INS : ifTune.c
• Ifn_ManSatBuild() : ifTune.c
• Ifn_ManSatCheckOne() : ifTune.c
• Ifn_ManSatDeriveOne() : ifTune.c
• Ifn_ManSatFindCofigBitsTest() : ifTune.c
• Ifn_ManSatPrintPerm() : ifTune.c
• Ifn_ManStrCheck() : ifTune.c
• Ifn_ManStrCheck2() : ifTune.c
• Ifn_ManStrFindCofactors() : ifTune.c
• Ifn_ManStrFindModel() : ifTune.c
• Ifn_ManStrFindSolver() : ifTune.c
• Ifn_ManStrType2() : ifTune.c
• Ifn_Ntk_t : if.h
• Ifn_NtkAddClauses() : ifTune.c
• Ifn_NtkAddConstraints() : ifTune.c
• Ifn_NtkAddConstrOne() : ifTune.c
• Ifn_NtkDeriveTruth() : ifTune.c
• Ifn_NtkInputNum() : if.h, ifTune.c
• Ifn_NtkLutSizeMax() : if.h, ifTune.c
• Ifn_NtkMatch() : if.h, ifTune.c
• Ifn_NtkMatchCollectConfig() : ifTune.c
• Ifn_NtkMatchCollectPerm() : ifTune.c
• Ifn_NtkMatchPrintConfig() : ifTune.c
• Ifn_NtkMatchPrintPerm() : ifTune.c
• Ifn_NtkMatchPrintStatus() : ifTune.c
• Ifn_NtkParse() : if.h, ifTune.c
• Ifn_NtkParseConstraints() : ifTune.c
• Ifn_NtkParseInt() : ifTune.c
• Ifn_NtkParseInt2() : ifTune.c
• Ifn_NtkParseInt_rec() : ifTune.c
• Ifn_NtkPrint() : if.h, ifTune.c
• Ifn_NtkRead() : ifTune.c
• Ifn_NtkTtBits() : if.h, ifTune.c
• Ifn_Obj_t : ifTune.c
• IFN_PAR : ifTune.c
• Ifn_Prepare() : ifTune.c
• Ifn_TtComparisonConstr() : ifTune.c
• IFN_WRD : ifTune.c
• IGNORE : statistics.h
• IGNORE_COG : place_gordian.h
• IGNORE_LIVENESS_KEEP_SAFETY_MODE : liveness.c
• IGNORE_NETSIZE : place_gordian.h
• IGNORE_SAFETY_KEEP_LIVENESS_MODE : liveness.c
• IGNORE_SAFETY_KEEP_LIVENESS_ONE_LOOP_MODE : liveness.c
• ILLEGAL_LIT : literal.h
• IMPLICT_LEARNING : csat_apis.h
• IMPLY : ltl_parser.c
• import : internal.h
• IN : espresso.h
• INC : cadical_kitten.c, statistics.h
• increase_phases : phases.c
• incrementalPartition() : place_gordian.h, place_partition.c
• incrementalSubpartition() : place_partition.c
• Inf_ManOpenSymb() : ifTune.c
• inflate() : inflate.c
• inflate_copyright : inftrees.c
• inflate_fast() : inffast.c
• inflate_mode : inflate.h
• inflate_table() : inftrees.c
• inflateBack() : infback.c
• inflateBackEnd() : infback.c
• inflateBackInit : zlib.h
• inflateBackInit_() : infback.c
• inflateCopy() : inflate.c
• inflateEnd() : inflate.c
• inflateGetHeader() : inflate.c
• inflateInit : zlib.h
• inflateInit2 : zlib.h
• inflateInit2_() : inflate.c
• inflateInit_() : inflate.c
• inflateMark() : inflate.c
• inflatePrime() : inflate.c
• inflateReset() : inflate.c
• inflateReset2() : inflate.c
• inflateSetDictionary() : inflate.c
• inflateSync() : inflate.c
• inflateSyncPoint() : inflate.c
• inflateUndermine() : inflate.c
• INIT_0 : fretime.h
• INIT_1 : fretime.h
• init_block() : trees.c
• INIT_CARE : fretime.h
• INIT_CONFLICT_LIMIT : kimits.c
• INIT_EMA : ema.hpp, averages.c
• INIT_FIFO : fifo.h
• init_runtime() : main.c
• INIT_STACK : stack.h
• INIT_STATE : deflate.h
• INITBITS : infback.c, inflate.c
• InitConstraint_t : fretime.h
• INITIAL_PHASE : decide.h
• initMatchList() : abcBm.c
• initPartitioning() : place_gordian.h, place_partition.c
• INLABEL : espresso.h
• inline : kitPerm.c
• INLINE_SORT : collect.c, dense.c, watch.c
• INLINEset_and : espresso.h
• INLINEset_clear : espresso.h
• INLINEset_copy : espresso.h
• INLINEset_diff : espresso.h
• INLINEset_fill : espresso.h
• INLINEset_merge : espresso.h
• INLINEset_ndiff : espresso.h
• INLINEset_or : espresso.h
• INLINEset_xnor : espresso.h
• INLINEset_xor : espresso.h
• INLINEsetp_disjoint : espresso.h
• INLINEsetp_equal : espresso.h
• INLINEsetp_implies : espresso.h
• INOUT : espresso.h
• INSERT_STRING : deflate.c
• INSERTION_SORT : sort.h
• InsertVars() : exorBits.c
• InsertVarsWithoutClearing() : exor.h, exorBits.c
• Int16 : bzlib_private.h
• INT16_MAX : pstdint.h
• INT16_MIN : pstdint.h
• Int2_Man_t : int2Int.h, satSolver2.h
• Int2_ManChainResolve() : satSolver2.h, satSolver2i.c
• Int2_ManChainStart() : satSolver2.h, satSolver2i.c
• Int2_ManCheckBmc() : int2Bmc.c, int2Int.h
• Int2_ManCheckInit() : int2Bmc.c, int2Int.h
• Int2_ManCollectInternal() : int2Util.c
• Int2_ManCollectInternal_rec() : int2Util.c
• Int2_ManComputeCoPres() : int2Util.c
• Int2_ManComputePreimage() : int2Core.c
• Int2_ManCreateFrames() : int2Bmc.c, int2Int.h
• Int2_ManDupInit() : int2Bmc.c, int2Int.h
• Int2_ManFrameInit() : int2Bmc.c
• Int2_ManJustify_rec() : int2Refine.c
• Int2_ManPars_t : int2.h
• Int2_ManPerformInterpolation() : int2.h, int2Core.c
• Int2_ManPreparePrefix() : int2Core.c
• Int2_ManPrepareSuffix() : int2Core.c
• Int2_ManProbToGia() : int2Int.h, int2Util.c
• Int2_ManReadInterpolant() : satSolver2.h, satSolver2i.c
• Int2_ManRefineCube() : int2Int.h, int2Refine.c
• Int2_ManSetDefaultParams() : int2.h, int2Core.c
• Int2_ManSetupBmcSolver() : int2Bmc.c, int2Int.h
• Int2_ManStart() : satSolver2.h, satSolver2i.c
• Int2_ManStop() : satSolver2.h, satSolver2i.c
• Int2_ManUnroll() : int2Core.c
• Int32 : bzlib_private.h
• INT32_MAX : pstdint.h
• INT32_MIN : pstdint.h
• INT8_MAX : pstdint.h
• INT8_MIN : pstdint.h
• INT_FAST16_MAX : pstdint.h
• INT_FAST16_MIN : pstdint.h
• int_fast16_t : pstdint.h
• INT_FAST32_MAX : pstdint.h
• INT_FAST32_MIN : pstdint.h
• int_fast32_t : pstdint.h
• INT_FAST8_MAX : pstdint.h
• INT_FAST8_MIN : pstdint.h
• int_fast8_t : pstdint.h
• INT_LEAST16_MAX : pstdint.h
• INT_LEAST16_MIN : pstdint.h
• int_least16_t : pstdint.h
• INT_LEAST32_MAX : pstdint.h
• INT_LEAST32_MIN : pstdint.h
• int_least32_t : pstdint.h
• INT_LEAST8_MAX : pstdint.h
• INT_LEAST8_MIN : pstdint.h
• int_least8_t : pstdint.h
• Int_Man_t : satStore.h
• Int_ManAlloc() : satInter.c, satStore.h
• 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_ManProofRecordOne() : satInter.c
• Int_ManProofTraceOne() : satInter.c
• Int_ManProofWriteOne() : satInter.c
• Int_ManPropagate() : satInter.c
• Int_ManResize() : satInter.c
• Int_ManSetGlobalVars() : satInter.c, satStore.h
• Int_Pair_t : wlcAbs.c
• Inta_Man_t : satStore.h
• Inta_ManAlloc() : satInterA.c, satStore.h
• Inta_ManDeriveClauses() : satInterA.c
• Inta_ManFree() : satInterA.c, satStore.h
• Inta_ManGlobalVars() : satInterA.c
• Inta_ManInterpolate() : satInterA.c, satStore.h
• Inta_ManPrepareInter() : satInterA.c
• Inta_ManPrintClause() : satInterA.c
• Inta_ManPrintInterOne() : satInterA.c
• Inta_ManPrintResolvent() : satInterA.c
• Inta_ManProcessRoots() : satInterA.c
• Inta_ManProofRecordOne() : satInterA.c
• Inta_ManProofTraceOne() : satInterA.c
• Inta_ManProofWriteOne() : satInterA.c
• Inta_ManPropagate() : satInterA.c
• Inta_ManResize() : satInterA.c
• Intb_Man_t : satStore.h
• Intb_ManAlloc() : satInterB.c, satStore.h
• Intb_ManDeriveClauses() : satInterB.c
• Intb_ManFree() : satInterB.c, satStore.h
• Intb_ManGetGlobalVar() : satInterB.c
• Intb_ManGlobalVars() : satInterB.c
• Intb_ManInterpolate() : satInterB.c, satStore.h
• Intb_ManPrepareInter() : satInterB.c
• Intb_ManPrintClause() : satInterB.c
• Intb_ManPrintInterOne() : satInterB.c
• Intb_ManPrintResolvent() : satInterB.c
• Intb_ManProcessRoots() : satInterB.c
• Intb_ManProofRecordOne() : satInterB.c
• Intb_ManProofTraceOne() : satInterB.c
• Intb_ManProofWriteOne() : satInterB.c
• Intb_ManPropagate() : satInterB.c
• Intb_ManResize() : satInterB.c
• Inter_Check_t : intInt.h
• Inter_CheckAddEqual() : intCheck.c
• Inter_CheckAddOrGate() : intCheck.c
• Inter_CheckPerform() : intCheck.c, intInt.h
• Inter_CheckStart() : intCheck.c, intInt.h
• Inter_CheckStop() : intCheck.c, intInt.h
• Inter_Man_t : intInt.h
• Inter_ManAppendCone() : intContain.c
• Inter_ManCheckAllStates() : intInt.h, intUtil.c
• Inter_ManCheckContainment() : intContain.c, intInt.h
• Inter_ManCheckEquivalence() : intContain.c, intInt.h
• Inter_ManCheckInductiveContainment() : intContain.c, intInt.h
• Inter_ManCheckInitialState() : intInt.h, intUtil.c
• Inter_ManCheckUniqueness() : intContain.c
• Inter_ManClean() : intInt.h, intMan.c
• Inter_ManCreate() : intInt.h, intMan.c
• Inter_ManDeriveSatSolver() : intM114.c
• Inter_ManDupExpand() : intInter.c
• Inter_ManFramesBmc() : intCtrex.c
• Inter_ManFramesInter() : intFrames.c, intInt.h
• Inter_ManFramesLatches() : intContain.c
• Inter_ManGetCounterExample() : intCtrex.c, intInt.h
• Inter_ManInterDump() : intMan.c
• Inter_ManParams_t : int.h
• Inter_ManPerformInterpolation() : int.h, intCore.c
• Inter_ManPerformOneStep() : intInt.h, intM114.c
• Inter_ManSetDefaultParams() : int.h, intCore.c
• Inter_ManStartDuplicated() : intDup.c, intInt.h
• Inter_ManStartInitState() : intDup.c, intInt.h
• Inter_ManStartOneOutput() : intDup.c, intInt.h
• Inter_ManStop() : intInt.h, intMan.c
• Inter_ManUnrollFrames() : intCheck.c
• Inter_ManVerifyInterpolant1() : intInter.c
• Inter_ManVerifyInterpolant2() : intInter.c
• INTERNAL_MAX_LIT : literal.h
• INTERNAL_MAX_VAR : literal.h
• intf : zconf.h
• INTMAX_C : pstdint.h
• INTMAX_MAX : pstdint.h
• intmax_t : pstdint.h
• Intp_Man_t : satStore.h
• Intp_ManAlloc() : satInterP.c, satStore.h
• Intp_ManFree() : satInterP.c, satStore.h
• Intp_ManPrintClause() : satInterP.c
• Intp_ManPrintInterOne() : satInterP.c
• Intp_ManPrintResolvent() : satInterP.c
• Intp_ManProcessRoots() : satInterP.c
• Intp_ManProofRecordOne() : satInterP.c
• Intp_ManProofTraceOne() : satInterP.c
• Intp_ManProofWriteOne() : satInterP.c
• Intp_ManPropagate() : satInterP.c
• Intp_ManResize() : satInterP.c
• Intp_ManUnsatCore() : satInterP.c, satStore.h
• Intp_ManUnsatCore_rec() : satInterP.c
• Intp_ManUnsatCorePrintForBmc() : satInterP.c, satStore.h
• Intp_ManUnsatCoreVerify() : satInterP.c
• IntPairPtrCompare() : wlcAbs.c
• intptr_t : pstdint.h
• introduceAbsorberLogic() : kliveness.c
• INVALID : cadical_kitten.c, cadical_sweep.cpp, kitten.c
• INVALID64 : cadical_sweep.cpp
• INVALID_API_USAGE : cadical_kitten.c, kitten.c
• INVALID_BEST_TRAIL_POS : walk.c
• INVALID_IDX : literal.h
• INVALID_LEVEL : assign.h
• INVALID_LIT : cadical_definition.cpp, literal.h
• INVALID_REF : reference.h
• INVALID_TRAIL : assign.h
• INVALID_VECTOR_ELEMENT : vector.h
• IO_BLIF_INIT_DC : ioReadBlifAig.c
• IO_BLIF_INIT_NONE : ioReadBlifAig.c
• IO_BLIF_INIT_ONE : ioReadBlifAig.c
• IO_BLIF_INIT_ZERO : ioReadBlifAig.c
• Io_BlifInit_t : ioReadBlifAig.c
• Io_BlifMan_t : ioReadBlifAig.c
• IO_BLIFMV_MAXVALUES : ioReadBlifMv.c
• Io_BlifObj_t : ioReadBlifAig.c
• Io_ConvertNumsToSop() : ioUtil.c
• Io_ConvertNumsToSopMulti() : ioUtil.c
• Io_End() : io.c, mainInit.c
• IO_FILE_AIGER : ioAbc.h
• IO_FILE_BAF : ioAbc.h
• IO_FILE_BBLIF : ioAbc.h
• IO_FILE_BENCH : ioAbc.h
• IO_FILE_BLIF : ioAbc.h
• IO_FILE_BLIFMV : ioAbc.h
• IO_FILE_BOOK : ioAbc.h
• IO_FILE_CNF : ioAbc.h
• IO_FILE_DOT : ioAbc.h
• IO_FILE_EDIF : ioAbc.h
• IO_FILE_EQN : ioAbc.h
• IO_FILE_GML : ioAbc.h
• IO_FILE_HMETIS : ioAbc.h
• IO_FILE_JSON : ioAbc.h
• IO_FILE_LIST : ioAbc.h
• IO_FILE_MOPLA : ioAbc.h
• IO_FILE_NONE : ioAbc.h
• IO_FILE_PLA : ioAbc.h
• IO_FILE_SMV : ioAbc.h
• IO_FILE_UNKNOWN : ioAbc.h
• IO_FILE_VERILOG : ioAbc.h
• Io_FileOpen() : ioAbc.h, ioUtil.c
• Io_FileReadCnf() : ioUtil.c
• Io_FileType_t : ioAbc.h
• Io_Init() : io.c, mainInit.c
• Io_MvLoadFileBz2() : ioReadBlifMv.c
• Io_MvMan_t : ioReadBlifMv.c
• Io_MvMod_t : ioReadBlifMv.c
• Io_MvReplaceBuffersByShorts() : ioReadBlifMv.c
• Io_MvVar_t : ioReadBlifMv.c
• Io_NamePrepro() : ioWriteEqn.c
• Io_NtkDeriveSop() : ioWriteBlif.c
• Io_NtkEdgelistWrite_int() : ioWriteEdgelist.c
• Io_NtkEdgelistWriteConvertedBox() : ioWriteEdgelist.c
• Io_NtkEdgelistWriteModelIntStruct() : ioWriteEdgelist.c
• Io_NtkEdgelistWriteNodeGate() : ioWriteEdgelist.c
• Io_NtkEdgelistWriteNodeInt() : ioWriteEdgelist.c
• Io_NtkEdgelistWriteNodeIntStruct() : ioWriteEdgelist.c
• Io_NtkEdgelistWriteNodeSubckt() : ioWriteEdgelist.c
• Io_NtkEdgelistWriteSubcktFanins() : ioWriteEdgelist.c
• Io_NtkWriteConvertedBox() : ioWriteBlif.c
• Io_NtkWriteEdgelistDeriveSop() : ioWriteEdgelist.c
• Io_NtkWriteModelIntStruct() : ioWriteBlif.c
• Io_NtkWriteNodeGate() : ioWriteBlif.c
• Io_NtkWriteNodeInt() : ioWriteBlif.c
• Io_NtkWriteNodeIntStruct() : ioWriteBlif.c
• Io_NtkWriteNodeSubckt() : ioWriteBlif.c
• Io_NtkWriteSubcktFanins() : ioWriteBlif.c
• Io_Read() : ioAbc.h, ioUtil.c
• Io_ReadAiger() : ioAbc.h, ioReadAiger.c
• Io_ReadBaf() : ioAbc.h, ioReadBaf.c
• Io_ReadBblif() : ioAbc.h, ioReadBblif.c
• Io_ReadBench() : ioAbc.h, ioReadBench.c
• Io_ReadBenchInit() : ioAbc.h, ioReadBench.c
• Io_ReadBlif() : ioAbc.h, ioReadBlif.c
• Io_ReadBlif_t : ioReadBlif.c
• Io_ReadBlifAsAig() : ioReadBlifAig.c
• Io_ReadBlifMv() : ioAbc.h, ioReadBlifMv.c
• Io_ReadBlifNetworkConnectBoxesOne() : ioReadBlif.c
• Io_ReadBlifNetworkConnectBoxesOneBox() : ioReadBlif.c
• Io_ReadBlifReorderFormalNames() : ioReadBlif.c
• Io_ReadCreateBuf() : ioAbc.h, ioUtil.c
• Io_ReadCreateConst() : ioAbc.h, ioUtil.c
• Io_ReadCreateInv() : ioAbc.h, ioUtil.c
• Io_ReadCreateLatch() : ioAbc.h, ioUtil.c
• Io_ReadCreateNode() : ioAbc.h, ioUtil.c
• Io_ReadCreatePi() : ioAbc.h, ioUtil.c
• Io_ReadCreatePo() : ioAbc.h, ioUtil.c
• Io_ReadCreateResetLatch() : ioAbc.h, ioUtil.c
• Io_ReadCreateResetMux() : ioAbc.h
• Io_ReadDsd() : ioReadDsd.c
• Io_ReadDsd_rec() : ioReadDsd.c
• Io_ReadDsdFindEnd() : ioReadDsd.c
• Io_ReadDsdStrSplit() : ioReadDsd.c
• Io_ReadEdif() : ioAbc.h, ioReadEdif.c
• Io_ReadEqn() : ioAbc.h, ioReadEqn.c
• Io_ReadFileType() : ioAbc.h, ioUtil.c
• Io_ReadFindCiId() : ioReadBlif.c
• Io_ReadFindCoId() : ioReadBlif.c
• Io_ReadFins() : abcDetect.c
• Io_ReadFinType() : abcDetect.c
• Io_ReadFinTypeMapped() : abcDetect.c
• Io_ReadJson() : ioAbc.h
• Io_ReadLibType() : ioAbc.h
• Io_ReadNetlist() : ioAbc.h, ioUtil.c
• Io_ReadPla() : ioAbc.h, ioReadPla.c
• Io_ReadPlaCubePreprocess() : ioReadPla.c
• Io_ReadPlaCubeSetdown() : ioReadPla.c
• Io_ReadPlaCubeSetup() : ioReadPla.c
• Io_ReadPlaMarkContained() : ioReadPla.c
• Io_ReadPlaMarkIdentical() : ioReadPla.c
• Io_ReadPlaMergeDistance1() : ioReadPla.c
• Io_ReadPlaRemoveMarked() : ioReadPla.c
• Io_ReadPlaSelfSubsumption() : ioReadPla.c
• Io_ReadVerilog() : ioAbc.h, ioReadVerilog.c
• Io_ReadWordTest() : wlcReadVer.c
• Io_TransformROM2PLA() : ioUtil.c
• Io_TransformSF2PLA() : ioUtil.c
• Io_Write() : ioAbc.h, ioUtil.c
• IO_WRITE_LINE_LENGTH : ioAbc.h
• Io_WriteAiger() : ioAbc.h, ioWriteAiger.c
• Io_WriteAiger_old() : ioWriteAiger.c
• Io_WriteAigerCex() : ioAbc.h, ioWriteAiger.c
• Io_WriteAigerEncode() : ioWriteAiger.c
• Io_WriteAigerGz() : ioWriteAiger.c
• Io_WriteAigerLiterals() : ioWriteAiger.c
• Io_WriteBaf() : ioAbc.h, ioWriteBaf.c
• Io_WriteBblif() : ioAbc.h, ioWriteBblif.c
• Io_WriteBench() : ioAbc.h, ioWriteBench.c, csat_apis.c
• Io_WriteBenchLut() : ioAbc.h, ioWriteBench.c
• Io_WriteBlif() : ioAbc.h, ioWriteBlif.c
• Io_WriteBlifInt() : ioWriteBlif.c
• Io_WriteBlifLogic() : ioAbc.h, ioWriteBlif.c
• Io_WriteBlifMv() : ioAbc.h, ioWriteBlifMv.c
• Io_WriteBlifSpecial() : ioAbc.h, ioWriteBlif.c
• Io_WriteBook() : ioAbc.h, ioWriteBook.c
• Io_WriteBookLogic() : ioWriteBook.c
• Io_WriteCellNet() : ioWriteList.c
• Io_WriteCnf() : ioAbc.h, ioWriteCnf.c
• Io_WriteCnfOutputPiMapping() : ioWriteCnf.c
• Io_WriteDecodeLiterals() : ioReadAiger.c
• Io_WriteDot() : ioAbc.h, ioWriteDot.c
• Io_WriteDotNtk() : ioAbc.h, ioWriteDot.c
• Io_WriteDotSeq() : ioAbc.h, ioWriteDot.c
• Io_WriteEdgelist() : ioAbc.h, ioWriteEdgelist.c
• Io_WriteEncodeLiterals() : ioWriteAiger.c
• Io_WriteEqn() : ioAbc.h, ioWriteEqn.c
• Io_WriteFinType() : abcDetect.c
• Io_WriteFixedModules() : ioWriteVerilog.c
• Io_WriteGml() : ioAbc.h, ioWriteGml.c
• Io_WriteHie() : ioAbc.h, ioUtil.c
• Io_WriteHMetis() : ioAbc.h, ioWriteHMetis.c
• Io_WriteJson() : ioAbc.h
• Io_WriteList() : ioAbc.h, ioWriteList.c
• Io_WriteLutModule() : ioWriteVerilog.c
• Io_WriteMoPla() : ioAbc.h, ioWritePla.c
• Io_WriteMoPlaM() : ioWritePla.c
• Io_WritePla() : ioAbc.h, ioWritePla.c
• Io_WritePlaOne() : ioWritePla.c
• Io_WriteSmv() : ioAbc.h, ioWriteSmv.c
• Io_WriteTimingInfo() : ioAbc.h, ioWriteBlif.c
• Io_WriteVerilog() : ioAbc.h, ioWriteVerilog.c
• Io_WriteVerilogLut() : ioWriteVerilog.c
• Io_WriteVerilogLutInt() : ioWriteVerilog.c
• Io_WriteVerilogObjectsLut() : ioWriteVerilog.c
• Ioa_FileNameGeneric() : ioa.h, ioaUtil.c
• Ioa_FileNameGenericAppend() : ioa.h, ioaUtil.c
• Ioa_FileSize() : ioa.h, ioaUtil.c
• Ioa_ReadAiger() : ioa.h, ioaReadAig.c
• Ioa_ReadAigerDecode() : ioaReadAig.c
• Ioa_ReadAigerFromMemory() : ioa.h, ioaReadAig.c
• Ioa_TimeStamp() : ioa.h, ioaUtil.c
• Ioa_WriteAiger() : ioa.h, ioaWriteAig.c
• Ioa_WriteAigerBufferTest() : ioaWriteAig.c
• Ioa_WriteAigerEncode() : ioaWriteAig.c
• Ioa_WriteAigerEncodeStr() : ioaWriteAig.c
• Ioa_WriteAigerIntoMemory() : ioa.h, ioaWriteAig.c
• Ioa_WriteAigerIntoMemoryStr() : ioa.h, ioaWriteAig.c
• Ioa_WriteAigerLiterals() : ioaWriteAig.c
• Ioa_WriteDecodeLiterals() : ioaReadAig.c
• Ioa_WriteEncodeLiterals() : ioaWriteAig.c
• ipasir_add() : cadical_ipasir.cpp, ipasir.h
• ipasir_assume() : cadical_ipasir.cpp, ipasir.h
• ipasir_failed() : cadical_ipasir.cpp, ipasir.h
• ipasir_init() : cadical_ipasir.cpp, ipasir.h
• ipasir_release() : cadical_ipasir.cpp, ipasir.h
• ipasir_set_learn() : cadical_ipasir.cpp, ipasir.h
• ipasir_set_terminate() : cadical_ipasir.cpp, ipasir.h
• ipasir_signature() : cadical_ipasir.cpp, ipasir.h
• ipasir_solve() : cadical_ipasir.cpp, ipasir.h
• ipasir_val() : cadical_ipasir.cpp, ipasir.h
• IPdr_ManCheckClauses() : pdrIncr.c
• IPdr_ManCheckCombUnsat() : wlcAbs.c, pdrIncr.c
• IPdr_ManCheckCubeReduce() : pdrIncr.c
• IPdr_ManPrintClauses() : wlcAbs.c, pdrIncr.c
• IPdr_ManPushClausesK() : pdrIncr.c
• IPdr_ManRebuildClauses() : wlcAbs.c, pdrIncr.c
• IPdr_ManReduceClauses() : wlcAbs.c, pdrIncr.c
• IPdr_ManRestoreAbsFlops() : pdrIncr.c
• IPdr_ManRestoreClauses() : wlcAbs.c, pdrIncr.c
• IPdr_ManSaveClauses() : wlcAbs.c, pdrIncr.c
• IPdr_ManSetSolver() : pdrIncr.c
• IPdr_ManSolve() : pdrIncr.c
• IPdr_ManSolveInt() : wlcAbs.c, pdrIncr.c
• IPos : deflate.h
• IRRED : espresso.h
• IRRED1 : espresso.h
• irred_derive_table() : espresso.h, irred.c
• irred_gasp() : espresso.h, gasp.c
• irred_split_cover() : espresso.h, irred.c
• IRRED_TIME : espresso.h
• irredundant() : espresso.h, irred.c
• IRREDUNDANT_CLAUSES : statistics.h
• is_in_set : espresso.h
• IsInfDouble() : epd.c, epd.h
• IsNanDouble() : epd.c, epd.h
• IsNanOrInfDouble() : epd.c, epd.h
• isNonTemporalSubformula() : ltl_parser.c
• Iso_Dat2_t : saigIsoFast.c
• Iso_Dat_t : saigIsoFast.c
• Iso_FindNumbers() : saigIsoSlow.c
• Iso_Man_t : saigIsoSlow.c
• Iso_ManAssignAdjacency() : saigIsoSlow.c
• Iso_ManBreakTies() : saigIsoSlow.c
• Iso_ManCheckMapping() : saigIso.c
• Iso_ManCollectClasses() : saigIsoSlow.c
• Iso_ManCreate() : saigIsoSlow.c
• Iso_ManDumpOneClass() : saigIsoSlow.c
• Iso_ManFilterPos() : saigIso.c
• Iso_ManFilterPos_old() : saigIso.c
• Iso_ManFinalize() : saigIsoSlow.c
• Iso_ManFindBestObj() : saigIsoSlow.c
• Iso_ManFindMapping() : saigIso.c
• Iso_ManForEachObj : saigIsoSlow.c
• Iso_ManNegEdgeNum() : saigIso.c
• Iso_ManObjCount() : saigIsoSlow.c
• Iso_ManObjCount_rec() : saigIsoSlow.c
• Iso_ManPrintClasses() : saigIsoSlow.c
• Iso_ManPrintClasseSizes() : saigIsoSlow.c
• Iso_ManRehashClassNodes() : saigIsoSlow.c
• Iso_ManStart() : saigIsoSlow.c
• Iso_ManStop() : saigIsoSlow.c
• Iso_ManTest() : saigIso.c
• Iso_ManTest888() : saigIso.c
• ISO_MASK : giaIso.c, giaIso2.c, saigIsoSlow.c
• ISO_NUM_INTS : saigIsoSlow.c
• Iso_Obj_t : saigIsoSlow.c
• Iso_ObjCompare() : saigIsoSlow.c
• Iso_ObjCompareByData() : saigIsoSlow.c
• Iso_ReadPrimes() : saigIsoSlow.c
• Iso_Sto_t : saigIsoFast.c
• Iso_StoCollectInfo() : saigIsoFast.c
• Iso_StoCollectInfo_rec() : saigIsoFast.c
• Iso_StoCompareVecInt() : saigIsoFast.c
• Iso_StoCompareVecStr() : saigIso.c
• Iso_StoStart() : saigIsoFast.c
• Iso_StoStop() : saigIsoFast.c
• iSortDependencies() : abcBm.c
• iSplitByDep() : abcBm.c
• issat_strengthen_clause() : strengthen.h
• ISSET_BH : blocksort.c
• isTemporalOperator() : ltl_parser.c
• isUnexpectedEOS() : ltl_parser.c
• isWellFormed() : liveness.c, ltl_parser.c
• ITE_GATE : congruence.c
• IterativelyApplyExorLink2() : exor.h, exorList.c
• IterativelyApplyExorLink3() : exor.h, exorList.c
• IterativelyApplyExorLink4() : exor.h, exorList.c
• IteratorCubePairNext() : exorList.c
• IteratorCubePairStart() : exorList.c
• IterCubeSetNext() : exorList.c, exorUtil.c
• IterCubeSetStart() : exorList.c, exorUtil.c
• IVY_AND : ivy.h
• Ivy_And() : ivy.h, ivyOper.c
• IVY_ASSERT : ivy.h
• IVY_BUF : ivy.h
• Ivy_CanonAnd() : ivy.h, ivyCanon.c
• Ivy_CanonExor() : ivy.h, ivyCanon.c
• Ivy_CanonLatch() : ivy.h, ivyCanon.c
• Ivy_CanonPair_rec() : ivyCanon.c
• Ivy_CompareNodesByLevel() : ivyCutTrav.c
• IVY_CUT_INPUT : ivy.h
• IVY_CUT_LIMIT : ivy.h
• Ivy_Cut_t : ivy.h
• Ivy_CutCompactAll() : ivySeq.c
• Ivy_CutComputeAll() : ivySeq.c, abcIvy.c
• Ivy_CutFindOrAddFilter() : ivySeq.c
• Ivy_CutGetTruth_rec() : ivySeq.c
• Ivy_CutPrintForNode() : ivySeq.c
• Ivy_CutPrintForNodes() : ivySeq.c
• Ivy_CutTruthPrint() : ivy.h, ivyUtil.c
• Ivy_CutTruthPrint2() : ivyUtil.c
• IVY_DEC_AND : ivyDsd.c
• IVY_DEC_BUF : ivyDsd.c
• IVY_DEC_CONST1 : ivyDsd.c
• IVY_DEC_EXOR : ivyDsd.c
• IVY_DEC_MAJ : ivyDsd.c
• IVY_DEC_MUX : ivyDsd.c
• IVY_DEC_PI : ivyDsd.c
• IVY_DEC_PRIME : ivyDsd.c
• Ivy_Dec_t : ivyDsd.c
• Ivy_DecType_t : ivyDsd.c
• Ivy_Edge_t : ivy.h
• Ivy_Eva_t : ivyMulti.c
• IVY_EVAL_LIMIT : ivyMulti.c
• Ivy_Eval_t : ivyMulti8.c
• IVY_EXOR : ivy.h
• Ivy_Exor() : ivy.h, ivyOper.c
• Ivy_FastMapArea_rec() : ivyFastMap.c
• Ivy_FastMapCutCost() : ivyFastMap.c
• Ivy_FastMapMark_rec() : ivyFastMap.c
• Ivy_FastMapNodeArea2() : 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_FastMapNodeRecover2() : ivyFastMap.c
• Ivy_FastMapNodeRecover4() : ivyFastMap.c
• Ivy_FastMapNodeUpdate() : ivyFastMap.c
• Ivy_FastMapNodeWillGrow() : ivyFastMap.c
• Ivy_FastMapPerform() : ivy.h, ivyFastMap.c
• Ivy_FastMapReadSupp() : ivy.h, 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_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_FraigExtractCone() : ivyFraig.c
• Ivy_FraigExtractCone_rec() : ivyFraig.c
• Ivy_FraigForEachBinNode : ivyFraig.c
• Ivy_FraigForEachClassNode : ivyFraig.c
• Ivy_FraigForEachEquivClass : ivyFraig.c
• Ivy_FraigForEachEquivClassSafe : ivyFraig.c
• Ivy_FraigInsertClass() : ivyFraig.c
• Ivy_FraigList_t : ivyFraig.c
• Ivy_FraigMan_t : ivyFraig.c
• Ivy_FraigMiter() : ivy.h, ivyFraig.c
• Ivy_FraigObjAddToFrontier() : ivyFraig.c
• Ivy_FraigParams_t : ivy.h
• Ivy_FraigParamsDefault() : ivy.h, ivyFraig.c
• Ivy_FraigPerform() : ivy.h, 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_rec() : ivyFraig.c
• Ivy_FraigSim_t : ivyFraig.c
• Ivy_FraigSimulateOne() : ivyFraig.c
• Ivy_FraigSimulateOneSim() : ivyFraig.c
• Ivy_GraphToNetwork() : ivyRwr.c
• Ivy_GraphUpdateNetwork3() : ivyRwr.c
• IVY_INFINITY : ivyFastMap.c
• IVY_INIT_0 : ivy.h
• IVY_INIT_1 : ivy.h
• IVY_INIT_DC : ivy.h
• IVY_INIT_NONE : ivy.h
• Ivy_Init_t : ivy.h
• IVY_LATCH : ivy.h
• Ivy_Latch() : ivy.h, ivyOper.c
• IVY_LEAF_BITS : ivy.h
• IVY_LEAF_MASK : ivy.h
• Ivy_Maj() : ivy.h, ivyOper.c
• Ivy_Man_t : ivy.h
• Ivy_ManAddMemory() : ivy.h, ivyMem.c
• Ivy_ManBalance() : ivy.h, ivyBalance.c
• 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_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_ManFindAlgCut_rec() : ivyRwrAlg.c
• Ivy_ManFindAlgCutCompare() : ivyRwrAlg.c
• Ivy_ManFindBoolCut() : ivyCut.c
• Ivy_ManFindBoolCut_rec() : ivyCut.c
• Ivy_ManFindBoolCutCost() : ivyCut.c
• Ivy_ManForEachCi : ivy.h
• Ivy_ManForEachCo : ivy.h
• Ivy_ManForEachLatch : ivy.h
• Ivy_ManForEachNode : ivy.h
• Ivy_ManForEachNodeVec : ivy.h
• Ivy_ManForEachObj : ivy.h
• Ivy_ManForEachPi : ivy.h
• Ivy_ManForEachPo : ivy.h
• Ivy_ManFrames() : ivy.h, ivyMan.c
• Ivy_ManHaigCountChoices() : ivyHaig.c
• Ivy_ManHaigCreateChoice() : ivy.h, ivyHaig.c
• Ivy_ManHaigCreateObj() : ivy.h, ivyHaig.c
• Ivy_ManHaigPostprocess() : ivy.h, ivyHaig.c
• Ivy_ManHaigSimulate() : ivy.h, ivyHaig.c
• Ivy_ManHaigStart() : ivy.h, ivyHaig.c
• Ivy_ManHaigStop() : ivy.h, ivyHaig.c
• Ivy_ManHaigTrasfer() : ivy.h, ivyHaig.c
• Ivy_ManIncrementTravId() : ivy.h, ivyUtil.c
• 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_ManLevelize() : ivy.h, ivyDfs.c
• Ivy_ManLevels() : ivy.h, ivyUtil.c
• Ivy_ManMakeSeq() : ivy.h, ivyMan.c
• Ivy_ManPrintStats() : ivy.h, ivyMan.c
• Ivy_ManPrintVerbose() : ivy.h, ivyUtil.c
• Ivy_ManPropagateBuffers() : ivy.h, ivyMan.c
• Ivy_ManRequiredLevels() : ivy.h, ivyDfs.c
• Ivy_ManResetLevels() : ivy.h, ivyUtil.c
• Ivy_ManResetLevels_rec() : ivyUtil.c
• Ivy_ManResyn() : ivy.h, ivyResyn.c
• Ivy_ManResyn0() : ivy.h, ivyResyn.c
• Ivy_ManRewriteAlg() : ivy.h, ivyRwrAlg.c
• Ivy_ManRewritePre() : ivy.h, ivyRwr.c
• Ivy_ManRewriteSeq() : ivy.h, ivySeq.c
• Ivy_ManRwsat() : ivy.h, ivyResyn.c
• Ivy_ManSeqFindCut() : ivy.h, ivyCut.c
• Ivy_ManSeqFindCut_int() : ivyCut.c
• Ivy_ManSeqRewrite() : ivy.h
• Ivy_ManSetLevels() : ivy.h, ivyDfs.c
• Ivy_ManSetLevels_rec() : ivyDfs.c
• Ivy_ManShow() : ivy.h, ivyShow.c
• 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_MAX : ivy.h
• IVY_MIN : ivy.h
• Ivy_Miter() : ivy.h, ivyOper.c
• Ivy_Multi() : ivy.h, ivyMulti8.c, ivyOper.c
• Ivy_Multi1() : ivy.h, ivyMulti8.c
• Ivy_Multi2() : ivyMulti8.c
• Ivy_Multi_rec() : ivy.h, ivyMulti8.c, ivyOper.c
• Ivy_MultiBalance_rec() : ivy.h, ivyMulti8.c
• Ivy_MultiPlus() : ivy.h, ivyMulti.c
• Ivy_Mux() : ivy.h, ivyOper.c
• Ivy_NodeAddToClass() : ivyFraig.c
• Ivy_NodeAssignConst() : ivyFraig.c
• Ivy_NodeAssignRandom() : ivyFraig.c
• Ivy_NodeBalanceBuildSuper() : ivy.h, ivyBalance.c
• Ivy_NodeBalanceCone_rec() : ivyBalance.c
• Ivy_NodeCompactCuts() : ivyCut.c
• Ivy_NodeCompareLevelsDecrease() : ivyBalance.c
• Ivy_NodeCompareSims() : ivyFraig.c
• Ivy_NodeComplementSim() : ivyFraig.c
• Ivy_NodeComputeVolume2() : ivyCutTrav.c
• Ivy_NodeComputeVolumeTrav1_rec() : ivyCutTrav.c
• Ivy_NodeComputeVolumeTrav2_rec() : ivyCutTrav.c
• Ivy_NodeCountMffc_rec() : ivyRwrAlg.c
• Ivy_NodeCutFindOrAdd() : ivyCut.c
• Ivy_NodeCutFindOrAddFilter() : ivyCut.c
• Ivy_NodeFindCutsAll() : ivy.h, ivyCut.c
• Ivy_NodeFindCutsTravAll() : ivyCutTrav.c
• Ivy_NodeFixBufferFanins() : ivy.h, ivyObj.c
• Ivy_NodeGetTruth_rec() : ivyRwr.c
• Ivy_NodeHash() : ivyFraig.c
• Ivy_NodeHasZeroSim() : ivyFraig.c
• Ivy_NodePrintCut() : ivyCut.c
• Ivy_NodePrintCuts() : ivyCut.c
• Ivy_NodeSimulate() : ivyFraig.c
• Ivy_NodeSimulateSim() : ivyFraig.c
• IVY_NONE : ivy.h
• Ivy_Obj_t : ivy.h
• Ivy_ObjAddFanout() : ivy.h, ivyFanout.c
• Ivy_ObjCollectFanouts() : ivy.h, ivyFanout.c
• Ivy_ObjConnect() : ivy.h, ivyObj.c
• Ivy_ObjCreate() : ivy.h, ivyObj.c
• Ivy_ObjCreatePi() : ivy.h, ivyObj.c
• Ivy_ObjCreatePo() : ivy.h, ivyObj.c
• Ivy_ObjDelete() : ivy.h, ivyObj.c
• Ivy_ObjDelete_rec() : ivy.h, ivyObj.c
• Ivy_ObjDeleteFanout() : ivy.h, ivyFanout.c
• Ivy_ObjDisconnect() : ivy.h, ivyObj.c
• Ivy_ObjFanoutNum() : ivy.h, ivyFanout.c
• Ivy_ObjForEachFanout : ivy.h
• Ivy_ObjForEachFanoutInt : ivyFanout.c
• Ivy_ObjForEachFanoutIntSafe : ivyFanout.c
• Ivy_ObjGetTruthStore() : ivyUtil.c
• Ivy_ObjIsInTfi_rec() : ivyHaig.c
• Ivy_ObjIsMuxType() : ivy.h, ivyUtil.c
• Ivy_ObjLevelRNew() : ivyUtil.c
• Ivy_ObjMffcLabel() : ivy.h, ivyUtil.c
• Ivy_ObjPatchFanin0() : ivy.h, ivyObj.c
• Ivy_ObjPatchFanout() : ivy.h, ivyFanout.c
• Ivy_ObjPrintVerbose() : ivy.h, ivyUtil.c
• Ivy_ObjReadFirstFanout() : ivy.h, ivyFanout.c
• Ivy_ObjReal() : ivy.h, ivyUtil.c
• Ivy_ObjRecognizeMux() : ivy.h, ivyUtil.c
• Ivy_ObjRefDeref() : ivyUtil.c
• Ivy_ObjReplace() : ivy.h, ivyObj.c
• Ivy_ObjUpdateLevel_rec() : ivy.h, ivyUtil.c
• Ivy_ObjUpdateLevelR_rec() : ivy.h, ivyUtil.c
• Ivy_Oper() : ivy.h, ivyOper.c
• Ivy_Or() : ivy.h, ivyOper.c
• IVY_PAGE_MASK : hopMem.c, ivyMem.c
• IVY_PAGE_SIZE : hopMem.c, ivyMem.c
• IVY_PI : ivy.h
• IVY_PO : ivy.h
• Ivy_Store_t : ivy.h
• Ivy_Supp_t : ivyFastMap.c
• Ivy_SuppMan_t : ivyFastMap.c
• Ivy_TableCountEntries() : ivy.h, ivyTable.c
• Ivy_TableDelete() : ivy.h, ivyTable.c
• Ivy_TableInsert() : ivy.h, ivyTable.c
• Ivy_TableLookup() : ivy.h, ivyTable.c
• Ivy_TableProfile() : ivy.h, ivyTable.c
• Ivy_TableUpdate() : ivy.h, ivyTable.c
• Ivy_TruthDsd() : ivy.h, ivyDsd.c
• Ivy_TruthDsdCompute() : ivy.h, ivyDsd.c
• Ivy_TruthDsdCompute_rec() : ivyDsd.c
• Ivy_TruthDsdComputePrint() : ivy.h, ivyDsd.c
• Ivy_TruthDsdPrint() : ivy.h, ivyDsd.c
• Ivy_TruthDsdPrint_rec() : ivyDsd.c
• Ivy_TruthTestOne() : ivyDsd.c
• Ivy_Type_t : ivy.h
• IVY_VOID : ivy.h
• iword : abc_global.h