var time_8cpp =
[
    [ "main", "time_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627", null ],
    [ "time_lattice_sizes", "time_8cpp.html#aa224066f42c47cae5fbd457c1948e4a5", null ],
    [ "time_sample_sizes", "time_8cpp.html#ace9eb0821fe4edf19cf2e7d8ffe6efb4", null ],
    [ "usage", "time_8cpp.html#ac907e18135856c90366aaa599a9e10b1", null ]
];