- r -

• RAbuildSubset() : cuddApprox.c
• RAmarkNodes() : cuddApprox.c
• rand_int() : cuddGenetic.c
• random() : avl_bench1.c , testbdd.c
• random_generator() : cuddAnneal.c
• random_tests() : testbdd.c
• RandomTests() : calTest.c
• reachable_recurr() : graph_dfs.c
• read() : bdddump.c
• Read() : calDump.c
• rehash() : st.c
• remove_from_free_list() : memblock.c
• RemoveFromFreeList() : calMem.c
• ResizeCountMintermPages() : cuddSubsetHB.c
• ResizeCountNodePages() : cuddSubsetHB.c
• ResizeNodeDataPages() : cuddSubsetHB.c
• ResizeNodeDistPages() : cuddSubsetSP.c
• ResizeQueuePages() : cuddSubsetSP.c
• restoreOrder() : cuddAnneal.c
• return() : calUtil.c
• reverso() : com_graph.c
• rotate_left() : avl.c
• rotate_right() : avl.c
• roulette() : cuddGenetic.c