mc2lib::codegen::strong Namespace Reference

Implementations of Operations for strong memory consistency models. More...

Classes
struct	Backend
struct	Backend_X86_64
class	CacheFlush
class	Delay
struct	RandomFactory
class	Read
class	ReadAddrDp
class	ReadModifyWrite
class	ReadSequence
class	Return
class	Write

Typedefs
typedef Op< Backend, EvtStateCats >	Operation
typedef MemOp< Backend, EvtStateCats >	MemOperation
typedef NullOp< Backend, EvtStateCats >	NullOperation

Detailed Description

Implementations of Operations for strong memory consistency models.

Typedef Documentation

MemOperation

typedef MemOp<Backend, EvtStateCats> mc2lib::codegen::strong::MemOperation

NullOperation

typedef NullOp<Backend, EvtStateCats> mc2lib::codegen::strong::NullOperation

Operation

typedef Op<Backend, EvtStateCats> mc2lib::codegen::strong::Operation