Added 'is_in_pool' member function.