[set] Add add_array()
To be used to optimize adding a whole bunch of (sorted) items at the same time, as in CoverageFormat1.
Showing
想要评论请 注册 或 登录
To be used to optimize adding a whole bunch of (sorted) items at the same time, as in CoverageFormat1.