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 poolstatic 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 poolIntVec(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
-