Here is a list of all struct and union fields with links to the structures/unions they belong to:

- r -

• R : PLA_t
• r : cloudCacheEntry1 , cloudCacheEntry3 , cloudCacheEntry2
• random_seed : sat_solver_t
• realign : DdManager
• realignZ : DdManager
• reasons : sat_solver_t
• reclaimed : DdManager
• recomb : DdManager
• record : st_table_entry , stmm_table_entry
• ref : DdNode
• regResult : NodeDist
• rem : _ldiv_t , _div_t
• reordCycle : DdManager
• reorder_flag : st_table , stmm_table
• reordered : DdManager
• reorderings : DdManager
• reordTime : DdManager
• replace : NodeData
• Required : If_Obj_t_
• RequiredGlo : If_Man_t_
• RequiredGlo2 : If_Man_t_
• Res : _HashEntry_mint
• resultN : NodeData
• resultP : NodeData
• Rise : Abc_Time_t_ , Map_TimeStruct_t_
• Root : Kit_DsdNtk_t_
• root_level : sat_solver_t
• row : solution_struct
• row_num : sm_element_struct , sm_row_struct
• rows : sm_matrix_struct
• rows_size : sm_matrix_struct
• rVars : Msat_Order_t_