- i -

• IdCompare() : resCompose.c
• IdListCompare() : resCompose.c
• ImageByInputSplit() : imgTfmFwd.c
• ImageByOutputSplit() : imgTfmFwd.c
• ImageByStaticInputSplit() : imgTfmFwd.c
• ImageComputeMonolithic() : imgMonolithic.c
• ImageDecomposeAndChooseSplitVar() : imgTfmFwd.c
• ImageFast2() : imgTfmFwd.c
• ImageKeyCompare() : imgTfmCache.c
• ImageKeySortCompare() : imgTfmCache.c
• Imc_ComputeApproxPreimageByQuantification() : imcImc.c
• Imc_ComputeLowerPreimage() : imcImc.c
• Imc_ComputeLowerPreimageBySubsetTR() : imcImc.c
• Imc_ComputeUpperPreimage() : imcImc.c
• Imc_End() : imcCmd.c
• Imc_GetLowerSat() : imcImc.c
• Imc_GetUpperSat() : imcImc.c
• Imc_ImcEvaluateCTLFormula() : imcImc.c
• Imc_ImcEvaluateEGApprox() : imcImc.c
• Imc_ImcEvaluateEUApprox() : imcImc.c
• Imc_ImcEvaluateEXApprox() : imcImc.c
• Imc_ImcEvaluateFormulaLinearRefine() : imcImc.c
• Imc_ImcInfoFree() : imcImc.c
• Imc_ImcInfoInitialize() : imcImc.c
• Imc_ImcPrintApproxSystemSize() : imcImc.c
• Imc_ImcPrintSystemSize() : imcImc.c
• Imc_ImcSystemInfoUpdate() : imcImc.c
• Imc_ImcVerifyFormula() : imcImc.c
• Imc_Init() : imcCmd.c
• Imc_LowerSystemInfoFree() : imcImc.c
• Imc_LowerSystemInfoInitialize() : imcImc.c
• Imc_LowerSystemMinimize() : imcImc.c
• Imc_NodeInfoFree() : imcImc.c
• Imc_NodeInfoInitialize() : imcImc.c
• Imc_NodeInfoReset() : imcImc.c
• Imc_ProductAbstract() : imcImc.c
• Imc_SatCheck() : imcImc.c
• Imc_SystemInfoFree() : imcImc.c
• Imc_SystemInfoInitialize() : imcImc.c
• Imc_UpperSystemInfoFree() : imcImc.c
• Imc_UpperSystemInfoInitialize() : imcImc.c
• Imc_UpperSystemMinimize() : imcImc.c
• ImcCreateScheduleArray() : imcImc.c
• ImcModelCheckAndFormula() : imcImc.c
• ImcModelCheckAtomicFormula() : imcImc.c
• ImcModelCheckNotFormula() : imcImc.c
• ImcModelCheckTrueFalseFormula() : imcImc.c
• ImcNodeInfoTableFree() : imcImc.c
• ImcPrintLatchInApproxSystem() : imcImc.c
• Img_AbstractTransitionRelation() : imgUtil.c
• Img_AddDontCareToImage() : imgUtil.c
• Img_ApproximateImage() : imgUtil.c
• Img_ApproximateTransitionRelation() : imgUtil.c
• Img_ClusterRelationArray() : imgIwls95.c
• Img_ComposeIntermediateNodes() : imgUtil.c
• Img_CutCalcTransitiveFanin() : partFine.c
• Img_DupTransitionRelation() : imgUtil.c
• Img_End() : imgUtil.c
• Img_ForwardImageInfoConjoinWithWinningStrategy() : imgIwls95.c
• Img_ForwardImageInfoRecoverFromWinningStrategy() : imgIwls95.c
• Img_GetNumberOfImageComputation() : imgUtil.c
• Img_GetPartitionedTransitionRelation() : imgUtil.c
• Img_GuidedSearchReadOverApproxMinimizeMethod() : imgUtil.c
• Img_GuidedSearchReadUnderApproxMinimizeMethod() : imgUtil.c
• Img_ImageAllowPartialImage() : imgUtil.c
• Img_ImageConstrainAndClusterTransitionRelation() : imgUtil.c
• Img_ImageGetUnreachableStates() : imgIwls95.c
• Img_ImageInfoComputeBwd() : imgUtil.c
• Img_ImageInfoComputeBwdWithDomainVars() : imgUtil.c
• Img_ImageInfoComputeEXWithDomainVars() : imgUtil.c
• Img_ImageInfoComputeFwd() : imgUtil.c
• Img_ImageInfoComputeFwdWithDomainVars() : imgUtil.c
• Img_ImageInfoComputeImageWithDomainVars() : imgUtil.c
• Img_ImageInfoComputePreImageWithDomainVars() : imgUtil.c
• Img_ImageInfoFree() : imgUtil.c
• Img_ImageInfoFreeFAFW() : imgUtil.c
• Img_ImageInfoInitialize() : imgUtil.c
• Img_ImageInfoObtainMethodType() : imgUtil.c
• Img_ImageInfoObtainMethodTypeAsString() : imgUtil.c
• Img_ImageInfoObtainOptimizeType() : imgUtil.c
• Img_ImageInfoPrintMethodParams() : imgUtil.c
• Img_ImageInfoResetLinearComputeRange() : imgUtil.c
• Img_ImageInfoResetUseOptimizedRelationFlag() : imgUtil.c
• Img_ImageInfoSetLinearComputeRange() : imgUtil.c
• Img_ImageInfoSetUseOptimizedRelationFlag() : imgUtil.c
• Img_ImageInfoUpdateVariables() : imgUtil.c
• Img_ImagePrintPartialImageOptions() : imgUtil.c
• Img_ImageWasPartial() : imgUtil.c
• Img_Init() : imgUtil.c
• Img_IsPartitionedTransitionRelation() : imgUtil.c
• Img_IsQuantifyArraySame() : imgUtil.c
• Img_IsQuantifyCubeSame() : imgUtil.c
• Img_IsTransitionRelationOptimized() : imgIwls95.c
• Img_MinimizeImage() : imgUtil.c
• Img_MinimizeImageArray() : imgUtil.c
• Img_MinimizeTransitionRelation() : imgUtil.c
• Img_MultiwayLinearAndSmooth() : imgIwls95.c
• Img_PrintHybridOptions() : imgHybrid.c
• Img_PrintMlpOptions() : imgMlp.c
• Img_PrintPartitionedTransitionRelation() : imgIwls95.c
• Img_PrintTfmOptions() : imgTfm.c
• Img_ReadMinimizeMethod() : imgUtil.c
• Img_ReadPrintMinimizeStatus() : imgUtil.c
• Img_ReorderPartitionedTransitionRelation() : imgIwls95.c
• Img_ReplaceIthPartitionedTransitionRelation() : imgUtil.c
• Img_ReplacePartitionedTransitionRelation() : imgUtil.c
• Img_ResetNumberOfImageComputation() : imgUtil.c
• Img_ResetTrMinimizedFlag() : imgUtil.c
• Img_RestoreTransitionRelation() : imgUtil.c
• Img_SetPrintMinimizeStatus() : imgUtil.c
• Img_Substitute() : imgUtil.c
• Img_TfmCheckGlobalCache() : imgTfmCache.c
• Img_TfmFlushCache() : imgTfmCache.c
• Img_TfmGetCacheStatistics() : imgTfmCache.c
• Img_TfmGetRecursionStatistics() : imgTfm.c
• Img_TfmPrintCacheStatistics() : imgTfmCache.c
• Img_TfmPrintRecursionStatistics() : imgTfm.c
• Img_TfmPrintStatistics() : imgTfm.c
• Img_UpdateQuantificationSchedule() : imgIwls95.c
• Img_UserSpecifiedMethod() : imgUtil.c
• ImgAbstractRelationArray() : imgTfmUtil.c
• ImgAbstractTransitionFunction() : imgTfm.c
• ImgAbstractTransitionRelationIwls95() : imgIwls95.c
• ImgAbstractTransitionRelationMono() : imgMonolithic.c
• ImgAddDontCareToTransitionFunction() : imgTfm.c
• ImgAddDontCareToTransitionRelationMono() : imgMonolithic.c
• ImgApproximateTransitionFunction() : imgTfm.c
• ImgApproximateTransitionRelationIwls95() : imgIwls95.c
• ImgApproximateTransitionRelationMono() : imgMonolithic.c
• ImgArrayBddArrayCheckValidity() : imgUtil.c
• ImgBddArrayCheckValidity() : imgUtil.c
• ImgBddCheckValidity() : imgUtil.c
• ImgBddGetSupportIdTable() : imgIwls95.c
• ImgBddLinearAndSmooth() : imgIwls95.c
• ImgCacheDestroyTable() : imgTfmCache.c
• ImgCacheInitTable() : imgTfmCache.c
• ImgCacheInsertTable() : imgTfmCache.c
• ImgCacheLookupTable() : imgTfmCache.c
• ImgCheckConstConstrain() : imgTfmUtil.c
• ImgCheckEquivalence() : imgHybrid.c
• ImgCheckMatching() : imgHybrid.c
• ImgCheckRangeTestAndOverapproximate() : imgLinear.c
• ImgCheckToCareSetArrayChanged() : imgUtil.c
• ImgChooseTrSplitVar() : imgTfmFwd.c
• ImgClusterRelationArray() : imgIwls95.c
• ImgCofactorRelationArray() : imgTfmUtil.c
• ImgCofactorVector() : imgTfmUtil.c
• ImgComponentAlloc() : imgTfmUtil.c
• ImgComponentCopy() : imgTfmUtil.c
• ImgComponentFree() : imgTfmUtil.c
• ImgComponentGetSupport() : imgTfmUtil.c
• ImgComposeConstIntermediateVars() : imgTfmUtil.c
• ImgConstConstrain() : imgTfmUtil.c
• ImgCountBddSupports() : imgTfmUtil.c
• ImgCountOnsetDisjunctiveArray() : imgLinear.c
• ImgDecideSplitOrConjoin() : imgHybrid.c
• ImgDuplicateTransitionFunction() : imgTfm.c
• ImgDuplicateTransitionRelationIwls95() : imgIwls95.c
• ImgDuplicateTransitionRelationMono() : imgMonolithic.c
• ImgExistConstIntermediateVar() : imgTfmUtil.c
• ImgFlushCache() : imgTfmCache.c
• ImgFreeTrmOptions() : imgIwls95.c
• ImgGetAbstractedCofactoredRelationArray() : imgTfmUtil.c
• ImgGetAbstractedRelationArray() : imgTfmUtil.c
• ImgGetCofactoredAbstractedRelationArray() : imgTfmUtil.c
• ImgGetCofactoredRelationArray() : imgTfmUtil.c
• ImgGetCofactoredVector() : imgTfmUtil.c
• ImgGetComposedFunction() : imgTfmUtil.c
• ImgGetConstrainedRelationArray() : imgTfmUtil.c
• ImgGetConstrainedVector() : imgTfmUtil.c
• ImgGetLatchComponent() : imgTfmUtil.c
• ImgGetPartialImageOptions() : imgUtil.c
• ImgGetQuantificationSchedule() : imgIwls95.c
• ImgGetTransitionFunction() : imgTfm.c
• ImgGetTransitionRelationIwls95() : imgIwls95.c
• ImgGetTrmOptions() : imgIwls95.c
• ImgImageAllowPartialImageIwls95() : imgIwls95.c
• ImgImageByHybrid() : imgHybrid.c
• ImgImageByHybridWithStaticSplit() : imgHybrid.c
• ImgImageConstrainAndClusterTransitionRelationIwls95OrMlp() : imgIwls95.c
• ImgImageConstrainAndClusterTransitionRelationMono() : imgMonolithic.c
• ImgImageConstrainAndClusterTransitionRelationTfm() : imgTfm.c
• ImgImageFreeClusteredTransitionRelationIwls95() : imgIwls95.c
• ImgImageFreeClusteredTransitionRelationTfm() : imgTfm.c
• ImgImageInfoComputeBwdIwls95() : imgIwls95.c
• ImgImageInfoComputeBwdMono() : imgMonolithic.c
• ImgImageInfoComputeBwdTfm() : imgTfm.c
• ImgImageInfoComputeBwdWithDomainVarsIwls95() : imgIwls95.c
• ImgImageInfoComputeBwdWithDomainVarsMono() : imgMonolithic.c
• ImgImageInfoComputeBwdWithDomainVarsTfm() : imgTfm.c
• ImgImageInfoComputeFwdIwls95() : imgIwls95.c
• ImgImageInfoComputeFwdMono() : imgMonolithic.c
• ImgImageInfoComputeFwdTfm() : imgTfm.c
• ImgImageInfoComputeFwdWithDomainVarsIwls95() : imgIwls95.c
• ImgImageInfoComputeFwdWithDomainVarsMono() : imgMonolithic.c
• ImgImageInfoComputeFwdWithDomainVarsTfm() : imgTfm.c
• ImgImageInfoFreeIwls95() : imgIwls95.c
• ImgImageInfoFreeMono() : imgMonolithic.c
• ImgImageInfoFreeTfm() : imgTfm.c
• ImgImageInfoInitializeIwls95() : imgIwls95.c
• ImgImageInfoInitializeMono() : imgMonolithic.c
• ImgImageInfoInitializeTfm() : imgTfm.c
• ImgImageInfoPrintMethodParamsIwls95() : imgIwls95.c
• ImgImageInfoPrintMethodParamsMono() : imgMonolithic.c
• ImgImageInfoPrintMethodParamsTfm() : imgTfm.c
• ImgImageWasPartialIwls95() : imgIwls95.c
• ImgIsPartitionedTransitionRelationTfm() : imgTfm.c
• ImgLinearAddConjunctIntoArray() : imgLinear.c
• ImgLinearAddConjunctIntoClusterArray() : imgLinear.c
• ImgLinearAddNextStateCase() : imgLinear.c
• ImgLinearAddSingletonCase() : imgLinear.c
• ImgLinearBuildConjunctArrayWithQuotientCC() : imgLinear.c
• ImgLinearBuildInitialCandidate() : imgLinear.c
• ImgLinearCAPOInterfaceAux() : imgLinear.c
• ImgLinearCAPOInterfaceConjunctNet() : imgLinear.c
• ImgLinearCAPOInterfaceConjunctNodes() : imgLinear.c
• ImgLinearCAPOInterfaceConjunctPl() : imgLinear.c
• ImgLinearCAPOInterfaceConjunctScl() : imgLinear.c
• ImgLinearCAPOInterfaceVariableNet() : imgLinear.c
• ImgLinearCAPOInterfaceVariableNodes() : imgLinear.c
• ImgLinearCAPOInterfaceVariablePl() : imgLinear.c
• ImgLinearCAPOInterfaceVariableScl() : imgLinear.c
• ImgLinearCAPOReadConjunctOrder() : imgLinear.c
• ImgLinearCAPOReadVariableOrder() : imgLinear.c
• ImgLinearCAPORun() : imgLinear.c
• ImgLinearClustering() : imgLinear.c
• ImgLinearClusteringByConstraints() : imgLinear.c
• ImgLinearClusteringIteratively() : imgLinear.c
• ImgLinearClusteringPairSmooth() : imgLinear.c
• ImgLinearClusteringSmooth() : imgLinear.c
• ImgLinearClusterRelationArray() : imgLinear.c
• ImgLinearClusterSameSupportSet() : imgLinear.c
• ImgLinearClusterUsingHeap() : imgLinear.c
• ImgLinearCompareAffinityDeadLive() : imgLinear.c
• ImgLinearCompareConjunctDummy() : imgLinear.c
• ImgLinearCompareConjunctIndex() : imgLinear.c
• ImgLinearCompareConjunctRangeMinusDomain() : imgLinear.c
• ImgLinearCompareConjunctSize() : imgLinear.c
• ImgLinearCompareDeadAffinityLive() : imgLinear.c
• ImgLinearCompareDeadLiveAffinity() : imgLinear.c
• ImgLinearCompareLiveAffinityDead() : imgLinear.c
• ImgLinearCompareVarDummyLarge() : imgLinear.c
• ImgLinearCompareVarEffFromLarge() : imgLinear.c
• ImgLinearCompareVarEffFromSmall() : imgLinear.c
• ImgLinearCompareVarId() : imgLinear.c
• ImgLinearCompareVarIndex() : imgLinear.c
• ImgLinearCompareVarSize() : imgLinear.c
• ImgLinearComputeLifeTime() : imgLinear.c
• ImgLinearConjunctArrayRefine() : imgLinear.c
• ImgLinearConjunctionOrder() : imgLinear.c
• ImgLinearConjunctOrderMain() : imgLinear.c
• ImgLinearConjunctOrderMainCC() : imgLinear.c
• ImgLinearConjunctQuit() : imgLinear.c
• ImgLinearConjunctRefine() : imgLinear.c
• ImgLinearConnectedComponent() : imgLinear.c
• ImgLinearExpandSameSupportSet() : imgLinear.c
• ImgLinearExtractNextStateCase() : imgLinear.c
• ImgLinearExtractRelationArray() : imgLinear.c
• ImgLinearExtractRelationArrayT() : imgLinear.c
• ImgLinearExtractSingletonCase() : imgLinear.c
• ImgLinearFindConnectedComponent() : imgLinear.c
• ImgLinearFindSameSupportConjuncts() : imgLinear.c
• ImgLinearFreeSmoothArray() : imgLinear.c
• ImgLinearGetSupportBddId() : imgLinear.c
• ImgLinearHeapCompareAffinityDeadLive() : imgLinear.c
• ImgLinearHeapCompareDeadAffinityLive() : imgLinear.c
• ImgLinearHeapCompareDeadLiveAffinity() : imgLinear.c
• ImgLinearHeapCompareLiveAffinityDead() : imgLinear.c
• ImgLinearInsertClusterCandidate() : imgLinear.c
• ImgLinearInsertPairClusterCandidate() : imgLinear.c
• ImgLinearIsSameConjunct() : imgLinear.c
• ImgLinearMakeSmoothVarBdd() : imgLinear.c
• ImgLinearOptimizeAll() : imgLinear.c
• ImgLinearOptimizeInternalVariables() : imgLinear.c
• ImgLinearOptimizeStateVariables() : imgLinear.c
• ImgLinearPrintDebugInfo() : imgLinear.c
• ImgLinearPrintMatrix() : imgLinear.c
• ImgLinearPrintMatrixFull() : imgLinear.c
• ImgLinearPrintTransitionInfo() : imgLinear.c
• ImgLinearPrintVariableProfile() : imgLinear.c
• ImgLinearPropagateConstant() : imgLinear.c
• ImgLinearQuantifyVariablesFromConjunct() : imgLinear.c
• ImgLinearRefineRelation() : imgLinear.c
• ImgLinearRelationInit() : imgLinear.c
• ImgLinearRelationQuit() : imgLinear.c
• ImgLinearSetEffectiveNumberOfStateVariable() : imgLinear.c
• ImgLinearUpdateVariableArrayWithId() : imgLinear.c
• ImgLinearVariableArrayInit() : imgLinear.c
• ImgLinearVariableArrayQuit() : imgLinear.c
• ImgLinearVariableLifeQuit() : imgLinear.c
• ImgLinearVariableOrder() : imgLinear.c
• ImgMinimizeImageArrayWithCareSetArray() : imgUtil.c
• ImgMinimizeImageArrayWithCareSetArrayInSitu() : imgUtil.c
• ImgMinimizeTransitionFunction() : imgTfm.c
• ImgMinimizeTransitionRelationIwls95() : imgIwls95.c
• ImgMinimizeTransitionRelationMono() : imgMonolithic.c
• ImgMlpClusterRelationArray() : imgMlp.c
• ImgMlpComputeLambda() : imgMlp.c
• ImgMlpGetQuantificationSchedule() : imgMlp.c
• ImgMlpMultiwayAndSmooth() : imgMlp.c
• ImgMlpOrderRelationArray() : imgMlp.c
• ImgMlpPrintDependenceMatrix() : imgMlp.c
• ImgMlpReadClusterFile() : imgMlp.c
• ImgMlpWriteClusterFile() : imgMlp.c
• ImgMultiwayLinearAndSmooth() : imgIwls95.c
• ImgMultiwayLinearAndSmoothWithFrom() : imgIwls95.c
• ImgPercentVectorDependency() : imgTfmUtil.c
• ImgPreImageByHybrid() : imgHybrid.c
• ImgPreImageByHybridWithStaticSplit() : imgHybrid.c
• ImgPrintCacheStatistics() : imgTfmCache.c
• ImgPrintIntegerArray() : imgIwls95.c
• ImgPrintPartialImageOptions() : imgUtil.c
• ImgPrintPartition() : imgIwls95.c
• ImgPrintPartitionedTransitionRelation() : imgIwls95.c
• ImgPrintVarIdTable() : imgUtil.c
• ImgPrintVectorDependency() : imgTfmUtil.c
• ImgReplaceIthPartitionedTransitionRelationIwls95() : imgIwls95.c
• ImgReplaceIthTransitionFunction() : imgTfm.c
• ImgResetMethodDataLinearComputeRange() : imgIwls95.c
• ImgRestoreTransitionFunction() : imgTfm.c
• ImgRestoreTransitionRelationIwls95() : imgIwls95.c
• ImgRestoreTransitionRelationMono() : imgMonolithic.c
• ImgSetMethodDataLinearComputeRange() : imgIwls95.c
• ImgSubstitute() : imgUtil.c
• ImgSubstituteArray() : imgUtil.c
• ImgSupportClear() : imgTfmUtil.c
• ImgSupportCopy() : imgTfmUtil.c
• ImgSupportCount() : imgTfmUtil.c
• ImgSupportPrint() : imgTfmUtil.c
• ImgTfmEliminateDependVars() : imgTfmUtil.c
• ImgTfmGetOptions() : imgTfm.c
• ImgTfmImage() : imgTfmFwd.c
• ImgTfmPreImage() : imgTfmBwd.c
• ImgTrmEliminateDependVars() : imgIwls95.c
• ImgUpdateTransitionFunction() : imgTfm.c
• ImgUpdateTransitionRelationIwls95() : imgIwls95.c
• ImgVectorBddSize() : imgTfmUtil.c
• ImgVectorConstrain() : imgTfmUtil.c
• ImgVectorCopy() : imgTfmUtil.c
• ImgVectorFree() : imgTfmUtil.c
• ImgVectorFunctionSize() : imgTfmUtil.c
• ImgVectorMinimize() : imgTfmUtil.c
• ImgWriteSupportMatrix() : imgTfmUtil.c
• IncrementalImageCompute() : fsmReach.c
• indexCompare() : baigAllSat.c
• init_heur() : ordPerm.c
• Initializebdd_manager() : res.c
• InitializeIncrementalParameters() : fsmReach.c
• InitializeVariableManager() : resSmartVarUse.c
• InitQueue() : truesimMain.c
• InsertFanouts() : truesimMain.c
• InsertInBin() : truesimMain.c
• InsertInputEvents() : truesimMain.c
• InsertMlTable() : synthFactor.c
• IntegersCompare() : ordIo.c
• InvarPrintDebugInformation() : mcMc.c
• Io_BlifMvRead() : ioReadBlifMv.c
• Io_BlifRead() : ioReadBlifMv.c
• Io_End() : ioCmd.c
• Io_HnodeWriteBlif() : ioWriteBlif.c
• Io_HnodeWriteBlifTotal() : ioWriteBlif.c
• Io_Init() : ioCmd.c
• Io_SmvPrintVar() : ioWriteSmv.c
• IoAtoi() : ioParse.c
• IoBlifMvWrite() : ioWriteBlifMv.c
• IoBlifWriteInputs() : ioWriteBlifIo.c
• IoBlifWriteOutputs() : ioWriteBlifIo.c
• IoChangeBlifmvTableEntries() : ioWriteBlifUtil.c
• IoChangeBlifmvTableRows() : ioWriteBlifUtil.c
• IoChangeEncTableEntries() : ioWriteBlifUtil.c
• IoEncodeVariable() : ioWriteBlifUtil.c
• IoEncWriteBinToMvTables() : ioWriteBlifIo.c
• IoEncWriteMvToBinTables() : ioWriteBlifIo.c
• IoError() : ioReadBlifMv.c
• IoFindSmallestCode() : ioWriteBlifUtil.c
• IoFreeBlifInfo() : ioWriteBlifUtil.c
• IoIncreaseCodeSize() : ioWriteBlifUtil.c
• IoInitBlifInfo() : ioWriteBlifUtil.c
• IoInputProcess() : ioParse.c
• IoInvertBinTableOutput() : ioWriteBlifUtil.c
• IoLatchProcess() : ioParse.c
• IoLog() : ioWriteBlifUtil.c
• IoMakeBinaryRangesArray() : ioWriteBlifUtil.c
• IoMakeSingleOutputTable() : ioWriteBlifUtil.c
• IoMvCheckPrint() : ioWriteBlifIo.c
• IoMvCheckPrintSpecial() : ioWriteBlifIo.c
• IoMvPrint() : ioWriteBlifMv.c
• IoMvPrintSpecial() : ioWriteBlifMv.c
• IoMvProcess() : ioParse.c
• IoNameInsertInArray() : ioParse.c
• IoNetworkTestConsistency() : ioCheck.c
• IoNumBinVars() : ioWriteBlifUtil.c
• IoNumDigits() : ioWriteBlifUtil.c
• IoNumEncBits() : ioWriteBlifUtil.c
• IoNumValuesFromBinRangesArray() : ioWriteBlifUtil.c
• IoOutputExpansionRequired() : ioWriteBlifUtil.c
• IoOutputProcess() : ioParse.c
• IoPTableTransformToTable() : ioTable.c
• IoResetProcess() : ioParse.c
• IoSmvPrint() : ioWriteSmv.c
• IoSmvPrintSpecial() : ioWriteSmv.c
• IoSmvWrite() : ioWriteSmv.c
• IoStringArrayFree() : ioParse.c
• IoSubcktProcess() : ioParse.c
• IoSymCubeInsertInArray() : ioParse.c
• IoSymValueAlloc() : ioTable.c
• IoSymValueArrayFree() : ioTable.c
• IoSymValueInsertInArray() : ioParse.c
• IoTableProcess() : ioParse.c
• IoVariableFindOrAllocByName() : ioParse.c
• IoVarIsHnodePIO() : ioWriteBlifUtil.c
• IoWriteBinTablesToFile() : ioWriteBlifIo.c
• IoWriteExpandedValueToBinTable() : ioWriteBlifIo.c
• IoWriteLatches() : ioWriteBlifIo.c
• IPManagerAlloc() : puresatIPUtil.c
• IPManagerFree() : puresatIPUtil.c
• IsCubeFree() : synthGen.c
• IsMemberOperatorSetGSH() : mcGFP.c
• IsNullSupport() : synthOpt.c
• IsPartitionValid() : restrCmd.c , synthSynth.c
• IsSubsetOfSupportForOneWord() : synthOpt.c
• IterativeModelCheckUsage() : imcCmd.c
• Iwls95InfoStructAlloc() : imgIwls95.c