Details
Description
The pattern
Arena *a = Thread::current()->resource_area();
VectorSet visited(a);
can be found quite often in the code. We could clean this up by adding a default constructor to VectorSet which uses Thread::current()->resource_area() as arena by default (as already done, for example, for Node_List).
Arena *a = Thread::current()->resource_area();
VectorSet visited(a);
can be found quite often in the code. We could clean this up by adding a default constructor to VectorSet which uses Thread::current()->resource_area() as arena by default (as already done, for example, for Node_List).