cats.hpp File Reference

#include <cassert>
#include <cstddef>
#include <limits>
#include <sstream>
#include <stdexcept>
#include <unordered_map>
#include "../memconsistency/cats.hpp"
#include "compiler.hpp"

Go to the source code of this file.

Classes
class	mc2lib::codegen::EvtStateCats
	Interface to memconsistency::cats data structures. More...

Namespaces
	mc2lib
	mc2lib::codegen
	Code generation for memory consistency verification.

Functions
template<class T1 , class T2 >
constexpr bool	mc2lib::codegen::lt__ (T1 a, T2 b)