- r -

• R() : mc2lib::sets::Relation< Ts > , mc2lib::sets::RelationSeq< Ts >
• R_impl() : mc2lib::sets::Relation< Ts >::R_impl
• R_search() : mc2lib::sets::Relation< Ts >
• RandInstTest() : mc2lib::codegen::RandInstTest< URNG, OperationFactory >
• RandomFactory() : mc2lib::codegen::armv7::RandomFactory , mc2lib::codegen::strong::RandomFactory
• Range() : mc2lib::sets::Relation< Ts >
• Reachable() : mc2lib::sets::Relation< Ts >
• Read() : mc2lib::codegen::armv7::Backend , mc2lib::codegen::armv7::Read , mc2lib::codegen::strong::Backend , mc2lib::codegen::strong::Backend_X86_64 , mc2lib::codegen::strong::Read
• ReadAddrDp() : mc2lib::codegen::armv7::Backend , mc2lib::codegen::armv7::ReadAddrDp , mc2lib::codegen::strong::Backend , mc2lib::codegen::strong::Backend_X86_64 , mc2lib::codegen::strong::ReadAddrDp
• ReadModifyWrite() : mc2lib::codegen::strong::Backend , mc2lib::codegen::strong::Backend_X86_64 , mc2lib::codegen::strong::ReadModifyWrite
• ReadSequence() : mc2lib::codegen::strong::ReadSequence
• RegisterCallback() : mc2lib::codegen::armv7::DMB_ST , mc2lib::codegen::Op< Backend, EvtStateT >
• Relation() : mc2lib::sets::Relation< Ts >
• RelationOp() : mc2lib::sets::RelationOp< Ts >
• RelationSeq() : mc2lib::sets::RelationSeq< Ts >
• Reset() : mc2lib::codegen::armv7::Backend , mc2lib::codegen::armv7::Delay , mc2lib::codegen::armv7::DMB_ST , mc2lib::codegen::armv7::RandomFactory , mc2lib::codegen::armv7::Read , mc2lib::codegen::armv7::Return , mc2lib::codegen::armv7::Write , mc2lib::codegen::Compiler< Operation, Backend > , mc2lib::codegen::EvtStateCats , mc2lib::codegen::Op< Backend, EvtStateT > , mc2lib::codegen::strong::Backend , mc2lib::codegen::strong::CacheFlush , mc2lib::codegen::strong::Delay , mc2lib::codegen::strong::RandomFactory , mc2lib::codegen::strong::Read , mc2lib::codegen::strong::ReadModifyWrite , mc2lib::codegen::strong::ReadSequence , mc2lib::codegen::strong::Return , mc2lib::codegen::strong::Write
• Return() : mc2lib::codegen::armv7::Backend , mc2lib::codegen::armv7::Return , mc2lib::codegen::strong::Backend , mc2lib::codegen::strong::Backend_X86_64 , mc2lib::codegen::strong::Return
• rfe() : mc2lib::memconsistency::cats::ExecWitness , mc2lib::memconsistency::model12::ExecWitness
• rfi() : mc2lib::memconsistency::cats::ExecWitness , mc2lib::memconsistency::model12::ExecWitness