var a01442 = [ [ "__trace_vector_size", "a00418.html", "a00418" ], [ "__trace_vector_size_construct", "a01442.html#ae24e27177334668fe45d298cc8db96a4", null ], [ "__trace_vector_size_destruct", "a01442.html#a79cd71048ddd3df133b100a1e45bb8ca", null ], [ "__trace_vector_size_init", "a01442.html#ac780458de8092cb04217d8f107397b28", null ], [ "__trace_vector_size_report", "a01442.html#a2f9f8d2257ff9bcdab0877852e5c3f5c", null ], [ "__trace_vector_size_resize", "a01442.html#a59c561003fa3549c024439af4d44cd54", null ] ];