text: var Statistics_8h =
  [
      [ "Statistics", "classMetroCollect_1_1Statistics.html", "classMetroCollect_1_1Statistics" ],
      [ "operator|", "Statistics_8h.html#ad6a0139389fe17c4b0a1ab50b83ff0e7", null ],
      [ "operator|=", "Statistics_8h.html#a46dbb04e17a4d0fe77ceece300f8b1b7", null ]
  ];