mc2lib: Class Members - Variables

mc2lib

- a -

- b -

backend_ : mc2lib::codegen::Compiler< Operation, Backend >
before_ : mc2lib::codegen::armv7::Delay , mc2lib::codegen::armv7::DMB_ST , mc2lib::codegen::strong::CacheFlush , mc2lib::codegen::strong::Delay

- c -

cnext__ : mc2lib::codegen::armv7::Backend::Helper
co : mc2lib::memconsistency::cats::ExecWitness
code : mc2lib::codegen::armv7::Backend::Helper

- d -

dd_reg : mc2lib::memconsistency::cats::Arch_ARMv7
dmb : mc2lib::memconsistency::cats::Arch_ARMv7
dmb_st : mc2lib::memconsistency::cats::Arch_ARMv7
dp : mc2lib::memconsistency::model12::ExecWitness
dp_ : mc2lib::codegen::armv7::ReadAddrDp
dsb : mc2lib::memconsistency::cats::Arch_ARMv7
dsb_st : mc2lib::memconsistency::cats::Arch_ARMv7

- e -

event_ : mc2lib::codegen::armv7::Read , mc2lib::codegen::armv7::Write , mc2lib::codegen::strong::Read
event_r_ : mc2lib::codegen::strong::ReadModifyWrite
event_w_ : mc2lib::codegen::strong::ReadModifyWrite
events : mc2lib::memconsistency::cats::ExecWitness , mc2lib::memconsistency::model12::ExecWitness
evts_ : mc2lib::codegen::Compiler< Operation, Backend >
ew_ : mc2lib::codegen::EvtStateCats
exec_ : mc2lib::memconsistency::cats::Checker , mc2lib::memconsistency::model12::Checker
extended_ : mc2lib::codegen::strong::RandomFactory

- f -

factory_ : mc2lib::codegen::RandInstTest< URNG, OperationFactory >
fences_ : mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >
first_write_before_ : mc2lib::codegen::armv7::DMB_ST
fitaddrs_ : mc2lib::codegen::RandInstTest< URNG, OperationFactory >
fitness_ : mc2lib::codegen::RandInstTest< URNG, OperationFactory >
from_ : mc2lib::codegen::armv7::Read , mc2lib::codegen::armv7::Write , mc2lib::codegen::strong::Read , mc2lib::codegen::strong::ReadModifyWrite

- g -

genome_ : mc2lib::simplega::Genome< T >

- h -

hb_ : mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >

- i -

iiid : mc2lib::memconsistency::Event
ip_to_op_ : mc2lib::codegen::Compiler< Operation, Backend >
is_tran_cl_ : mc2lib::sets::Relation< Ts >::R_impl
isb : mc2lib::memconsistency::cats::Arch_ARMv7

- k -

kAcquire : mc2lib::memconsistency::Event
kBranch : mc2lib::memconsistency::Event
kInitWrite : mc2lib::codegen::EvtStateCats
kMaxOpEvents : mc2lib::codegen::EvtStateCats
kMaxOpSize : mc2lib::codegen::EvtStateCats
kMaxOther : mc2lib::codegen::EvtStateCats
kMaxWrite : mc2lib::codegen::EvtStateCats
kMemoryOperation : mc2lib::memconsistency::Event
kMinOther : mc2lib::codegen::EvtStateCats
kMinWrite : mc2lib::codegen::EvtStateCats
kNext : mc2lib::memconsistency::Event
kNone : mc2lib::memconsistency::Event , mc2lib::sets::Relation< Ts >
kRead : mc2lib::memconsistency::Event
kReflexiveClosure : mc2lib::sets::Relation< Ts >
kReflexiveTransitiveClosure : mc2lib::sets::Relation< Ts >
kRegInAddr : mc2lib::memconsistency::Event
kRegInData : mc2lib::memconsistency::Event
kRegOut : mc2lib::memconsistency::Event
kRelease : mc2lib::memconsistency::Event
kTransitiveClosure : mc2lib::sets::Relation< Ts >
kWrite : mc2lib::memconsistency::Event

- l -

last_other_id : mc2lib::codegen::EvtStateCats
last_part_ : mc2lib::codegen::strong::ReadModifyWrite
last_write_id_ : mc2lib::codegen::EvtStateCats
len : mc2lib::codegen::armv7::Backend::Helper
length_ : mc2lib::codegen::armv7::Delay , mc2lib::codegen::strong::Delay

- m -

max_addr_ : mc2lib::codegen::armv7::RandomFactory , mc2lib::codegen::strong::RandomFactory , mc2lib::codegen::strong::ReadSequence
max_pid_ : mc2lib::codegen::armv7::RandomFactory , mc2lib::codegen::strong::RandomFactory
max_sequence_ : mc2lib::codegen::armv7::RandomFactory , mc2lib::codegen::strong::RandomFactory
memoized_fences_ : mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >
memoized_hb_ : mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >
memoized_ppo_ : mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >
memoized_prop_ : mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >
mfence : mc2lib::memconsistency::cats::Arch_TSO , mc2lib::memconsistency::model12::Arch_TSO
min_addr_ : mc2lib::codegen::armv7::RandomFactory , mc2lib::codegen::strong::RandomFactory , mc2lib::codegen::strong::ReadSequence
min_pid_ : mc2lib::codegen::armv7::RandomFactory , mc2lib::codegen::strong::RandomFactory
mode_ : mc2lib::sets::Relation< Ts >::R_impl
mutation_rate_ : mc2lib::simplega::GenePool< GenomeT >

- o -

out_ : mc2lib::codegen::armv7::Read

- p -

P_BFA_ : mc2lib::mcversi::CrossoverMutate< URNG, RandInstTest, MemOperation >
P_USEL_ : mc2lib::mcversi::CrossoverMutate< URNG, RandInstTest, MemOperation >
pid : mc2lib::memconsistency::Iiid
pid_ : mc2lib::codegen::Op< Backend, EvtStateT >
po : mc2lib::memconsistency::cats::ExecWitness , mc2lib::memconsistency::model12::ExecWitness
poi : mc2lib::memconsistency::Iiid
population_ : mc2lib::simplega::GenePool< GenomeT >
ppo_ : mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >
prop_ : mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >
props_ : mc2lib::sets::Relation< Ts >
proxy_ : mc2lib::memconsistency::cats::Architecture

- r -

rel_ : mc2lib::sets::Relation< Ts >
rels_ : mc2lib::sets::RelationOp< Ts >
rf : mc2lib::memconsistency::cats::ExecWitness , mc2lib::memconsistency::model12::ExecWitness

- s -

sequence_ : mc2lib::codegen::strong::ReadSequence
set_ : mc2lib::sets::Set< Ts >
src_ : mc2lib::sets::Relation< Ts >::R_impl
steps_ : mc2lib::simplega::GenePool< GenomeT >
stride_ : mc2lib::codegen::armv7::RandomFactory , mc2lib::codegen::strong::RandomFactory

- t -

target_population_size_ : mc2lib::simplega::GenePool< GenomeT >
threads_ : mc2lib::codegen::Compiler< Operation, Backend >
type : mc2lib::memconsistency::Event

- u -

urng_ : mc2lib::codegen::RandInstTest< URNG, OperationFactory >

- v -

visited_ : mc2lib::sets::Relation< Ts >::R_impl
visiting_ : mc2lib::sets::Relation< Ts >::R_impl

- w -

write_id_ : mc2lib::codegen::armv7::Write , mc2lib::codegen::strong::ReadModifyWrite , mc2lib::codegen::strong::Write
writes_ : mc2lib::codegen::EvtStateCats
ws : mc2lib::memconsistency::model12::ExecWitness