/// <summary> /// Deallocate resources /// </summary> public void Deallocate() { SearchManager.Deallocate(); }