- r -

• read_till_pos() : ilang::smt::str_iterator
• readline_no_eol() : ilang::smt::str_iterator
• ReadModifyWrite() : ilang::VerilogModifier
• RecordAdditionalVlgModuleStmt() : ilang::VerilogModifier
• RecordAndRemove() : ilang::HostRemoveRestore
• RecordAndRemoveIf() : ilang::HostRemoveRestore
• RecordConnectSigName() : ilang::VerilogModifier
• RecordKeepSignalName() : ilang::VerilogModifier
• refine_a() : ilang::CompRefRel
• refine_b() : ilang::CompRefRel
• RefinementMap() : ilang::RefinementMap
• RegisterExtraWire() : ilang::IntefaceDirectiveRecorder
• RegisterInterface() : ilang::IntefaceDirectiveRecorder
• RegisterSteps() : ilang::Tso , ilang::MemoryModel , ilang::Sc
• relation() : ilang::CompRefRel
• RelationMap() : ilang::RelationMap
• RemoveInvByIdx() : ilang::InvariantObject
• 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
• Restore() : ilang::HostRemoveRestore
• RestoreAll() : ilang::HostRemoveRestore
• Rewrite() : ilang::FuncObjRewrExpr
• RewriteOp() : ilang::FuncObjRewrExpr
• root() : ilang::InstrSeq