var searchData= [ ['other_20boost_20adapters',['Other Boost adapters',['../group__group-ext-boost.html',1,'']]], ['orderable',['Orderable',['../group__group-Orderable.html',1,'']]] ];
