- e -
- Emit()
: 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::Compiler< Operation, Backend >
, mc2lib::codegen::NullOp< Backend, EvtState >
, 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::Return
, mc2lib::codegen::strong::Write
- empty()
: mc2lib::sets::Relation< Ts >
, mc2lib::sets::Set< Ts >
- EnableEmit()
: mc2lib::codegen::armv7::Delay
, mc2lib::codegen::armv7::DMB_ST
, mc2lib::codegen::armv7::Read
, mc2lib::codegen::armv7::Return
, mc2lib::codegen::armv7::Write
, mc2lib::codegen::NullOp< Backend, EvtState >
, mc2lib::codegen::Op< Backend, EvtStateT >
, mc2lib::codegen::strong::CacheFlush
, mc2lib::codegen::strong::Delay
, mc2lib::codegen::strong::Read
, mc2lib::codegen::strong::ReadModifyWrite
, mc2lib::codegen::strong::Return
- Erase()
: mc2lib::sets::Relation< Ts >
, mc2lib::sets::Set< Ts >
- EraseObsHelper()
: mc2lib::codegen::strong::Read
, mc2lib::codegen::strong::Write
- Error()
: mc2lib::memconsistency::Error
- Eval()
: mc2lib::sets::Relation< Ts >
, mc2lib::sets::RelationOp< Ts >
, mc2lib::sets::RelationSeq< Ts >
- EvalClear()
: mc2lib::sets::RelationOp< Ts >
- EvalInplace()
: mc2lib::sets::Relation< Ts >
, mc2lib::sets::RelationOp< Ts >
, mc2lib::sets::RelationSeq< Ts >
- Event()
: mc2lib::memconsistency::Event
- EventTypeRead()
: mc2lib::memconsistency::cats::Arch_ARMv7
, mc2lib::memconsistency::cats::Arch_SC
, mc2lib::memconsistency::cats::Arch_TSO
, mc2lib::memconsistency::cats::Architecture
, mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >
, mc2lib::memconsistency::model12::Arch_SC
, mc2lib::memconsistency::model12::Arch_TSO
, mc2lib::memconsistency::model12::Architecture
- EventTypeWrite()
: mc2lib::memconsistency::cats::Arch_ARMv7
, mc2lib::memconsistency::cats::Arch_SC
, mc2lib::memconsistency::cats::Arch_TSO
, mc2lib::memconsistency::cats::Architecture
, mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >
, mc2lib::memconsistency::model12::Arch_SC
, mc2lib::memconsistency::model12::Arch_TSO
, mc2lib::memconsistency::model12::Architecture
- evts()
: mc2lib::codegen::Compiler< Operation, Backend >
- EvtStateCats()
: mc2lib::codegen::EvtStateCats
- ew()
: mc2lib::codegen::EvtStateCats
- Exhausted()
: mc2lib::codegen::EvtStateCats
- extended()
: mc2lib::codegen::strong::RandomFactory