- r -

• ra : Minisat::ClauseAllocator
• random_seed : Minisat::Solver
• random_var_freq : Minisat::Solver
• range : Minisat::DoubleOption , Minisat::Int64Option , Minisat::IntOption
• range_left : AST::AstNode
• range_right : AST::AstNode
• range_swapped : AST::AstNode
• range_valid : AST::AstNode
• realvalue : AST::AstNode
• reason : Minisat::Solver::VarData
• recursion_state : ShareWorker
• recursive_mode : TechmapWorker
• refcount_cells_ : RTLIL::Module
• refcount_modules_ : RTLIL::Design
• refcount_p : RTLIL::ObjIterator< T > , RTLIL::ObjRange< T >
• refcount_wires_ : RTLIL::Module
• rel : Minisat::Clause
• released_vars : Minisat::Solver
• reloced : Minisat::Clause
• remove_satisfied : Minisat::Solver
• removed_count : OptMuxtreeWorker
• reset_state : FsmData
• restart_first : Minisat::Solver
• restart_inc : Minisat::Solver
• rnd_decisions : Minisat::Solver
• rnd_init_act : Minisat::Solver
• rnd_pol : Minisat::Solver
• root_case : RTLIL::Process
• runtime_ns : Pass