var structTimerProtocol =
[
    [ "MessageTime", "structTimerProtocol_1_1MessageTime.html", "structTimerProtocol_1_1MessageTime" ],
    [ "MessageTimer", "structTimerProtocol_1_1MessageTimer.html", "structTimerProtocol_1_1MessageTimer" ],
    [ "TYPE_REQUEST_TIMER", "structTimerProtocol.html#a92544ef975a9437716d90b65af53ed37a43a66b4c351b6e2caeb33bf3b1eeb684", null ],
    [ "TYPE_REQUEST_TIME", "structTimerProtocol.html#a92544ef975a9437716d90b65af53ed37ad2721efa5367bbec7b81b218bdfb76d5", null ],
    [ "TYPE_REQUEST_LAST_TIMEOUT", "structTimerProtocol.html#a92544ef975a9437716d90b65af53ed37a82d9c32a9d3c0ba961e01354ef89980f", null ],
    [ "TimerProtocol", "structTimerProtocol.html#a37c1bd2835982055828b5456749e92e4", null ],
    [ "time", "structTimerProtocol.html#a5edacc3dfaf473e196dbc290aa9064f8", null ],
    [ "timer", "structTimerProtocol.html#a399b009f723ae19a7ea0679ff82a200b", null ],
    [ "triggered_timeouts", "structTimerProtocol.html#aa72247e56b4b8a2ec186500aa2d8c8b3", null ],
    [ "WALLCLOCK_FREQUENCY", "structTimerProtocol.html#a1f2d39fa3688f05893700524b143a5cc", null ]
];