1var fwd_2ordering_8hpp = 2[ 3 [ "ordering", "fwd_2ordering_8hpp.html#gaf7e94ba859710cd6ba6152e5dc18977d", null ] 4];