Searched refs:invariants_pool (Results 1 – 3 of 3) sorted by relevance
5150 static object_allocator<lra_invariant> *invariants_pool; variable5186 invariant_ptr = invariants_pool->allocate (); in insert_invariant()5200 invariants_pool in initiate_invariants()5210 delete invariants_pool; in finish_invariants() local5219 invariants_pool->release (); in clear_invariants()
5280 static object_allocator<lra_invariant> *invariants_pool; variable5316 invariant_ptr = invariants_pool->allocate (); in insert_invariant()5330 invariants_pool in initiate_invariants()5340 delete invariants_pool; in finish_invariants()5349 invariants_pool->release (); in clear_invariants()
16682 (const_invariant_ptr_t, invariants, invariants_pool): New.