var deprecated_8hh =
[
    [ "HPP_STATISTICS_DEPRECATED", "deprecated_8hh.html#a7af5241517601526a91f4c9d009a10a4", null ],
    [ "HPP_STATISTICS_DEPRECATED_HEADER", "deprecated_8hh.html#abf668988e06feba020a608eb7311dc49", null ],
    [ "HPP_STATISTICS_DEPRECATED_MESSAGE", "deprecated_8hh.html#a3b0de7e9af9b2071269ffc768ccbb704", null ]
];