var diffmax__t_8hpp = [ [ "diffmax_t", "diffmax__t_8hpp.html#a6549a25f92c2230c3a2de18df89fea9a", null ], [ "operator T", "diffmax__t_8hpp.html#a3f5e0a77c591634e54d72971f4c6ea4a", null ] ];