var classranges_1_1box =
[
    [ "box", "classranges_1_1box.html#a44965503fc37b36d70f1e6fbb1ed4ed4", null ],
    [ "box", "classranges_1_1box.html#a632abc874a31aea6ed617996e8bc208a", null ]
];