/** * Utility to display a vec on debug * * @param vec the vector to convert * @return a representative string */ public static String toString(VectorOfInt vec) { int len = vec.size(); int[] copy = new int[len]; IntBuffer.wrap(copy).put(vec.asByteBuffer(0, len).asIntBuffer()); return Arrays.toString(copy); }