Uses of Class
org.jacop.jasat.utils.MemoryPool

Packages that use MemoryPool

Package	Description
org.jacop.jasat.core
org.jacop.jasat.core.clauses
org.jacop.jasat.utils
org.jacop.jasat.utils.structures
org.jacop.satwrapper

Uses of MemoryPool in org.jacop.jasat.core

Fields in org.jacop.jasat.core declared as MemoryPool

Modifier and Type	Field	Description
MemoryPool	Core.pool
MemoryPool	Trail.pool

Uses of MemoryPool in org.jacop.jasat.core.clauses

Fields in org.jacop.jasat.core.clauses declared as MemoryPool

Modifier and Type	Field	Description
MemoryPool	AbstractClausesDatabase.pool

Methods in org.jacop.jasat.core.clauses with parameters of type MemoryPool

Modifier and Type	Method	Description
int[]	MapClause.toIntArray(MemoryPool pool)	converts the clause to an int[] suitable for the efficient clauses pool implementations.

Uses of MemoryPool in org.jacop.jasat.utils

Fields in org.jacop.jasat.utils declared as MemoryPool

Modifier and Type	Field	Description
private MemoryPool	CnfParser.pool

Methods in org.jacop.jasat.utils with parameters of type MemoryPool

Modifier and Type	Method	Description
static int[]	Utils.resize(int[] array, int newSize, int size, MemoryPool pool)	Resize the array to newSize, using the given memory pool
static int[]	Utils.resize(int[] array, int newSize, MemoryPool pool)

Constructors in org.jacop.jasat.utils with parameters of type MemoryPool

Constructor	Description
CnfParser(MemoryPool pool, java.io.InputStream stream)	creates an instance of the parser for some input stream

Uses of MemoryPool in org.jacop.jasat.utils.structures

Fields in org.jacop.jasat.utils.structures declared as MemoryPool

Modifier and Type	Field	Description
MemoryPool	IntQueue.pool
MemoryPool	IntStack.pool
MemoryPool	IntVec.pool

Constructors in org.jacop.jasat.utils.structures with parameters of type MemoryPool

Constructor	Description
IntQueue(MemoryPool pool)
IntStack(MemoryPool pool)
IntVec(MemoryPool pool)	initializes the array with a memory pool
IntVec(MemoryPool pool, java.lang.Iterable<java.lang.Integer> clause)	initialize from pool and some integers

Uses of MemoryPool in org.jacop.satwrapper

Fields in org.jacop.satwrapper declared as MemoryPool

Modifier and Type	Field	Description
MemoryPool	SatWrapper.pool