This is the complete list of members for mysql::gtids::detail::Gtid_set_header, including all inherited members.

m_tsid_count	mysql::gtids::detail::Gtid_set_header
m_version	mysql::gtids::detail::Gtid_set_header
tsid_count_mask	mysql::gtids::detail::Gtid_set_header	static
tsid_count_shift0	mysql::gtids::detail::Gtid_set_header	static
tsid_count_shift1	mysql::gtids::detail::Gtid_set_header	static
version_mask	mysql::gtids::detail::Gtid_set_header	static
version_shift0	mysql::gtids::detail::Gtid_set_header	static
version_shift1	mysql::gtids::detail::Gtid_set_header	static