var stats_2decl_8hpp =
[
    [ "PipelineStats", "stats_2decl_8hpp.html#ga9fc70b88cfdeb2da1821fd783eadb57f", null ],
    [ "WorldStats", "stats_2decl_8hpp.html#gabb3f9a804e3a4ec5ea1f4ccf48a1f850", null ],
    [ "WorldSummary", "stats_2decl_8hpp.html#ga283e818af6cad018a0b351ef09ca81dc", null ]
];