var _double3_8h =
[
    [ "Double3", "class_double3.html", "class_double3" ]
];