var classgko_1_1Timer =
[
    [ "create_time_point", "classgko_1_1Timer.html#a36a9fae8d1f1df78829a264e0049addb", null ],
    [ "difference", "classgko_1_1Timer.html#a096e0525fc320073239e63305b9bcea0", null ],
    [ "difference_async", "classgko_1_1Timer.html#a9f6ea65e99c2e65d67803a7da3f4d8a1", null ],
    [ "record", "classgko_1_1Timer.html#af60e8cb620d9e87a90c6e799dc97cb76", null ],
    [ "wait", "classgko_1_1Timer.html#a895f02685ba5da78e8cceef4246fd399", null ]
];