/* */ public CharHeapSemiIndirectPriorityQueue(
char[] refArray, int[] a, int size, CharComparator c)
/* */ {
/* 112 */ this(refArray, 0, c);
/* 113 */ this.heap = a;
/* 114 */ this.size = size;
/* 115 */ CharSemiIndirectHeaps.makeHeap(refArray, a, size, c);
/* */ }
/* */ public void allChanged() /* */ {
/* 204 */ CharSemiIndirectHeaps.makeHeap(this.refArray, this.heap, this.size, this.c);
/* */ }
