controller.hpp File Reference

#include "impl.hpp"
#include "state_machine.hpp"
#include "util/raft/node.hpp"
#include "util/raft/rpc_server.hpp"
#include "util/rpc/tcp_server.hpp"

Include dependency graph for parsec/ticket_machine/controller.hpp:

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

Go to the source code of this file.

Data Structures
class	cbdc::parsec::ticket_machine::controller
	Manages a replicated ticket machine using Raft. More...

Namespaces
namespace	cbdc
namespace	cbdc::parsec
namespace	cbdc::parsec::ticket_machine