- r -

• RAbuildSubset() : cuddApprox.c
• Raig_Lit2Var() : saigSimSeq.c
• Raig_LitIsCompl() : saigSimSeq.c
• Raig_LitNot() : saigSimSeq.c
• Raig_LitNotCond() : saigSimSeq.c
• Raig_LitRegular() : saigSimSeq.c
• Raig_ManCreate() : saigSimSeq.c
• Raig_ManCreate_rec() : saigSimSeq.c
• Raig_ManDelete() : saigSimSeq.c
• Raig_ManFindPo() : saigSimSeq.c
• Raig_ManGenerateCounter() : saigSimSeq.c
• Raig_ManSimDeref() : saigSimSeq.c
• Raig_ManSimRef() : saigSimSeq.c
• Raig_ManSimulate() : saigSimSeq.c
• Raig_ManSimulateRound() : saigSimSeq.c
• Raig_Var2Lit() : saigSimSeq.c
• RAmarkNodes() : cuddApprox.c
• rand_int() : cuddGenetic.c
• random() : util_old.h
• random_generator() : cuddAnneal.c
• random_order() : cvrm.c , espresso.h
• read_buf() : deflate.c
• read_cube() : cvrin.c , espresso.h
• read_pla() : cvrin.c , espresso.h
• read_symbolic() : cvrin.c , espresso.h
• readBookshelfNets() : place_test.c
• readBookshelfNodes() : place_test.c
• readBookshelfPlacement() : place_test.c
• readLiveSignal_0() : kliveness.c
• readLiveSignal_k() : kliveness.c
• readLtlFormula() : liveness.c , ltl_parser.c
• realloc() : util_old.h
• reallocPartition() : place_gordian.h , place_partition.c
• reallocPartitions() : place_gordian.h , place_partition.c
• realTimeAbs() : utilFile.c
• reduce() : espresso.h , reduce.c
• reduce_cube() : espresso.h , reduce.c
• reduce_gasp() : gasp.c
• reduceDB() : abcSaucy.c
• ref_nonsingle() : abcSaucy.c
• ref_nonsingle_cell() : abcSaucy.c
• ref_nonsingle_directed() : abcSaucy.c
• ref_nonsingle_undirected() : abcSaucy.c
• Ref_ObjComputeCuts() : darRefact.c
• Ref_ObjPrint() : darRefact.c
• ref_single_cell() : abcSaucy.c
• ref_singleton() : abcSaucy.c
• ref_singleton_directed() : abcSaucy.c
• ref_singleton_undirected() : abcSaucy.c
• refine() : abcSaucy.c
• refine_cell() : abcSaucy.c
• refineByDepGraph() : abcSaucy.c
• refineBySAT() : abcBm.c
• refineBySim1_init() : abcSaucy.c
• refineBySim1_left() : abcSaucy.c
• refineBySim1_other() : abcSaucy.c
• refineBySim2_init() : abcSaucy.c
• refineBySim2_left() : abcSaucy.c
• refineBySim2_other() : abcSaucy.c
• refineIOBySimulation() : abcBm.c
• refinePartition() : place_gordian.h , place_partition.c
• refinePartitions() : place_gordian.h , place_partition.c
• rehash() : st.c , stmm.c
• remove_diffnon() : abcSaucy.c
• reoCheckLevels() : reoCore.c
• reoCheckZeroRefs() : reoCore.c
• reoProfileAplPrint() : reo.h , reoProfile.c
• reoProfileAplStart() : reo.h , reoProfile.c
• reoProfileNodesPrint() : reo.h , reoProfile.c
• reoProfileNodesStart() : reo.h , reoProfile.c
• reoProfileWidthPrint() : reo.h , reoProfile.c
• reoProfileWidthStart() : reo.h , reoProfile.c
• reoProfileWidthStart2() : reo.h , reoProfile.c
• reoProfileWidthVerifyLevel() : reo.h , reoProfile.c
• reoRecursiveDeref() : reoCore.c
• reoReorderArray() : reo.h , reoCore.c
• reoReorderSift() : reo.h , reoSift.c
• reoReorderSwapAdjacentVars() : reo.h , reoSwap.c
• reoResizeStructures() : reo.h , reoCore.c
• reoShuffle() : reoShuffle.c
• reoTransferNodesToUnits_rec() : reo.h , reoTransfer.c
• reoTransferUnitsToNodes_rec() : reo.h , reoTransfer.c
• reoUnitsAddToFreeUnitList() : reoUnits.c
• reoUnitsAddUnitToPlane() : reo.h , reoUnits.c
• reoUnitsGetNextUnit() : reo.h , reoUnits.c
• reoUnitsRecycleUnit() : reo.h , reoUnits.c
• reoUnitsRecycleUnitList() : reo.h , reoUnits.c
• reoUnitsStopDispenser() : reo.h , reoUnits.c
• repartitionFM() : place_gordian.h , place_partition.c
• repartitionHMetis() : place_gordian.h , place_partition.c
• repeated_phase_assignment() : espresso.h , opo.c
• Res_FilterCandidates() : resFilter.c , resInt.h
• Res_FilterCandidatesArea() : resFilter.c , resInt.h
• Res_FilterCollectFaninInfo() : resFilter.c
• Res_FilterCriticalFanin() : resFilter.c
• Res_ManAlloc() : resCore.c
• Res_ManFree() : resCore.c
• Res_NodeDeref_rec() : resDivs.c
• Res_NodeRef_rec() : resDivs.c
• Res_SatAddAnd() : resSat.c
• Res_SatAddConst1() : resSat.c
• Res_SatAddEqual() : resSat.c
• Res_SatProveUnsat() : resInt.h , resSat.c
• Res_SatSimulate() : resInt.h , resSat.c
• Res_SatSimulateConstr() : resSat.c
• Res_SimAdjust() : resSim.c , resSim_old.c
• Res_SimAlloc() : resInt.h , resSim.c , resSim_old.c
• Res_SimCollectPatterns() : resSim.c
• Res_SimCountResults() : resSim.c
• Res_SimDeriveInfoComplement() : resSim.c , resSim_old.c
• Res_SimDeriveInfoReplicate() : resSim.c , resSim_old.c
• Res_SimFree() : resInt.h , resSim.c , resSim_old.c
• Res_SimPadSimInfo() : resSim.c , resSim_old.c
• Res_SimPerformOne() : resSim.c , resSim_old.c
• Res_SimPerformRound() : resSim.c , resSim_old.c
• Res_SimPrepare() : resInt.h , resSim.c , resSim_old.c
• Res_SimPrintNodePatterns() : resSim.c
• Res_SimPrintOutPatterns() : resSim.c , resSim_old.c
• Res_SimProcessPats() : resSim_old.c
• Res_SimReportOne() : resSim_old.c
• Res_SimSetDerivedBytes() : resSim.c
• Res_SimSetGiven() : resSim.c , resSim_old.c
• Res_SimSetRandom() : resSim_old.c
• Res_SimSetRandomBytes() : resSim.c
• Res_SimTransferOne() : resSim.c , resSim_old.c
• Res_SimVerifyValue() : resSim.c
• Res_UpdateNetwork() : resCore.c , resInt.h
• Res_WinAddMissing() : resWin.c
• Res_WinAddMissing_rec() : resWin.c
• Res_WinAlloc() : resInt.h , resWin.c
• Res_WinCollectLeavesAndNodes() : resWin.c
• Res_WinCompute() : resInt.h , resWin.c
• Res_WinComputeRoots() : resWin.c
• Res_WinComputeRoots_rec() : resWin.c
• Res_WinComputeRootsCheck() : resWin.c
• Res_WinDivisors() : resDivs.c , resInt.h
• Res_WinFinalizeRoots() : resWin.c
• Res_WinFinalizeRoots_rec() : resWin.c
• Res_WinFree() : resInt.h , resWin.c
• Res_WinIsTrivial() : resInt.h , resWin.c
• Res_WinMarkPaths() : resWin.c
• Res_WinMarkPaths_rec() : resWin.c
• Res_WinMarkTfi() : resDivs.c
• Res_WinMarkTfi_rec() : resDivs.c
• Res_WinSweepLeafTfo_rec() : resDivs.c , resInt.h
• Res_WinVisitMffc() : resDivs.c , resInt.h
• Res_WndStrash() : resInt.h , resStrash.c
• resetGlobalVar() : ltl_parser.c
• resetPCanonPermArray() : lucky.h , luckyFast6.c
• resetPCanonPermArray_6Vars() : luckyFast6.c , luckyInt.h
• ResizeCountMintermPages() : cuddSubsetHB.c
• ResizeCountNodePages() : cuddSubsetHB.c
• ResizeNodeDataPages() : cuddSubsetHB.c
• ResizeNodeDistPages() : cuddSubsetSP.c
• resizePartition() : place_gordian.h , place_partition.c
• ResizeQueuePages() : cuddSubsetSP.c
• restore_cube_struct() : cubestr.c , espresso.h
• restoreOrder() : cuddAnneal.c
• retrieveLOName() : liveness.c , liveness_sim.c
• retrieveTruePiName() : liveness.c , liveness_sim.c
• retriveAIGPointerFromLTLNode() : liveness.c , ltl_parser.c
• rewind() : util_old.h
• rewind_coloring() : abcSaucy.c
• rewind_simulation_vectors() : abcSaucy.c
• Rf2_ManAssignJustIds() : absRefJ.c
• Rf2_ManBounds() : absRefJ.c
• Rf2_ManCollect() : absRefJ.c
• Rf2_ManCollect_rec() : absRefJ.c
• Rf2_ManCountPpis() : absRefJ.c
• Rf2_ManGatherFanins() : absRefJ.c
• Rf2_ManGatherFanins_rec() : absRefJ.c
• Rf2_ManMemoryUsage() : absRefJ.c , absRefJ.h
• Rf2_ManObj() : absRefJ.c
• Rf2_ManPrintVector() : absRefJ.c
• Rf2_ManPrintVectorSpecial() : absRefJ.c
• Rf2_ManProcessVector() : absRefJ.c
• Rf2_ManPropagate() : absRefJ.c
• Rf2_ManRefine() : absRefJ.c , absRefJ.h
• Rf2_ManSensitize() : absRefJ.c
• Rf2_ManStart() : absRefJ.c , absRefJ.h
• Rf2_ManStop() : absRefJ.c , absRefJ.h
• Rf2_ManVerifyUsingTerSim() : absRefJ.c
• Rf2_ObjA() : absRefJ.c
• Rf2_ObjClear() : absRefJ.c
• Rf2_ObjCopy() : absRefJ.c
• Rf2_ObjDeriveAnd() : absRefJ.c
• Rf2_ObjN() : absRefJ.c
• Rf2_ObjPrint() : absRefJ.c
• Rf2_ObjStart() : absRefJ.c
• Rf2_ObjVec() : absRefJ.c
• rm2_contain() : contain.c , espresso.h
• rm2_equal() : contain.c , espresso.h
• rm_contain() : contain.c , espresso.h
• rm_equal() : espresso.h , contain.c
• rm_rev_contain() : contain.c , espresso.h
• Rnm_ManCleanValues() : absRef.c
• Rnm_ManCollect() : absRef.c
• Rnm_ManCollect_rec() : absRef.c
• Rnm_ManFilterSelected() : absRef.h , absRefSelect.c
• Rnm_ManFilterSelectedNew() : absRefSelect.c , absRef.h
• Rnm_ManJustify_rec() : absRef.c
• Rnm_ManJustifyPropFanout_rec() : absRef.c
• Rnm_ManMemoryUsage() : absRef.h , absRef.c
• Rnm_ManObj() : absRef.h
• Rnm_ManPrintSelected() : absRefSelect.c
• Rnm_ManRefine() : absRef.h , absRef.c
• Rnm_ManSensitize() : absRef.c
• Rnm_ManSetRefId() : absRef.h
• Rnm_ManStart() : absRef.c , absRef.h
• Rnm_ManStop() : absRef.c , absRef.h
• Rnm_ManVerifyUsingTerSim() : absRef.c
• Rnm_ObjAddToCount() : absRef.h
• Rnm_ObjCount() : absRef.h
• Rnm_ObjIsJust() : absRef.h
• Rnm_ObjSetCount() : absRef.h
• rotate_left() : avl.c
• rotate_right() : avl.c
• roulette() : cuddGenetic.c
• Rpo_CheckANDGroup() : rpo.c , rpo.h
• Rpo_CheckORGroup() : rpo.c , rpo.h
• Rpo_computeMinEdgeCost() : rpo.c , rpo.h
• Rpo_CreateEdge() : rpo.h , rpo.c
• Rpo_Factorize() : rpo.c , rpo.h
• Rpo_PrintEdge() : rpo.h , rpo.c
• Rpo_Recursion() : rpo.c , rpo.h
• Rsb_DecCheck() : rsbDec6.c
• Rsb_DecCofactor() : rsbDec6.c
• Rsb_DecInitCexes() : rsbDec6.c
• Rsb_DecPerformInt() : rsbDec6.c
• Rsb_DecPrintFunc() : rsbDec6.c
• Rsb_DecPrintTable() : rsbDec6.c
• Rsb_DecRecordCex() : rsbDec6.c
• Rsb_DecTry0() : rsbDec6.c
• Rsb_DecTry1() : rsbDec6.c
• Rsb_DecTry2() : rsbDec6.c
• Rsb_DecTry3() : rsbDec6.c
• Rsb_DecTry4() : rsbDec6.c
• Rsb_DecTry5() : rsbDec6.c
• Rsb_DecTryCex() : rsbDec6.c
• Rsb_DecVerify() : rsbDec6.c
• Rsb_DecVerifyCex() : rsbDec6.c
• Rsb_ManAlloc() : rsbMan.c , rsb.h
• Rsb_ManFree() : rsb.h , rsbMan.c
• Rsb_ManGetFanins() : rsb.h , rsbMan.c
• Rsb_ManGetFaninsOld() : rsb.h , rsbMan.c
• Rsb_ManPerform() : rsbDec6.c
• Rsb_ManPerformResub6() : rsb.h , rsbDec6.c
• Rsb_ManPerformResub6Test() : rsbDec6.c
• Rtm_InitAnd() : aigRet.c
• Rtm_InitGetTwo() : aigRet.c
• Rtm_InitNot() : aigRet.c
• Rtm_InitNotCond() : aigRet.c
• Rtm_InitSetTwo() : aigRet.c
• Rtm_InitWordsNum() : aigRet.c
• Rtm_InitXorTwo() : aigRet.c
• Rtm_ManAlloc() : aigRet.c
• Rtm_ManFree() : aigRet.c
• Rtm_ManFromAig() : aigRet.c
• Rtm_ManLatchMax() : aigRet.c
• Rtm_ManMarkAutoBwd() : aigRet.c
• Rtm_ManMarkAutoFwd() : aigRet.c
• Rtm_ManRetime() : aigRet.c , aig.h
• Rtm_ManToAig() : aigRet.c
• Rtm_ManToAig_rec() : aigRet.c
• Rtm_ObjAddFanin() : aigRet.c
• Rtm_ObjAddFirst() : aigRet.c
• Rtm_ObjAddFirst1() : aigRet.c
• Rtm_ObjAddFirst2() : aigRet.c
• Rtm_ObjAddLast() : aigRet.c
• Rtm_ObjAddLast1() : aigRet.c
• Rtm_ObjAddLast2() : aigRet.c
• Rtm_ObjAlloc() : aigRet.c
• Rtm_ObjCheckRetimeBwd() : aigRet.c
• Rtm_ObjCheckRetimeFwd() : aigRet.c
• Rtm_ObjEdge() : aigRet.c
• Rtm_ObjFanin() : aigRet.c
• Rtm_ObjFanout() : aigRet.c
• Rtm_ObjFanoutEdge() : aigRet.c
• Rtm_ObjGetDegreeBwd() : aigRet.c
• Rtm_ObjGetDegreeFwd() : aigRet.c
• Rtm_ObjGetFirst() : aigRet.c
• Rtm_ObjGetFirst1() : aigRet.c
• Rtm_ObjGetFirst2() : aigRet.c
• Rtm_ObjGetLast() : aigRet.c
• Rtm_ObjGetLast1() : aigRet.c
• Rtm_ObjGetLast2() : aigRet.c
• Rtm_ObjGetOne() : aigRet.c
• Rtm_ObjGetOne1() : aigRet.c
• Rtm_ObjGetOne2() : aigRet.c
• Rtm_ObjMarkAutoBwd_rec() : aigRet.c
• Rtm_ObjMarkAutoFwd_rec() : aigRet.c
• Rtm_ObjRemFirst() : aigRet.c
• Rtm_ObjRemFirst1() : aigRet.c
• Rtm_ObjRemFirst2() : aigRet.c
• Rtm_ObjRemLast() : aigRet.c
• Rtm_ObjRemLast1() : aigRet.c
• Rtm_ObjRemLast2() : aigRet.c
• Rtm_ObjRetimeBwd() : aigRet.c
• Rtm_ObjRetimeFwd() : aigRet.c
• Rtm_ObjTransferToBig() : aigRet.c
• Rtm_ObjTransferToBigger() : aigRet.c
• Rtm_ObjTransferToSmall() : aigRet.c
• Rtm_PrintEdge() : aigRet.c
• runtime() : misc/espresso/main.c
• Rwr_CutCountNumNodes() : rwrEva.c
• Rwr_CutCountNumNodes_rec() : rwrEva.c
• Rwr_CutEvaluate() : rwrEva.c
• Rwr_CutIsBoolean() : rwrEva.c
• Rwr_CutIsBoolean_rec() : rwrEva.c
• Rwr_GetBushSumOfVolumes() : rwrPrint.c
• Rwr_GetBushVolume() : rwrPrint.c
• Rwr_IsComplement() : rwr.h
• Rwr_ListAddToTail() : rwr.h , rwrUtil.c
• Rwr_ManAddNode() : rwrLib.c , rwr.h
• Rwr_ManAddTimeCuts() : rwr.h , rwrMan.c
• Rwr_ManAddTimeTotal() : rwr.h , rwrMan.c
• Rwr_ManAddTimeUpdate() : rwr.h , rwrMan.c
• Rwr_ManAddVar() : rwr.h , rwrLib.c
• Rwr_ManGetPractical() : rwr.h , rwrUtil.c
• Rwr_ManIncTravId() : rwr.h , rwrLib.c
• Rwr_ManLoadFromArray() : rwr.h , rwrUtil.c
• Rwr_ManLoadFromFile() : rwr.h , rwrUtil.c
• Rwr_ManNodeVolume() : rwr.h , rwrLib.c
• Rwr_ManPrecompute() : rwrLib.c , rwr.h
• Rwr_ManPreprocess() : rwr.h , rwrDec.c
• Rwr_ManPrint() : rwr.h , rwrPrint.c
• Rwr_ManPrintStats() : rwrMan.c , rwr.h
• Rwr_ManPrintStatsFile() : rwr.h , rwrMan.c
• Rwr_ManReadCompl() : rwrMan.c , rwr.h
• Rwr_ManReadDecs() : rwrMan.c , rwr.h
• Rwr_ManReadLeaves() : rwrMan.c , rwr.h
• Rwr_ManStart() : rwr.h , rwrMan.c
• Rwr_ManStop() : rwrMan.c , rwr.h
• Rwr_ManTryNode() : rwrLib.c
• Rwr_ManWriteToArray() : rwr.h , rwrUtil.c
• Rwr_ManWriteToFile() : rwrUtil.c , rwr.h
• Rwr_MarkUsed_rec() : rwrLib.c
• Rwr_NodeGetDepth_rec() : rwrEva.c
• Rwr_NodePreprocess() : rwrDec.c
• Rwr_NodePrint() : rwrPrint.c
• Rwr_NodePrint_rec() : rwrPrint.c
• Rwr_NodeRewrite() : rwrEva.c , rwr.h
• Rwr_Not() : rwr.h
• Rwr_NotCond() : rwr.h
• Rwr_Precompute() : rwrMan.c
• Rwr_Regular() : rwr.h
• Rwr_ScoresClean() : rwrEva.c , rwr.h
• Rwr_ScoresCompare() : rwrEva.c
• Rwr_ScoresReport() : rwr.h , rwrEva.c
• Rwr_Temp() : rwrTemp.c
• Rwr_TempCompare() : rwrTemp.c
• Rwr_Trav2_rec() : rwrPrint.c
• Rwr_Trav_rec() : rwrLib.c
• Rwr_TravCollect_rec() : rwrDec.c
• Rwt_CutEvaluate() : ivyRwr.c
• Rwt_CutEvaluateSeq() : ivySeq.c
• Rwt_IsComplement() : rwt.h
• Rwt_ListAddToTail() : rwtUtil.c
• Rwt_Man4ExploreCount() : rwrExp.c
• Rwt_Man4ExplorePrint() : rwrExp.c
• Rwt_Man4ExploreStart() : rwrExp.c
• Rwt_Man5ExploreCount() : rwrExp.c
• Rwt_Man5ExplorePrint() : rwrExp.c
• Rwt_Man5ExploreStart() : rwrExp.c
• Rwt_ManAddNode() : rwtUtil.c
• Rwt_ManAddTimeCuts() : rwt.h , rwtMan.c
• Rwt_ManAddTimeTotal() : rwt.h , rwtMan.c
• Rwt_ManAddTimeUpdate() : rwtMan.c , rwt.h
• Rwt_ManAddVar() : rwt.h , rwtUtil.c
• Rwt_ManGetPractical() : rwt.h , rwtUtil.c
• Rwt_ManGlobalStart() : rwtMan.c
• Rwt_ManGlobalStop() : rwtMan.c
• Rwt_ManIncTravId() : rwtUtil.c , rwt.h
• Rwt_ManLoadFromArray() : rwt.h , rwtUtil.c
• Rwt_ManNodeVolume() : rwtUtil.c
• Rwt_ManPreprocess() : rwtDec.c , rwt.h
• Rwt_ManPrintStats() : rwt.h , rwtMan.c
• Rwt_ManPrintStatsFile() : rwt.h , rwtMan.c
• Rwt_ManReadCompl() : rwt.h , rwtMan.c
• Rwt_ManReadDecs() : rwt.h , rwtMan.c
• Rwt_ManReadLeaves() : rwt.h , rwtMan.c
• Rwt_ManStart() : rwt.h , rwtMan.c
• Rwt_ManStop() : rwt.h , rwtMan.c
• Rwt_NodePreprocess() : rwtDec.c
• Rwt_Not() : rwt.h
• Rwt_NotCond() : rwt.h
• Rwt_Precompute() : rwtMan.c
• Rwt_Regular() : rwt.h
• Rwt_Trav_rec() : rwtUtil.c
• Rwt_TravCollect_rec() : rwtDec.c