/* */ public void enqueue(int x) /* */ {
/* 167 */ ensureElement(x);
/* */
/* 169 */ if (this.size == this.heap.length)
this.heap = IntArrays.grow(this.heap, this.size + 1);
/* */
/* 171 */ this.heap[(this.size++)] = x;
/* 172 */ CharSemiIndirectHeaps.upHeap(
this.refArray, this.heap, this.size, this.size - 1, this.c);
/* */ }
/* */ public void enqueue(int x) {
/* 156 */ if (this.inv[x] >= 0)
throw new IllegalArgumentException("Index " + x + " belongs to the queue");
/* 157 */ if (this.size == this.heap.length)
this.heap = IntArrays.grow(this.heap, this.size + 1);
/* */ int tmp83_82 = x;
this.heap[this.size] = tmp83_82;
this.inv[tmp83_82] = (this.size++);
/* */
/* 161 */ CharIndirectHeaps.upHeap(
this.refArray, this.heap, this.inv, this.size, this.size - 1, this.c);
/* */ }