var class_time_stamp_server =
[
    [ "GetTimeStampMessage", "class_time_stamp_server.html#a2b0c93e8de3dbb51c1d1c9256d4d575c", null ],
    [ "IsEmpty", "class_time_stamp_server.html#a837494a95636caef0e90fb1f40390cab", null ],
    [ "SendTimeStampRequest", "class_time_stamp_server.html#a1f6809a1ebd1cfeef6fbea4b4fc90c22", null ]
];