eventsets.hpp File Reference

#include <iomanip>
#include <sstream>
#include <stdexcept>
#include <string>
#include "../sets.hpp"
#include "../types.hpp"

Go to the source code of this file.

Classes
class	mc2lib::memconsistency::Iiid
struct	mc2lib::memconsistency::Iiid::Hash
class	mc2lib::memconsistency::Event
struct	mc2lib::memconsistency::Event::Hash
class	mc2lib::memconsistency::Error

Namespaces
	mc2lib
	mc2lib::memconsistency
	Various formal models for expressing memory consistency semantics.

Typedefs
typedef sets::Set< sets::Types< Event > >	mc2lib::memconsistency::EventSet
typedef sets::Relation< sets::Types< Event > >	mc2lib::memconsistency::EventRel
typedef sets::RelationSeq< sets::Types< Event > >	mc2lib::memconsistency::EventRelSeq