mc2lib: mc2lib::memconsistency::model12::Arch_SC Class Reference

mc2lib

#include <model12.hpp>

Inheritance diagram for mc2lib::memconsistency::model12::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	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 void	Clear ()

virtual EventRel	ghb (const ExecWitness &ew) const

Member Function Documentation

§ ab()

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

inlineoverridevirtual

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

§ EventTypeRead()

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

inlineoverridevirtual

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

§ MakeChecker()

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

inlineoverridevirtual

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

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

include/mc2lib/memconsistency/model12.hpp