namespaces_1.js

var searchData=
[
  ['operations_5fresearch_908',['operations_research',['../namespaceoperations__research.html',1,'']]]
];