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

- r -

• r : cloudCacheEntry1 , cloudCacheEntry2 , cloudCacheEntry3
• R : PLA_t
• random_seed : Minisat::Solver , sat_solver2_t , sat_solver_t
• random_var_freq : Minisat::Solver
• randomVectorArray_sim1 : saucy
• randomVectorArray_sim2 : saucy
• randomVectorSplit_sim1 : saucy
• randomVectorSplit_sim2 : saucy
• RandSeed : Gia_ParSim_t_
• range : Minisat::DoubleOption , Minisat::IntOption
• RankCur : Unr_Obj_t_
• RankMax : Unr_Obj_t_
• Ratio : SC_SizePars_
• raw : gz_state
• realArray : swapInfo
• realign : DdManager
• realignZ : DdManager
• reason() : Minisat::Solver , Minisat::Solver::VarData
• Reason0 : Tas_Var_t_
• Reason1 : Tas_Var_t_
• reasons : sat_solver2_t , sat_solver_t
• rebuildOrderHeap() : Minisat::Solver
• reclaimed : DdManager
• recomb : DdManager
• record : st__table_entry , stmm_table_entry
• reduceDB() : Minisat::Solver
• reduceDB_lt() : reduceDB_lt
• ref : DdNode
• Ref : Minisat::RegionAllocator< T >
• ref_nonsingle : saucy
• ref_singleton : saucy
• Ref_Undef : Minisat::RegionAllocator< T >
• refineBySim1 : saucy
• refineBySim2 : saucy
• RegionAllocator() : Minisat::RegionAllocator< T >
• regResult : NodeDist
• rehash() : Minisat::Map< K, D, H, E >
• rel : Minisat::Clause
• related_pin : SC_Timing_
• reloc() : Minisat::ClauseAllocator
• relocAll() : Minisat::SimpSolver , Minisat::Solver
• relocate() : Minisat::Clause
• relocation() : Minisat::Clause
• reloced : Minisat::Clause
• remove() : Minisat::CMap< T > , Minisat::Map< K, D, H, E >
• remove_satisfied : Minisat::Solver
• removeClause() : Minisat::SimpSolver , Minisat::Solver
• removeMin() : Minisat::Heap< Comp >
• removeSatisfied() : Minisat::Solver
• reordCycle : DdManager
• reorder_flag : st__table , stmm_table
• reordered : DdManager
• reorderings : DdManager
• reordTime : DdManager
• replace : NodeData
• ReportDelay : SC_Man_
• Required : If_Obj_t_
• RequiredGlo : If_Man_t_
• RequiredGlo2 : If_Man_t_
• Res : _HashEntry_mint , Abc_ZddEnt_ , Unr_Obj_t_
• reserved : Rpo_LCI_Edge_t_ , z_stream_s
• restart_first : Minisat::Solver
• restart_inc : Minisat::Solver
• restore() : pyabc_split.abc_state
• resultN : NodeData
• resultP : NodeData
• results : pyabc_split._splitter
• rfreq : EState
• right : avl_node_struct , ltlNode_t , Minisat::Heap< Comp > , saucy
• Rise : Abc_Time_t_ , Map_TimeStruct_t_
• rise : SC_Pair_
• rise_cap : SC_Pin_
• rnd_decisions : Minisat::Solver
• rnd_init_act : Minisat::Solver
• rnd_pol : Minisat::Solver
• root : avl_tree_struct
• Root : Gia_ManAre_t_ , Kit_DsdNtk_t_
• root_level : sat_solver2_t , sat_solver_t
• row : solution_struct
• row_num : sm_element_struct , sm_row_struct
• rows : sm_matrix_struct
• rows_size : sm_matrix_struct
• RunId : Pdr_Par_t_
• rVars : Msat_Order_t_