mc2lib::memconsistency::model12::Checker Class Reference

#include <model12.hpp>

Public Member Functions
	Checker (const Architecture *arch, const ExecWitness *exec)
virtual	~Checker ()
virtual void	wf_rf () const
virtual void	wf_ws () const
virtual void	wf () const
virtual bool	uniproc (EventRel::Path *cyclic=nullptr) const
virtual bool	thin (EventRel::Path *cyclic=nullptr) const
virtual bool	check_exec (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::model12::Checker::Checker ( const Architecture *  arch, const ExecWitness *  exec  )

inline

~Checker()

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

inlinevirtual

Member Function Documentation

check_exec()

virtual bool mc2lib::memconsistency::model12::Checker::check_exec ( EventRel::Path *  cyclic = nullptr ) const

inlinevirtual

thin()

virtual bool mc2lib::memconsistency::model12::Checker::thin ( EventRel::Path *  cyclic = nullptr ) const

inlinevirtual

uniproc()

virtual bool mc2lib::memconsistency::model12::Checker::uniproc ( EventRel::Path *  cyclic = nullptr ) const

inlinevirtual

valid_exec()

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

inlinevirtual

wf()

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

inlinevirtual

wf_rf()

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

inlinevirtual

wf_ws()

virtual void mc2lib::memconsistency::model12::Checker::wf_ws ( ) const

inlinevirtual

Member Data Documentation

arch_

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

protected

exec_

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

protected

---

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

• include/mc2lib/memconsistency/model12.hpp