502 

   502 

   503 void SparsePRT::cleanup() {

   503 void SparsePRT::cleanup() {

   504   // Make sure that the current and next tables agree.  (Another mechanism

   504   // Make sure that the current and next tables agree.  (Another mechanism

   505   // takes care of deleting now-unused tables.)

   505   // takes care of deleting now-unused tables.)

   506   _cur = _next;

   506   _cur = _next;

   507 }

   508 }

   508 

   509 

   509 void SparsePRT::expand() {

   510 void SparsePRT::expand() {

   510   RSHashTable* last = _next;

   511   RSHashTable* last = _next;

   511   _next = new RSHashTable(last->capacity() * 2);

   512   _next = new RSHashTable(last->capacity() * 2);