/** Trims the underlying heap array so that it has exactly {@link #size()} elements. */
public void trim() {
heap = FloatArrays.trim(heap, size);
}
public void enqueue(float x) {
if (size == heap.length) heap = FloatArrays.grow(heap, size + 1);
heap[size++] = x;
FloatHeaps.upHeap(heap, size, size - 1, c);
}