view_manager.cpp File Reference

#include <arpa/inet.h>
#include <tuple>
#include <derecho/core/derecho_exception.hpp>
#include <derecho/core/detail/container_template_functions.hpp>
#include <derecho/core/detail/version_code.hpp>
#include <derecho/core/detail/view_manager.hpp>
#include <derecho/core/git_version.hpp>
#include <derecho/core/replicated.hpp>
#include <derecho/persistent/Persistent.hpp>
#include <derecho/utils/logger.hpp>
#include <mutils/macro_utils.hpp>

Include dependency graph for view_manager.cpp:

Go to the source code of this file.

Namespaces
	derecho

Typedefs
using	derecho::lock_guard_t = std::lock_guard< std::mutex >
using	derecho::unique_lock_t = std::unique_lock< std::mutex >
using	derecho::shared_lock_t = std::shared_lock< std::shared_timed_mutex >