- r -

• realign : DdManager
• realignZ : DdManager
• reclaimed : DdManager
• recomb : DdManager
• record : st_table_entry
• recs_per_block : rec_mgr_
• recsPerBlock : Cal_RecMgrStruct
• ref : DdNode
• refCount : CalAssociationStruct
• refs : bdd_ , assoc_list_
• regResult : NodeDist
• reordCycle : DdManager
• reorder_data : bdd_manager_
• reorder_flag : st_table
• reorderable : Cal_BlockStruct , block_
• reordered : DdManager
• reorderings : DdManager
• reorderingThreshold : Cal_BddManagerStruct
• reorderMethod : Cal_BddManagerStruct
• reorderTechnique : Cal_BddManagerStruct
• reordTime : DdManager
• repackAfterGCThreshold : Cal_BddManagerStruct
• replace : NodeData
• reqQue : Cal_BddManagerStruct
• requestNodeArray : Cal_BddManagerStruct
• requestNodeList : CalHashTableStruct
• requestNodeListArray : Cal_BddManagerStruct
• resultBddId : CacheEntryStruct
• resultBddNode : CacheEntryStruct
• resultN : NodeData
• resultP : NodeData
• right : avl_node_struct
• rms : bdd_manager_
• root : avl_tree_struct
• row_num : sm_row_struct , sm_element_struct
• rows : sm_matrix_struct
• rows_size : sm_matrix_struct