Package org.jacop.jasat.utils
Class GenericMemoryPool<E>
- java.lang.Object
-
- org.jacop.jasat.utils.GenericMemoryPool<E>
-
@Deprecated public final class GenericMemoryPool<E> extends java.lang.Object
Deprecated.MemoryPool for arbitrary types. Less efficient than MemoryPool, but maybe more efficient than allocating. To be used if some data structure is often allocated/deallocated.- Version:
- 4.7
-
-
Constructor Summary
Constructors Constructor Description GenericMemoryPool(Factory<E> factory)
Deprecated.
-
Method Summary
All Methods Instance Methods Concrete Methods Deprecated Methods Modifier and Type Method Description E
getNew()
Deprecated.get an instance of Evoid
storeOld(E old)
Deprecated.stores an instance of E for future uses
-