strong.hpp File Reference

#include <algorithm>
#include <random>
#include <sstream>
#include <stdexcept>
#include "../cats.hpp"
#include "../compiler.hpp"

Go to the source code of this file.

Classes
struct	mc2lib::codegen::strong::Backend
class	mc2lib::codegen::strong::Return
class	mc2lib::codegen::strong::Delay
class	mc2lib::codegen::strong::Read
class	mc2lib::codegen::strong::ReadAddrDp
class	mc2lib::codegen::strong::Write
class	mc2lib::codegen::strong::ReadModifyWrite
class	mc2lib::codegen::strong::CacheFlush
class	mc2lib::codegen::strong::ReadSequence
struct	mc2lib::codegen::strong::RandomFactory

Namespaces
	mc2lib
	mc2lib::codegen
	Code generation for memory consistency verification.
	mc2lib::codegen::strong
	Implementations of Operations for strong memory consistency models.

Typedefs
typedef Op< Backend, EvtStateCats >	mc2lib::codegen::strong::Operation
typedef MemOp< Backend, EvtStateCats >	mc2lib::codegen::strong::MemOperation
typedef NullOp< Backend, EvtStateCats >	mc2lib::codegen::strong::NullOperation