mc2lib::memconsistency::cats::Arch_SC Class Reference

#include <cats.hpp>

Inheritance diagram for mc2lib::memconsistency::cats::Arch_SC:

Public Member Functions
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 void	Clear ()
virtual EventRel	hb (const ExecWitness &ew) const
void	set_proxy (const Architecture *proxy)

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

Member Function Documentation

EventTypeRead()

Event::Type mc2lib::memconsistency::cats::Arch_SC::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_SC::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_SC::fences ( const ExecWitness &  ew ) const

inlineoverridevirtual

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

MakeChecker()

std::unique_ptr<Checker> mc2lib::memconsistency::cats::Arch_SC::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_SC::ppo ( const ExecWitness &  ew ) const

inlineoverridevirtual

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

prop()

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

inlineoverridevirtual

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

---

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

• include/mc2lib/memconsistency/cats.hpp