var searchData=
[
  ['the_20xml_20parser_31509',['The XML parser',['../group__XMLParserGeneral.html',1,'']]],
  ['tools_20for_20in_2dplace_20construction_31510',['Tools for in-place construction',['../group__OFin__place__helpers.html',1,'']]]
];
