Searched defs:occ_pool (Results 1 – 2 of 2) sorted by relevance
192 static object_allocator<occurrence> *occ_pool; variable1077 delete occ_pool; in execute() local
220 static object_allocator<occurrence> *occ_pool; variable