var searchData=
[
  ['double_5ftag',['double_tag',['../group__objects_ga3eff9ebd9f241e211e00b991e2ac60fc.html#gga3eff9ebd9f241e211e00b991e2ac60fcad4e34bc834b4556b022822be9409dbe6',1,'types.h']]]
];