var classgko_1_1CudaTimer =
[
    [ "difference_async", "classgko_1_1CudaTimer.html#ab338a41567ae37e0339564b3e2b5333b", null ],
    [ "record", "classgko_1_1CudaTimer.html#ad3ace2bda308a6eca1455a87e27b6500", null ],
    [ "wait", "classgko_1_1CudaTimer.html#a9b555245710892bad0ec3c092255530a", null ]
];