ReservationId.h File Reference

#include <ostream>

Include dependency graph for ReservationId.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	Helper::ReservationId
	a (temporary) lock on a (stateful) helper channel More...
struct	std::hash< Helper::ReservationId >
	default hash functor to support std::unordered_map<HelperReservationId, *> More...

Namespaces
	Helper
	helper protocol primitives

Functions
std::ostream &	Helper::operator<< (std::ostream &os, const ReservationId &id)