mc2lib::memconsistency::cats::Checker Class Reference

#include <cats.hpp>

Public Member Functions
	Checker (const Architecture *arch, const ExecWitness *exec)
virtual	~Checker ()
virtual void	wf_rf () const
virtual void	wf_co () const
virtual void	wf () const
virtual bool	sc_per_location (EventRel::Path *cyclic=nullptr) const
virtual bool	no_thin_air (EventRel::Path *cyclic=nullptr) const
virtual bool	observation (EventRel::Path *cyclic=nullptr) const
virtual bool	propagation (EventRel::Path *cyclic=nullptr) const
virtual void	valid_exec (EventRel::Path *cyclic=nullptr) const

Protected Attributes
const Architecture *	arch_
const ExecWitness *	exec_

Constructor & Destructor Documentation

Checker()

mc2lib::memconsistency::cats::Checker::Checker ( const Architecture *  arch, const ExecWitness *  exec  )

inline

~Checker()

virtual mc2lib::memconsistency::cats::Checker::~Checker ( )

inlinevirtual

Member Function Documentation

no_thin_air()

virtual bool mc2lib::memconsistency::cats::Checker::no_thin_air ( EventRel::Path *  cyclic = nullptr ) const

inlinevirtual

observation()

virtual bool mc2lib::memconsistency::cats::Checker::observation ( EventRel::Path *  cyclic = nullptr ) const

inlinevirtual

propagation()

virtual bool mc2lib::memconsistency::cats::Checker::propagation ( EventRel::Path *  cyclic = nullptr ) const

inlinevirtual

sc_per_location()

virtual bool mc2lib::memconsistency::cats::Checker::sc_per_location ( EventRel::Path *  cyclic = nullptr ) const

inlinevirtual

valid_exec()

virtual void mc2lib::memconsistency::cats::Checker::valid_exec ( EventRel::Path *  cyclic = nullptr ) const

inlinevirtual

wf()

virtual void mc2lib::memconsistency::cats::Checker::wf ( ) const

inlinevirtual

wf_co()

virtual void mc2lib::memconsistency::cats::Checker::wf_co ( ) const

inlinevirtual

wf_rf()

virtual void mc2lib::memconsistency::cats::Checker::wf_rf ( ) const

inlinevirtual

Member Data Documentation

arch_

const Architecture* mc2lib::memconsistency::cats::Checker::arch_

protected

exec_

const ExecWitness* mc2lib::memconsistency::cats::Checker::exec_

protected

---

The documentation for this class was generated from the following file:

• include/mc2lib/memconsistency/cats.hpp