var timing_8hpp =
[
    [ "average", "d5/d05/timing_8hpp.html#aecbd1dffa7fd7f56245e276d3b1e287e", null ],
    [ "once", "d5/d05/timing_8hpp.html#a1d6cb15a58b2409ab21d3de105667dca", null ],
    [ "once_c", "d5/d05/timing_8hpp.html#af5d533be88af66950b2b2c23a8caee48", null ],
    [ "total", "d5/d05/timing_8hpp.html#a4696f2d297e459253a437a5f7304ebfe", null ],
    [ "total_c", "d5/d05/timing_8hpp.html#a6ab8988cdc20419fce4f3081bc99e578", null ]
];