mc2lib::memconsistency::model12::Architecture Class Reference

#include <model12.hpp>

Inheritance diagram for mc2lib::memconsistency::model12::Architecture:

Public Member Functions
virtual	~Architecture ()
virtual void	Clear ()
virtual std::unique_ptr< Checker >	MakeChecker (const Architecture *arch, const ExecWitness *exec) const =0
virtual EventRel	ppo (const ExecWitness &ew) const =0
virtual EventRel	grf (const ExecWitness &ew) const =0
virtual EventRel	ab (const ExecWitness &ew) const =0
virtual EventRel	ghb (const ExecWitness &ew) const
virtual Event::Type	EventTypeRead () const =0
virtual Event::Type	EventTypeWrite () const =0

Constructor & Destructor Documentation

~Architecture()

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

inlinevirtual

Member Function Documentation

ab()

virtual EventRel mc2lib::memconsistency::model12::Architecture::ab ( const ExecWitness &  ew ) const

pure virtual

Implemented in mc2lib::memconsistency::model12::Arch_TSO, and mc2lib::memconsistency::model12::Arch_SC.

Clear()

virtual void mc2lib::memconsistency::model12::Architecture::Clear ( )

inlinevirtual

Reimplemented in mc2lib::memconsistency::model12::Arch_TSO.

EventTypeRead()

virtual Event::Type mc2lib::memconsistency::model12::Architecture::EventTypeRead ( ) const

pure virtual

Should return the mask of all types that are classed as read.

Implemented in mc2lib::memconsistency::model12::Arch_TSO, and mc2lib::memconsistency::model12::Arch_SC.

EventTypeWrite()

virtual Event::Type mc2lib::memconsistency::model12::Architecture::EventTypeWrite ( ) const

pure virtual

Should return the mask of all types that are classed as write.

Implemented in mc2lib::memconsistency::model12::Arch_TSO, and mc2lib::memconsistency::model12::Arch_SC.

ghb()

virtual EventRel mc2lib::memconsistency::model12::Architecture::ghb ( const ExecWitness &  ew ) const

inlinevirtual

grf()

virtual EventRel mc2lib::memconsistency::model12::Architecture::grf ( const ExecWitness &  ew ) const

pure virtual

Implemented in mc2lib::memconsistency::model12::Arch_TSO, and mc2lib::memconsistency::model12::Arch_SC.

MakeChecker()

virtual std::unique_ptr<Checker> mc2lib::memconsistency::model12::Architecture::MakeChecker ( const Architecture *  arch, const ExecWitness *  exec  ) const

pure virtual

Creates a checker compatible with this Architecture.

Implemented in mc2lib::memconsistency::model12::Arch_TSO, and mc2lib::memconsistency::model12::Arch_SC.

ppo()

virtual EventRel mc2lib::memconsistency::model12::Architecture::ppo ( const ExecWitness &  ew ) const

pure virtual

Implemented in mc2lib::memconsistency::model12::Arch_TSO, and mc2lib::memconsistency::model12::Arch_SC.

---

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

• include/mc2lib/memconsistency/model12.hpp