var _debug_8hpp = [ [ "Debug", "_debug_8hpp.xhtml#a181ecb133401da6ff2916c192ca04d48", null ] ];