docs/html/search/pages_3.js

var searchData=
[
  ['d3d12_20memory_20allocator_0',['D3D12 Memory Allocator',['../index.html',1,'']]],
  ['deallocation_1',['Deallocation',['../virtual_allocator.html#virtual_allocator_deallocation',1,'']]],
  ['debug_20margins_2',['Debug margins',['../configuration.html#debug_margins',1,'']]],
  ['defragmentation_3',['Defragmentation',['../defragmentation.html',1,'optimal_allocation']]],
  ['double_20stack_4',['Double stack',['../linear_algorithm.html#linear_algorithm_double_stack',1,'']]],
  ['dump_5',['JSON dump',['../statistics.html#statistics_json_dump',1,'']]]
];