text: var PHTimeStamp_8h =
  [
      [ "PHTimeStamp", "da/dc2/classPHTimeStamp.html", "da/dc2/classPHTimeStamp" ],
      [ "phtime_t", "da/d32/PHTimeStamp_8h.html#a80bd641ca67eea04909603dccc4872b9", null ],
      [ "operator+", "da/d32/PHTimeStamp_8h.html#a5f7b988741978ca5be4ac499f634c88b", null ],
      [ "operator-", "da/d32/PHTimeStamp_8h.html#a141e1ddbced2d967a2bccf65936fbb22", null ],
      [ "operator-", "da/d32/PHTimeStamp_8h.html#ae3aa970c12a3e098b96149e85cf98a2b", null ],
      [ "operator<<", "da/d32/PHTimeStamp_8h.html#a561126ed0d3ae2d1559eea1711a4e067", null ],
      [ "operator>>", "da/d32/PHTimeStamp_8h.html#a950c2ab7d182652531a5e2f84ca29e0c", null ]
  ];