- r -

• RAbuildSubset() : cuddApprox.c
• RAmarkNodes() : cuddApprox.c
• rand() : stdlib_hack.h
• rand_int() : cuddGenetic.c
• random() : util_old.h
• random_generator() : cuddAnneal.c
• random_order() : espresso.h , cvrm.c
• read_cube() : cvrin.c , espresso.h
• read_pla() : cvrin.c , espresso.h
• read_symbolic() : cvrin.c , espresso.h
• realloc() : stdlib_hack.h , util_old.h
• reduce() : espresso.h , reduce.c
• reduce_cube() : espresso.h , reduce.c
• reduce_gasp() : gasp.c
• Ref_ObjComputeCuts() : darRefact.c
• Ref_ObjPrint() : darRefact.c
• rehash() : st.c , stmm.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
• 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
• 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
• ResizeCountMintermPages() : cuddSubsetHB.c
• ResizeCountNodePages() : cuddSubsetHB.c
• ResizeNodeDataPages() : cuddSubsetHB.c
• ResizeNodeDistPages() : cuddSubsetSP.c
• ResizeQueuePages() : cuddSubsetSP.c
• restore_cube_struct() : cubestr.c , espresso.h
• restoreOrder() : cuddAnneal.c
• rewind() : util_old.h
• rm2_contain() : contain.c , espresso.h
• rm2_equal() : contain.c , espresso.h
• rm_contain() : contain.c , espresso.h
• rm_equal() : contain.c , espresso.h
• rm_rev_contain() : contain.c , espresso.h
• roulette() : cuddGenetic.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() : aig.h , aigRet.c
• 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() : 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() : rwr.h , rwrLib.c
• Rwr_ManAddTimeCuts() : rwr.h , rwrMan.c
• Rwr_ManAddTimeTotal() : rwrMan.c , rwr.h
• Rwr_ManAddTimeUpdate() : rwr.h , rwrMan.c
• Rwr_ManAddVar() : rwr.h , rwrLib.c
• Rwr_ManGetPractical() : rwrUtil.c , rwr.h
• Rwr_ManIncTravId() : rwrLib.c , rwr.h
• Rwr_ManLoadFromArray() : rwr.h , rwrUtil.c
• Rwr_ManLoadFromFile() : rwrUtil.c , rwr.h
• Rwr_ManNodeVolume() : rwr.h , rwrLib.c
• Rwr_ManPrecompute() : rwrLib.c , rwr.h
• Rwr_ManPreprocess() : rwrDec.c , rwr.h
• Rwr_ManPrint() : rwrPrint.c , rwr.h
• Rwr_ManPrintStats() : rwrMan.c , rwr.h
• Rwr_ManPrintStatsFile() : rwrMan.c , rwr.h
• Rwr_ManReadCompl() : rwr.h , rwrMan.c
• Rwr_ManReadDecs() : rwrMan.c , rwr.h
• Rwr_ManReadLeaves() : rwr.h , rwrMan.c
• Rwr_ManStart() : rwrMan.c , rwr.h
• Rwr_ManStop() : rwrMan.c , rwr.h
• Rwr_ManTryNode() : rwrLib.c
• Rwr_ManWriteToArray() : rwr.h , rwrUtil.c
• Rwr_ManWriteToFile() : rwr.h , rwrUtil.c
• 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() : rwr.h , rwrEva.c
• 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() : rwtMan.c , rwt.h
• Rwt_ManAddTimeUpdate() : rwt.h , rwtMan.c
• Rwt_ManAddVar() : rwtUtil.c , rwt.h
• Rwt_ManGetPractical() : rwt.h , rwtUtil.c
• Rwt_ManGlobalStart() : rwtMan.c
• Rwt_ManGlobalStop() : rwtMan.c
• Rwt_ManIncTravId() : rwtUtil.c , rwt.h
• Rwt_ManLoadFromArray() : rwtUtil.c , rwt.h
• Rwt_ManNodeVolume() : rwtUtil.c
• Rwt_ManPreprocess() : rwtDec.c , rwt.h
• Rwt_ManPrintStats() : rwt.h , rwtMan.c
• Rwt_ManPrintStatsFile() : rwt.h , rwtMan.c
• Rwt_ManReadCompl() : rwtMan.c , rwt.h
• 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