mc2lib::memconsistency::model12::Arch_TSO Class Reference

#include <model12.hpp>

Inheritance diagram for mc2lib::memconsistency::model12::Arch_TSO:

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

Public Attributes
EventRel	mfence

Member Function Documentation

ab()

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

inlineoverridevirtual

Implements mc2lib::memconsistency::model12::Architecture.

Clear()

void mc2lib::memconsistency::model12::Arch_TSO::Clear ( )

inlineoverridevirtual

Reimplemented from mc2lib::memconsistency::model12::Architecture.

EventTypeRead()

Event::Type mc2lib::memconsistency::model12::Arch_TSO::EventTypeRead ( ) const

inlineoverridevirtual

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

Implements mc2lib::memconsistency::model12::Architecture.

EventTypeWrite()

Event::Type mc2lib::memconsistency::model12::Arch_TSO::EventTypeWrite ( ) const

inlineoverridevirtual

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

Implements mc2lib::memconsistency::model12::Architecture.

grf()

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

inlineoverridevirtual

Implements mc2lib::memconsistency::model12::Architecture.

MakeChecker()

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

inlineoverridevirtual

Creates a checker compatible with this Architecture.

Implements mc2lib::memconsistency::model12::Architecture.

ppo()

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

inlineoverridevirtual

Implements mc2lib::memconsistency::model12::Architecture.

Member Data Documentation

mfence

EventRel mc2lib::memconsistency::model12::Arch_TSO::mfence

---

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

• include/mc2lib/memconsistency/model12.hpp