var class_good_pixel_manager = [ [ "GoodPixelManager", "d2/d96/class_good_pixel_manager.html#a13f298c8467ceda25a0ac40243148b48", null ] ];