- r -

• random_permutation() : ordPerm.c
• RandomCompare() : fsmHD.c
• RandomSimulation() : fsmReach.c
• RangeCompare() : tblEntryUtil.c
• RangeofSignalinFormula() : mcCover.c
• readInputProbabilities() : restrCmd.c
• readline() : cmdFile.c
• ReadMatchingPairs() : resCmd.c
• ReadOutputOrder() : resCmd.c
• ReadRootLeafMap() : eqvMisc.c
• ReadSetBooleanValue() : imgTfm.c
• ReadSetIntValue() : imgTfm.c
• RebuildTransitionRelation() : imgTfm.c
• RecomputeImageIfNecessary() : imgIwls95.c
• recTC() : mark.c
• RecursiveCluster() : imgMlp.c
• RecursiveDecrementFanoutCount() : resLayer.c
• Redundant() : ltlAutomaton.c
• RefineAnd() : absRefine.c
• RefineFixedPoint() : absRefine.c
• RefineFixedPointIterate() : absRefine.c
• RefineIdentifier() : absRefine.c
• RefineNot() : absRefine.c
• RefinePreImage() : absRefine.c
• RefineVariable() : absRefine.c
• RegionFindNodesRecursively() : ntkGraph.c
• RegionInitializeReferenceCounts() : ntm.c , ntmaig.c
• RelationArraySmoothLocalVars() : imgIwls95.c
• RemoveLocalVarsInCluster() : imgMlp.c
• ReorderPartitionedTransitionRelation() : imgIwls95.c
• ReplaceSimpleFormula() : ctlpUtil.c
• Res_End() : resCmd.c
• Res_Init() : resCmd.c
• Res_NetworkReadResidueInfo() : resRes.c
• Res_NetworkResidueVerify() : res.c
• Res_ResidueInfoFree() : resRes.c
• Res_ResidueInfoFreeCallback() : resRes.c
• Res_ResidueInfoPrint() : resRes.c
• Res_ResidueInfoReadCpuDirectVerif() : resRes.c
• Res_ResidueInfoReadName() : resRes.c
• Res_ResidueInfoReadNumDirectVerifiedOutputs() : resRes.c
• Res_ResidueInfoReadNumInputs() : resRes.c
• Res_ResidueInfoReadNumOfPrimes() : resRes.c
• Res_ResidueInfoReadNumOutputs() : resRes.c
• Res_ResidueInfoReadSuccess() : resRes.c
• RescheduleEvent() : truesimMain.c
• ResComputeCompositionLayers() : resLayer.c
• ResetClusteredCofactoredRelationArray() : imgIwls95.c
• ResetRTree() : satCore.c
• ResidueVerification() : res.c
• ResizeVariableManager() : resSmartVarUse.c
• ResLayerArrayFree() : resLayer.c
• ResLayerPrintInfo() : resLayer.c
• ResNetworkResidueInfoReadOrCreate() : resRes.c
• ResolveConflictNode() : synthFactor.c
• ResResidueFreeVariableManager() : resSmartVarUse.c
• ResResidueInfoAllocate() : resRes.c
• ResResidueInfoAllocatePrimeInfoArray() : resRes.c
• ResResidueInitializeVariableManager() : resSmartVarUse.c
• ResResidueVarAllocate() : resSmartVarUse.c
• ResResidueVarDeallocate() : resSmartVarUse.c
• RestoreContainment() : absRefine.c
• RestoreOldMddIds() : res.c
• Restr_End() : restrCmd.c
• Restr_Init() : restrCmd.c
• RestrAddEqual() : restrUtil.c
• RestrAddMaximum() : restrUtil.c
• RestrAverageBitChange() : restrUtil.c
• RestrBddNodeArrayFromIdArray() : restrUtil.c
• RestrCommandRestructureFsm() : restrRestructure.c
• RestrComputeEquivRelationUsingCofactors() : restrUtil.c
• RestrComputeTrWithGhostEdges() : restrUtil.c
• RestrComputeTRWithIds() : restrUtil.c
• RestrCreateNewStateVars() : restrUtil.c
• RestrCreateProductOutput() : restrUtil.c
• RestrGetEquivRelation() : restrUtil.c
• RestrGetOutputArray() : restrUtil.c
• restrHxygthxz() : restrHammingD.c
• RestrMinimizeFsmByCProj() : restrCProj.c
• RestrMinimizeFsmByFaninFanout() : restrFaninout.c
• RestrNamePrintByMddId() : restrDebug.c
• RestrPrintAllVarNames() : restrDebug.c
• RestrPrintBddNode() : restrDebug.c
• RestrPrintMvfArray() : restrDebug.c
• RestrPrintNameArray() : restrDebug.c
• RestrPrintVarArrayNames() : restrDebug.c
• RestrSelectLeastHammingDStates() : restrHammingD.c
• RestrSetInitialOrder() : restrUtil.c
• RestrTestIsDeterministic() : restrDebug.c
• RestrTestIsEquivRelation() : restrDebug.c
• RestrVerifyFsmEquivBySimulation() : restrDebug.c
• rev_fac() : ordPerm.c
• Rst_CommandGroupComponents() : rstGroup.c
• Rst_End() : rst.c
• Rst_GetNamesUntilNextOption() : rstGroup.c
• Rst_GroupGroupCombLogic() : rstGroup.c
• Rst_GroupGroupLatches() : rstGroup.c
• Rst_GroupRestructureModel() : rstGroup.c
• Rst_GroupRestructureNode() : rstGroup.c
• Rst_Init() : rst.c
• Rst_LoadNameArrayFromFile() : rstGroup.c
• Rst_VartoVarLookup() : rstGroup.c
• RstAddChildComponentsToNewModel() : rst.c
• RstAddParentComponentsToNewModel() : rst.c
• RstCollapseNode() : rst.c
• RstCreateParentGroup() : rstGroup.c
• RstGroupAlloc() : rstGroup.c
• RstGroupBuildModel() : rstGroup.c
• RstGroupComponents() : rstGroup.c
• RstGroupDisjointCheck() : rstGroup.c
• RstGroupFree() : rstGroup.c
• RstGroupNewParentName() : rstGroup.c
• RstGroupPrint() : rstGroup.c
• RstModelPrint() : rstGroup.c
• Rt_CompareResult() : rtMain.c
• Rt_End() : rtMain.c
• Rt_ExecuteVis() : rtMain.c
• RT_Free() : satCore.c
• Rt_FreeArgv() : rtMain.c
• Rt_FreeCommandResult() : rtMain.c
• Rt_FreeCompareItem() : rtMain.c
• Rt_FreeDesignList() : rtMain.c
• Rt_FreeResultProperty() : rtMain.c
• Rt_FreeRtConfig() : rtMain.c
• Rt_Init() : rtMain.c
• Rt_IsNum() : rtMain.c
• Rt_ReadCommandTemplate() : rtMain.c
• Rt_ReadConfigFile() : rtMain.c
• Rt_ReadDesignListFile() : rtMain.c
• Rt_RemoveUnderscore() : rtMain.c
• Rt_SetBooleanValue() : rtMain.c
• Rt_SplitLine() : rtMain.c
• Rt_WriteBatchCommand() : rtMain.c
• Rt_WriteResult() : rtMain.c
• RtCheckInputFileAvailability() : rtMain.c
• RTCreateNode() : puresatIPUtil.c