mc2lib::memconsistency::cats::Checker Member List

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

arch_	mc2lib::memconsistency::cats::Checker	protected
Checker(const Architecture *arch, const ExecWitness *exec)	mc2lib::memconsistency::cats::Checker	inline
exec_	mc2lib::memconsistency::cats::Checker	protected
no_thin_air(EventRel::Path *cyclic=nullptr) const	mc2lib::memconsistency::cats::Checker	inlinevirtual
observation(EventRel::Path *cyclic=nullptr) const	mc2lib::memconsistency::cats::Checker	inlinevirtual
propagation(EventRel::Path *cyclic=nullptr) const	mc2lib::memconsistency::cats::Checker	inlinevirtual
sc_per_location(EventRel::Path *cyclic=nullptr) const	mc2lib::memconsistency::cats::Checker	inlinevirtual
valid_exec(EventRel::Path *cyclic=nullptr) const	mc2lib::memconsistency::cats::Checker	inlinevirtual
wf() const	mc2lib::memconsistency::cats::Checker	inlinevirtual
wf_co() const	mc2lib::memconsistency::cats::Checker	inlinevirtual
wf_rf() const	mc2lib::memconsistency::cats::Checker	inlinevirtual
~Checker()	mc2lib::memconsistency::cats::Checker	inlinevirtual