var fwd_2ordering_8hpp =
[
    [ "ordering", "fwd_2ordering_8hpp.html#gaf7e94ba859710cd6ba6152e5dc18977d", null ]
];