Lines Matching refs:DestroySplayTree
1267 temporary_resources=DestroySplayTree(temporary_resources);