mc2lib::memconsistency::model12::Architecture Member List

This is the complete list of members for mc2lib::memconsistency::model12::Architecture, including all inherited members.

ab(const ExecWitness &ew) const =0	mc2lib::memconsistency::model12::Architecture	pure virtual
Clear()	mc2lib::memconsistency::model12::Architecture	inlinevirtual
EventTypeRead() const =0	mc2lib::memconsistency::model12::Architecture	pure virtual
EventTypeWrite() const =0	mc2lib::memconsistency::model12::Architecture	pure virtual
ghb(const ExecWitness &ew) const	mc2lib::memconsistency::model12::Architecture	inlinevirtual
grf(const ExecWitness &ew) const =0	mc2lib::memconsistency::model12::Architecture	pure virtual
MakeChecker(const Architecture *arch, const ExecWitness *exec) const =0	mc2lib::memconsistency::model12::Architecture	pure virtual
ppo(const ExecWitness &ew) const =0	mc2lib::memconsistency::model12::Architecture	pure virtual
~Architecture()	mc2lib::memconsistency::model12::Architecture	inlinevirtual