var _tick_trait_8php =
[
    [ "addTimerTick", "_tick_trait_8php.html#ac339eeac84c9fe0a6f1dc38e63f4e4bf", null ],
    [ "getTimerTicks", "_tick_trait_8php.html#a3771f4c71c017201b0472de68ebc9962", null ],
    [ "TickTrait", "_tick_trait_8php.html#a36dd348cb10a14202d9602701e2d480e", null ]
];