Here is a list of all documented class members with links to the class documentation for each member:

- r -

• raddr : ilang::VerilogGeneratorBase::rport_t
• rdata : ilang::VerilogGeneratorBase::rport_t
• read_abstract : ilang::VlgAbsMem
• read_till_pos() : ilang::smt::str_iterator
• readline_no_eol() : ilang::smt::str_iterator
• ReadModifyWrite() : ilang::VerilogModifier
• ready_type : ilang::VlgSglTgtGen
• ready_type_t : ilang::VlgSglTgtGen
• RecordAdditionalVlgModuleStmt() : ilang::VerilogModifier
• RecordAndRemove() : ilang::HostRemoveRestore
• RecordAndRemoveIf() : ilang::HostRemoveRestore
• RecordConnectSigName() : ilang::VerilogModifier
• RecordKeepSignalName() : ilang::VerilogModifier
• reference_name_set : ilang::VerilogGeneratorBase
• refine_a() : ilang::CompRefRel
• refine_b() : ilang::CompRefRel
• RefinementMap() : ilang::RefinementMap
• RefPtr : ilang::RefinementMap
• reg_random_init : ilang::VerilogGeneratorBase::VlgGenConfig
• RegisterExtraWire() : ilang::IntefaceDirectiveRecorder
• RegisterInterface() : ilang::IntefaceDirectiveRecorder
• RegisterSteps() : ilang::MemoryModel , ilang::Sc , ilang::Tso
• regs : ilang::VerilogGeneratorBase
• relation() : ilang::CompRefRel
• RelationMap() : ilang::RelationMap
• relchc_prob_fname : ilang::VlgSglTgtGen_Relchc
• relchc_run_script_name : ilang::VlgSglTgtGen_Relchc
• RelPtr : ilang::RelationMap
• RemoveInvByIdx() : ilang::InvariantObject
• ren : ilang::VerilogGeneratorBase::rport_t
• Replace() : ilang::VarExtractor
• replace_a_body() : ilang::smt::YosysSmtParser
• replace_a_func() : ilang::smt::YosysSmtParser
• replace_all_function_arg_body() : ilang::smt::YosysSmtParser
• replace_arg() : ilang::Expr
• ReplaceArg() : ilang::ExprRef
• ReplExpr() : ilang::VlgSglTgtGen
• reset_config_t() : ilang::VlgTgtSupplementaryInfo::reset_config_t
• reset_cycles : ilang::VlgTgtSupplementaryInfo::reset_config_t
• reset_sequence : ilang::VlgTgtSupplementaryInfo::reset_config_t
• reset_state : ilang::VlgTgtSupplementaryInfo::reset_config_t
• Restore() : ilang::HostRemoveRestore
• RestoreAll() : ilang::HostRemoveRestore
• result : ilang::KeyVecIt< Key, T > , ilang::VerilogGeneratorBase::function_app_t
• ret : ilang::execute_result
• ret_type : ilang::smt::func_def_t
• Rewrite() : ilang::FuncObjRewrExpr
• RewriteOp() : ilang::FuncObjRewrExpr
• rf_cond : ilang::VlgVerifTgtGen , ilang::VlgSglTgtGen
• rf_vmap : ilang::VlgVerifTgtGen , ilang::VlgSglTgtGen
• root() : ilang::InstrSeq
• rport_t : ilang::VlgAbsMem , ilang::IntefaceDirectiveRecorder
• rstName : ilang::VerilogGeneratorBase
• rule_ : ilang::FuncObjRewrExpr
• run_script_name : ilang::VlgSglTgtGen_Yosys
• runnable_script_name : ilang::VlgVerifTgtGen