/* */ public CharHeapIndirectPriorityQueue(
char[] refArray, int[] a, int size, CharComparator c)
/* */ {
/* 107 */ this(refArray, 0, c);
/* 108 */ this.heap = a;
/* 109 */ this.size = size;
/* 110 */ int i = size;
/* 111 */ while (i-- != 0) {
/* 112 */ if (this.inv[a[i]] != -1)
throw new IllegalArgumentException("Index " + a[i] + " appears twice in the heap");
/* 113 */ this.inv[a[i]] = i;
/* */ }
/* 115 */ CharIndirectHeaps.makeHeap(refArray, a, this.inv, size, c);
/* */ }
/* */ public void allChanged() /* */ {
/* 193 */ CharIndirectHeaps.makeHeap(this.refArray, this.heap, this.inv, this.size, this.c);
/* */ }
