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

- r -

• 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
• random() : util_old.h
• Random_Int() : rewire_rng.c, rewire_rng.h
• Random_Num() : rewire_rng.c, rewire_rng.h
• random_order() : cvrm.c, espresso.h
• Random_Word() : rewire_rng.c, rewire_rng.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
• reduce() : espresso.h, reduce.c
• reduce_cube() : espresso.h, reduce.c
• ReduceEsopCover() : exor.c
• Ree_CollectInsiders() : acecRe.c
• Ree_CollectInsiders_rec() : acecRe.c
• Ree_ManCompare() : acecRe.c
• Ree_ManComputeCuts() : acec.h, acecRe.c
• Ree_ManComputeCutsTest() : acecRe.c
• Ree_ManCountFadds() : acec.h, acecRe.c
• Ree_ManCutMerge() : acecRe.c
• Ree_ManCutPrint() : acecRe.c
• Ree_ManDeriveAdds() : acecRe.c
• Ree_ManPrintAdders() : acec.h, acecRe.c
• Ree_ManRemoveContained() : acecRe.c
• Ree_ManRemoveTrivial() : acecRe.c
• Ree_TruthPrecompute() : acecRe.c
• Ree_TruthPrecompute2() : acecRe.c
• Ref_ObjComputeCuts() : darRefact.c
• Ref_ObjPrint() : darRefact.c
• refineBySAT() : abcBm.c
• refineIOBySimulation() : abcBm.c
• refinePartition() : place_gordian.h, place_partition.c
• refinePartitions() : place_gordian.h, place_partition.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
• 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
• 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
• Res6_FindBestDiv() : giaResub6.c
• Res6_FindBestEval() : giaResub6.c
• Res6_FindBestEvalPla() : giaResub6.c
• Res6_FindGetCost() : giaResub6.c
• Res6_FindSupport() : giaResub6.c
• Res6_FindSupportSize() : giaResub6.c
• Res6_ManPrintProblem() : giaResub6.c
• Res6_ManRead() : giaResub6.c
• Res6_ManReadPla() : giaResub6.c
• Res6_ManResubCheck() : giaResub6.c
• Res6_ManResubCheckPla() : giaResub6.c
• Res6_ManResubVerify() : giaResub6.c
• Res6_ManResubVerifyPla() : giaResub6.c
• Res6_ManWrite() : giaResub6.c
• Res6_PrintSolution() : giaResub6.c
• Res6_PrintSolutionPla() : giaResub6.c
• Res6_PrintSuppSims() : giaResub6.c
• Res_FilterCandidates() : resFilter.c, resInt.h
• Res_FilterCandidatesArea() : resFilter.c, resInt.h
• 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_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_rec() : resDivs.c
• Res_WinSweepLeafTfo_rec() : resDivs.c, resInt.h
• Res_WinVisitMffc() : resDivs.c, resInt.h
• Res_WndStrash() : resInt.h, resStrash.c
• reset_gate_hash_table() : congruence.c
• resetGlobalVar() : ltl_parser.c
• resetPCanonPermArray() : lucky.h, luckyFast6.c
• resetPCanonPermArray_6Vars() : luckyFast6.c, luckyInt.h
• resizePartition() : place_gordian.h, place_partition.c
• restore_cube_struct() : cubestr.c, espresso.h
• retrieveLOName() : liveness.c
• retrieveTruePiName() : liveness.c
• retriveAIGPointerFromLTLNode() : liveness.c, ltl_parser.c
• rewind() : util_old.h
• Rf2_ManAssignJustIds() : absRefJ.c
• Rf2_ManBounds() : absRefJ.c
• Rf2_ManCollect() : absRefJ.c
• Rf2_ManCollect_rec() : absRefJ.c
• Rf2_ManGatherFanins() : absRefJ.c
• Rf2_ManGatherFanins_rec() : absRefJ.c
• Rf2_ManMemoryUsage() : absRefJ.c, absRefJ.h
• 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
• Rlt_NtkFindIOPerm() : wlnRead.c
• 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
• Rnm_ManCleanValues() : absRef.c
• Rnm_ManCollect() : absRef.c
• Rnm_ManCollect_rec() : absRef.c
• Rnm_ManFilterSelected() : absRef.h, absRefSelect.c
• Rnm_ManFilterSelectedNew() : absRef.h, absRefSelect.c
• Rnm_ManJustify_rec() : absRef.c
• Rnm_ManJustifyPropFanout_rec() : absRef.c
• Rnm_ManMemoryUsage() : absRef.c, absRef.h
• Rnm_ManPrintSelected() : absRefSelect.c
• Rnm_ManRefine() : absRef.c, absRef.h
• Rnm_ManSensitize() : absRef.c
• Rnm_ManStart() : absRef.c, absRef.h
• Rnm_ManStop() : absRef.c, absRef.h
• Rnm_ManVerifyUsingTerSim() : absRef.c
• rouletteWheel() : cecSatG2.c
• Rpo_CheckANDGroup() : rpo.c, rpo.h
• Rpo_CheckORGroup() : rpo.c, rpo.h
• Rpo_computeMinEdgeCost() : rpo.c, rpo.h
• Rpo_CreateEdge() : rpo.c, rpo.h
• Rpo_Factorize() : rpo.c, rpo.h
• Rpo_PrintEdge() : rpo.c, rpo.h
• Rpo_Recursion() : rpo.c, rpo.h
• Rsb_DecCheck() : rsbDec6.c
• Rsb_DecInitCexes() : rsbDec6.c
• Rsb_DecPerformInt() : rsbDec6.c
• Rsb_DecPrintFunc() : rsbDec6.c
• Rsb_DecPrintTable() : rsbDec6.c
• Rsb_DecVerify() : rsbDec6.c
• Rsb_ManAlloc() : rsb.h, rsbMan.c
• 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
• Rtl_LibAlloc() : wlnRead.c
• Rtl_LibBlast() : wlnRead.c
• Rtl_LibBlast2() : wlnRead.c
• Rtl_LibBlastClean() : wlnRead.c
• Rtl_LibCollapse() : wlnRead.c
• Rtl_LibCountInsts() : wlnRead.c
• Rtl_LibFindModule() : wlnRead.c
• Rtl_LibFindModule2() : wlnRead.c
• Rtl_LibFindTwoModules() : wlnRead.c
• Rtl_LibFree() : wln.h, wlnRead.c
• Rtl_LibMark_rec() : wlnRead.c
• Rtl_LibNormRanges() : wlnRead.c
• Rtl_LibOrderCells() : wlnRead.c
• Rtl_LibOrderWires() : wlnRead.c
• Rtl_LibPreprocess() : wlnRead.c
• Rtl_LibPrint() : wlnRead.c
• Rtl_LibPrintHieStats() : wlnRead.c
• Rtl_LibPrintStats() : wlnRead.c
• Rtl_LibReadFile() : wln.h, wlnRead.c
• Rtl_LibReadType() : wlnRead.c
• Rtl_LibReorderModules() : wlnRead.c
• Rtl_LibReorderModules_rec() : wlnRead.c
• Rtl_LibReturnNtk() : wlnRead.c
• Rtl_LibSetParents() : wlnRead.c
• Rtl_LibSetReplace() : wlnRead.c
• Rtl_LibSolve() : wlnRead.c
• Rtl_LibUpdateBoxes() : wlnRead.c
• Rtl_LibUpdateInstances() : wlnRead.c
• Rtl_NtkAlloc() : wlnRead.c
• Rtl_NtkBlast() : wlnRead.c
• Rtl_NtkBlast2() : wlnRead.c
• Rtl_NtkBlast2_rec() : wlnRead.c
• Rtl_NtkBlast2Spec() : wlnRead.c
• Rtl_NtkBlastConnect() : wlnRead.c
• Rtl_NtkBlastCons() : wlnRead.c
• Rtl_NtkBlastHierarchy() : wlnRead.c
• Rtl_NtkBlastInputs() : wlnRead.c
• Rtl_NtkBlastMap() : wlnRead.c
• Rtl_NtkBlastNode() : wlnBlast.c
• Rtl_NtkBlastOperator() : wlnRead.c
• Rtl_NtkBlastOutputs() : wlnRead.c
• Rtl_NtkBlastPrepareInputs() : wlnRead.c
• Rtl_NtkCellParamValue() : wlnRead.c
• Rtl_NtkCheckConcatRange() : wlnRead.c
• Rtl_NtkCheckSignalRange() : wlnRead.c
• Rtl_NtkCheckSliceRange() : wlnRead.c
• Rtl_NtkCheckWireRange() : wlnRead.c
• Rtl_NtkCleanFile() : wlnRtl.c
• Rtl_NtkCleanFile2() : wlnRtl.c
• Rtl_NtkCollectConcatInfo() : wlnRead.c
• Rtl_NtkCollectConcatRange() : wlnRead.c
• Rtl_NtkCollectConstInfo() : wlnRead.c
• Rtl_NtkCollectConstRange() : wlnRead.c
• Rtl_NtkCollectOrComputeBit() : wlnRead.c
• Rtl_NtkCollectOutputs() : wlnRead.c
• Rtl_NtkCollectSignalInfo() : wlnRead.c
• Rtl_NtkCollectSignalRange() : wlnRead.c
• Rtl_NtkCollectSliceInfo() : wlnRead.c
• Rtl_NtkCollectSliceRange() : wlnRead.c
• Rtl_NtkCollectWireInfo() : wlnRead.c
• Rtl_NtkCollectWireRange() : wlnRead.c
• Rtl_NtkCountConcatRange() : wlnRead.c
• Rtl_NtkCountPio() : wlnRead.c
• Rtl_NtkCountSignalRange() : wlnRead.c
• Rtl_NtkCountSliceRange() : wlnRead.c
• Rtl_NtkCountWireRange() : wlnRead.c
• Rtl_NtkFree() : wlnRead.c
• Rtl_NtkInitInputs() : wlnRead.c
• Rtl_NtkInsertConcatRange() : wlnRead.c
• Rtl_NtkInsertSignalRange() : wlnRead.c
• Rtl_NtkInsertSliceRange() : wlnRead.c
• Rtl_NtkInsertWireRange() : wlnRead.c
• Rtl_NtkMapConcatRange() : wlnRead.c
• Rtl_NtkMapSignalRange() : wlnRead.c
• Rtl_NtkMapSliceRange() : wlnRead.c
• Rtl_NtkMapWireRange() : wlnRead.c
• Rtl_NtkMapWires() : wlnRead.c
• Rtl_NtkNormRanges() : wlnRead.c
• Rtl_NtkOrderCells() : wlnRead.c
• Rtl_NtkOrderWires() : wlnRead.c
• Rtl_NtkPrint() : wlnRead.c
• Rtl_NtkPrintBufOne() : wlnRead.c
• Rtl_NtkPrintBufs() : wlnRead.c
• Rtl_NtkPrintCell() : wlnRead.c
• Rtl_NtkPrintCellOrder() : wlnRead.c
• Rtl_NtkPrintConcat() : wlnRead.c
• Rtl_NtkPrintConnection() : wlnRead.c
• Rtl_NtkPrintConst() : wlnRead.c
• Rtl_NtkPrintHieStats() : wlnRead.c
• Rtl_NtkPrintOpers() : wlnRead.c
• Rtl_NtkPrintSig() : wlnRead.c
• Rtl_NtkPrintSlice() : wlnRead.c
• Rtl_NtkPrintStats() : wlnRead.c
• Rtl_NtkPrintUnusedCells() : wlnRead.c
• Rtl_NtkPrintWire() : wlnRead.c
• Rtl_NtkRangeWires() : wlnRead.c
• Rtl_NtkReadAttribute() : wlnRead.c
• Rtl_NtkReadAttribute2() : wlnRead.c
• Rtl_NtkReadCell() : wlnRead.c
• Rtl_NtkReadConcat() : wlnRead.c
• Rtl_NtkReadConnect() : wlnRead.c
• Rtl_NtkReadConst() : wlnRead.c
• Rtl_NtkReadFile() : wlnRead.c
• Rtl_NtkReadNtk() : wlnRead.c
• Rtl_NtkReadSig() : wlnRead.c
• Rtl_NtkReadSlice() : wlnRead.c
• Rtl_NtkReadType() : wlnRead.c
• Rtl_NtkReadWire() : wlnRead.c
• Rtl_NtkReportUndefs() : wlnRead.c
• Rtl_NtkReviewCells() : wlnRead.c
• Rtl_NtkReviewConnections() : wlnRead.c
• Rtl_NtkRevPermInput() : wlnRead.c
• Rtl_NtkRevPermOutput() : wlnRead.c
• Rtl_NtkSetConcatRange() : wlnRead.c
• Rtl_NtkSetParents() : wlnRead.c
• Rtl_NtkSetSignalRange() : wlnRead.c
• Rtl_NtkSetSliceRange() : wlnRead.c
• Rtl_NtkSetWireRange() : wlnRead.c
• Rtl_NtkUpdateBoxes() : wlnRead.c
• Rtl_ReduceInverse() : wlnRead.c
• Rtl_ShortenName() : wlnRead.c
• Rtl_TokenRespace() : wlnRead.c
• Rtl_TokenUnspace() : wlnRead.c
• Rtl_VecExtend() : wlnBlast.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_ObjAlloc() : aigRet.c
• Rtm_ObjCheckRetimeBwd() : aigRet.c
• Rtm_ObjCheckRetimeFwd() : aigRet.c
• Rtm_ObjGetDegreeBwd() : aigRet.c
• Rtm_ObjGetDegreeFwd() : aigRet.c
• Rtm_ObjMarkAutoBwd_rec() : aigRet.c
• Rtm_ObjMarkAutoFwd_rec() : aigRet.c
• Rtm_ObjRetimeBwd() : aigRet.c
• Rtm_ObjRetimeFwd() : aigRet.c
• Rtm_PrintEdge() : aigRet.c
• runInprocessing() : eSLIM.cpp
• runtime() : main.c
• Rwr_CutCountNumNodes_rec() : rwrEva.c
• Rwr_CutIsBoolean_rec() : rwrEva.c
• Rwr_GetBushSumOfVolumes() : rwrPrint.c
• Rwr_GetBushVolume() : rwrPrint.c
• Rwr_ListAddToTail() : rwr.h, rwrUtil.c
• Rwr_ManAddNode() : rwr.h, rwrLib.c
• 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() : rwr.h, rwrLib.c
• Rwr_ManPreprocess() : rwr.h, rwrDec.c
• Rwr_ManPrint() : rwr.h, rwrPrint.c
• Rwr_ManPrintStats() : rwr.h, rwrMan.c
• Rwr_ManPrintStatsFile() : rwr.h, rwrMan.c
• Rwr_ManReadCompl() : rwr.h, rwrMan.c
• Rwr_ManReadDecs() : rwr.h, rwrMan.c
• Rwr_ManReadLeaves() : rwr.h, rwrMan.c
• Rwr_ManStart() : rwr.h, rwrMan.c
• Rwr_ManStop() : rwr.h, rwrMan.c
• Rwr_ManWriteToArray() : rwr.h, rwrUtil.c
• Rwr_ManWriteToFile() : rwr.h, rwrUtil.c
• Rwr_NodePrint() : rwrPrint.c
• Rwr_NodePrint_rec() : rwrPrint.c
• Rwr_NodeRewrite() : rwr.h, rwrEva.c
• Rwr_Precompute() : rwrMan.c
• 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
• 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() : rwt.h, rwtMan.c
• Rwt_ManAddVar() : rwt.h, rwtUtil.c
• Rwt_ManGetPractical() : rwt.h, rwtUtil.c
• Rwt_ManGlobalStart() : rwtMan.c
• Rwt_ManGlobalStop() : rwtMan.c
• Rwt_ManIncTravId() : rwt.h, rwtUtil.c
• Rwt_ManLoadFromArray() : rwt.h, rwtUtil.c
• Rwt_ManNodeVolume() : rwtUtil.c
• Rwt_ManPreprocess() : rwt.h, rwtDec.c
• 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_Precompute() : rwtMan.c
• Rwt_Trav_rec() : rwtUtil.c