mc2lib::memconsistency::cats::Arch_TSO Class Reference

#include <cats.hpp>

Inheritance diagram for mc2lib::memconsistency::cats::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	fences (const ExecWitness &ew) const override
EventRel	prop (const ExecWitness &ew) const override
Event::Type	EventTypeRead () const override
Event::Type	EventTypeWrite () const override
Public Member Functions inherited from mc2lib::memconsistency::cats::Architecture
	Architecture ()
virtual	~Architecture ()
virtual EventRel	hb (const ExecWitness &ew) const
void	set_proxy (const Architecture *proxy)

Public Attributes
EventRel	mfence

Additional Inherited Members
Protected Attributes inherited from mc2lib::memconsistency::cats::Architecture
const Architecture *	proxy_

Member Function Documentation

Clear()

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

inlineoverridevirtual

Reimplemented from mc2lib::memconsistency::cats::Architecture.

EventTypeRead()

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

inlineoverridevirtual

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

Implements mc2lib::memconsistency::cats::Architecture.

EventTypeWrite()

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

inlineoverridevirtual

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

Implements mc2lib::memconsistency::cats::Architecture.

fences()

EventRel mc2lib::memconsistency::cats::Arch_TSO::fences ( const ExecWitness &  ew ) const

inlineoverridevirtual

Implements mc2lib::memconsistency::cats::Architecture.

MakeChecker()

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

inlineoverridevirtual

Creates a checker compatible with this Architecture.

Implements mc2lib::memconsistency::cats::Architecture.

ppo()

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

inlineoverridevirtual

Implements mc2lib::memconsistency::cats::Architecture.

prop()

EventRel mc2lib::memconsistency::cats::Arch_TSO::prop ( const ExecWitness &  ew ) const

inlineoverridevirtual

Implements mc2lib::memconsistency::cats::Architecture.

Member Data Documentation

mfence

EventRel mc2lib::memconsistency::cats::Arch_TSO::mfence

---

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

• include/mc2lib/memconsistency/cats.hpp