var _timestamp_8hpp =
[
    [ "addTime", "db/d7a/_timestamp_8hpp.html#gaca57f801d5094c845dd1a125493ecbb0", null ],
    [ "operator<", "db/d7a/_timestamp_8hpp.html#gada4a04e757eee5e323da50b65fe1d3ce", null ],
    [ "operator==", "db/d7a/_timestamp_8hpp.html#gaf482b9dab4efeb8b498c64789dbb550a", null ],
    [ "timeDifference", "db/d7a/_timestamp_8hpp.html#ga06e5b1afd1d9d70451cdb52d38baff78", null ]
];