docs/html/search/pages_a.js

var searchData=
[
  ['resource_20aliasing_20overlap_0',['Resource aliasing (overlap)',['../resource_aliasing.html',1,'optimal_allocation']]],
  ['resource_20allocation_1',['Optimal resource allocation',['../optimal_allocation.html',1,'index']]]
];