var dir_2bc865727b7e9e6ac2165fe3b5437328 = [ [ "metric_computations.hpp", "metric__computations_8hpp.html", "metric__computations_8hpp" ], [ "operators.hpp", "operators_8hpp.html", "operators_8hpp" ] ];