mc2lib::memconsistency::cats::ArchProxy< ConcreteArch > Member List

This is the complete list of members for mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >, including all inherited members.

arch_	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	protected
Architecture()	mc2lib::memconsistency::cats::Architecture	inline
ArchProxy(ConcreteArch *arch)	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	inlineexplicit
Clear() override	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	inlinevirtual
EventTypeRead() const override	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	inlinevirtual
EventTypeWrite() const override	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	inlinevirtual
fences(const ExecWitness &ew) const override	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	inlinevirtual
fences_	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	protected
hb(const ExecWitness &ew) const override	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	inlinevirtual
hb_	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	protected
MakeChecker(const Architecture *arch, const ExecWitness *exec) const override	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	inlinevirtual
MakeChecker(const ExecWitness *exec) const	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	inline
Memoize(const ExecWitness &ew)	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	inline
memoized_fences_	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	protected
memoized_hb_	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	protected
memoized_ppo_	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	protected
memoized_prop_	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	protected
ppo(const ExecWitness &ew) const override	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	inlinevirtual
ppo_	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	protected
prop(const ExecWitness &ew) const override	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	inlinevirtual
prop_	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	protected
proxy_	mc2lib::memconsistency::cats::Architecture	protected
set_proxy(const Architecture *proxy)	mc2lib::memconsistency::cats::Architecture	inline
~Architecture()	mc2lib::memconsistency::cats::Architecture	inlinevirtual
~ArchProxy() override	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >	inline