public class Allocator extends Object
| Constructor and Description |
|---|
Allocator() |
| Modifier and Type | Method and Description |
|---|---|
static boolean[] |
allocateBooleanArray(int size)
allocate an array of boolean
|
static byte[] |
allocateByteArray(int size)
allocate an array of bytes
|
static char[] |
allocateCharArray(int size)
allocate an array of chars
|
static double[] |
allocateDoubleArray(int size)
allocate an array of double precision floating points
|
static int[] |
allocateIntArray(int size)
allocate an array of integers
|
static short[] |
allocateShortArray(int size)
allocate an array of short integers
|
static void |
showStats()
show the current memory allocation statistics
|
public static int[] allocateIntArray(int size)
public static double[] allocateDoubleArray(int size)
public static short[] allocateShortArray(int size)
public static char[] allocateCharArray(int size)
public static byte[] allocateByteArray(int size)
public static boolean[] allocateBooleanArray(int size)
public static void showStats()
This file is a part of the JDD package, a native Java Binary Decision Diagram Library.