- c -
- CacheFlush()
: mc2lib::codegen::strong::Backend
, mc2lib::codegen::strong::Backend_X86_64
, mc2lib::codegen::strong::CacheFlush
- check_exec()
: mc2lib::memconsistency::model12::Checker
- Checker()
: mc2lib::memconsistency::cats::Checker
, mc2lib::memconsistency::model12::Checker
- ChunkSize()
: mc2lib::codegen::armv7::RandomFactory
, mc2lib::codegen::strong::RandomFactory
- Clear()
: mc2lib::memconsistency::cats::Arch_ARMv7
, mc2lib::memconsistency::cats::Arch_TSO
, mc2lib::memconsistency::cats::Architecture
, mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >
, mc2lib::memconsistency::cats::ExecWitness
, mc2lib::memconsistency::model12::Arch_TSO
, mc2lib::memconsistency::model12::Architecture
, mc2lib::memconsistency::model12::ExecWitness
, mc2lib::sets::Relation< Ts >
, mc2lib::sets::RelationOp< Ts >
, mc2lib::sets::Set< Ts >
- clear_props()
: mc2lib::sets::Relation< Ts >
- Clone()
: mc2lib::codegen::armv7::Delay
, mc2lib::codegen::armv7::DMB_ST
, mc2lib::codegen::armv7::Read
, mc2lib::codegen::armv7::ReadAddrDp
, mc2lib::codegen::armv7::Return
, mc2lib::codegen::armv7::Write
, mc2lib::codegen::Op< Backend, EvtStateT >
, mc2lib::codegen::strong::CacheFlush
, mc2lib::codegen::strong::Delay
, mc2lib::codegen::strong::Read
, mc2lib::codegen::strong::ReadAddrDp
, mc2lib::codegen::strong::ReadModifyWrite
, mc2lib::codegen::strong::ReadSequence
, mc2lib::codegen::strong::Return
, mc2lib::codegen::strong::Write
- coe()
: mc2lib::memconsistency::cats::ExecWitness
- coi()
: mc2lib::memconsistency::cats::ExecWitness
- com()
: mc2lib::memconsistency::cats::ExecWitness
, mc2lib::memconsistency::model12::ExecWitness
- Compiler()
: mc2lib::codegen::Compiler< Operation, Backend >
- ConnexOn()
: mc2lib::sets::Relation< Ts >
- Contains()
: mc2lib::sets::Set< Ts >
- Contains__()
: mc2lib::sets::Relation< Ts >
- CrossoverMutate()
: mc2lib::mcversi::CrossoverMutate< URNG, RandInstTest, MemOperation >