cbdc::parsec::ticket_machine Namespace Reference

Namespaces
namespace	rpc

Data Structures
class	controller
	Manages a replicated ticket machine using Raft. More...
class	impl
	Thread-safe ticket machine implementation. More...
class	interface
	Ticket machine interface. More...
class	state_machine
	NuRaft state machine implementation for a replicated ticket machine. More...

Typedefs
using	ticket_number_type = uint64_t
	Type alias for a ticket number.

Typedef Documentation

ticket_number_type

using cbdc::parsec::ticket_machine::ticket_number_type = uint64_t

Type alias for a ticket number.

Definition at line 16 of file parsec/ticket_machine/interface.hpp.