Uses of Class
org.jacop.jasat.utils.MemoryPool
Packages that use MemoryPool
Package
Description
-
Uses of MemoryPool in org.jacop.jasat.core
Fields in org.jacop.jasat.core declared as MemoryPool -
Uses of MemoryPool in org.jacop.jasat.core.clauses
Fields in org.jacop.jasat.core.clauses declared as MemoryPoolMethods in org.jacop.jasat.core.clauses with parameters of type MemoryPoolModifier and TypeMethodDescriptionint[]
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 MemoryPoolMethods in org.jacop.jasat.utils with parameters of type MemoryPoolModifier and TypeMethodDescriptionstatic final int[]
Utils.resize
(int[] array, int newSize, int size, MemoryPool pool) Resize the array to newSize, using the given memory poolstatic final int[]
Utils.resize
(int[] array, int newSize, MemoryPool pool) Constructors in org.jacop.jasat.utils with parameters of type MemoryPoolModifierConstructorDescriptionCnfParser
(MemoryPool pool, 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 MemoryPoolConstructors in org.jacop.jasat.utils.structures with parameters of type MemoryPoolModifierConstructorDescriptionIntQueue
(MemoryPool pool) IntStack
(MemoryPool pool) IntVec
(MemoryPool pool) initializes the array with a memory poolIntVec
(MemoryPool pool, Iterable<Integer> clause) initialize from pool and some integers -
Uses of MemoryPool in org.jacop.satwrapper
Fields in org.jacop.satwrapper declared as MemoryPool