var classgko_1_1DpcppTimer =
[
    [ "difference_async", "classgko_1_1DpcppTimer.html#ae4a46b8259af4dad4c6a6014e333ecd2", null ],
    [ "record", "classgko_1_1DpcppTimer.html#ae0455fb540b6a22fdf754a6684dd391a", null ],
    [ "wait", "classgko_1_1DpcppTimer.html#aea1f314a29fecb8bd45c0ea4a0a17dc9", null ]
];