var struct_type_category_3_01std_1_1vector_3_01_t_01_4_01_4 = [ [ "value", "db/da3/struct_type_category_3_01std_1_1vector_3_01_t_01_4_01_4.html#acbeee033cf29cda33b59e3603e2e158a", null ] ];
var struct_type_category_3_01std_1_1vector_3_01_t_01_4_01_4 = [ [ "value", "db/da3/struct_type_category_3_01std_1_1vector_3_01_t_01_4_01_4.html#acbeee033cf29cda33b59e3603e2e158a", null ] ];