var classSEVMGR_1_1EventQueueManager = [ [ "SEVMGR_Service", "classSEVMGR_1_1EventQueueManager.html#a232dcb51127a6ac71ec167156f4a6d80", null ] ];
var classSEVMGR_1_1EventQueueManager = [ [ "SEVMGR_Service", "classSEVMGR_1_1EventQueueManager.html#a232dcb51127a6ac71ec167156f4a6d80", null ] ];