org.jacop.jasat.utils

Class MemoryPool

java.lang.Object

org.jacop.jasat.utils.MemoryPool

All Implemented Interfaces:

SolverComponent

public final class MemoryPool
extends Object
implements SolverComponent

Class containing int[] of different lengths, to avoid allocating/deallocating too much.

Version:

4.9

Author:

Simon Cruanes and Radoslaw Szymanek

Field Summary

Fields

Modifier and Type	Field and Description
int[]	indexes
int[][][]	pool

Constructor Summary

Constructors

Constructor and Description
MemoryPool()

Method Summary

Modifier and Type	Method and Description
int[]	getNew(int size) returns an array, from the pool if one is available, allocating it otherwise
void	initialize(Core core) initializes the component with the given solver.
void	storeOld(int[] array) save this array for a future usage, when not needed anymore
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

pool

public int[][][] pool

indexes

public int[] indexes

Constructor Detail

MemoryPool

public MemoryPool()

Method Detail

getNew

public int[] getNew(int size)

returns an array, from the pool if one is available, allocating it otherwise

Parameters:

size - the size of the array we need

Returns:

an int[size] array

storeOld

public void storeOld(int[] array)

save this array for a future usage, when not needed anymore

Parameters:

array - the array to store

toString

public String toString()

Overrides:

toString in class Object

initialize

public void initialize(Core core)

Description copied from interface: SolverComponent

initializes the component with the given solver. May be called only once. This method must register the component to the solver for the run.

Specified by:

initialize in interface SolverComponent

Parameters:

core - core component to initialize