var _reduction_operation_8h =
[
    [ "reduction_operation", "_reduction_operation_8h.xhtml#a0959ac5a94af6e44f1e2b3124d6511f4", null ]
];