var classgko_1_1HipTimer =
[
    [ "difference_async", "classgko_1_1HipTimer.html#a71d849b3113f8402082939806935670a", null ],
    [ "record", "classgko_1_1HipTimer.html#aa0d5d6a21951d8285c9792fe121d7e84", null ],
    [ "wait", "classgko_1_1HipTimer.html#a015ae24012216bb2ac53aab461590e08", null ]
];