restart_state.cpp File Reference

#include <optional>
#include <derecho/core/detail/container_template_functions.hpp>
#include <derecho/core/detail/restart_state.hpp>
#include <derecho/core/detail/version_code.hpp>
#include <derecho/utils/logger.hpp>
#include <derecho/core/detail/view_manager.hpp>
#include <derecho/persistent/Persistent.hpp>

Include dependency graph for restart_state.cpp:

Go to the source code of this file.

Namespaces
	derecho