37   PetscInt id, val;  in Swap()  local
39   val                 = Value(h, loc);  in Swap()
43   h->base[loc2].value = val;  in Swap()
53     PetscInt val = Value(h, left);  in MinChild()  local
54     if (val < min) {  in MinChild()
55       min  = val;  in MinChild()
79 PetscErrorCode PetscHeapAdd(PetscHeap h, PetscInt id, PetscInt val)  in PetscHeapAdd()  argument
88   h->base[loc].value = val;  in PetscHeapAdd()
91   while ((void)(par = Parent(loc)), Value(h, par) > val) {  in PetscHeapAdd()
98 PetscErrorCode PetscHeapPop(PetscHeap h, PetscInt *id, PetscInt *val)  in PetscHeapPop()  argument
105     *val = h->base[0].value;  in PetscHeapPop()
110   *val = h->base[1].value;  in PetscHeapPop()
127 PetscErrorCode PetscHeapPeek(PetscHeap h, PetscInt *id, PetscInt *val)  in PetscHeapPeek()  argument
132     *val = h->base[0].value;  in PetscHeapPeek()
137   *val = h->base[1].value;  in PetscHeapPeek()
141 PetscErrorCode PetscHeapStash(PetscHeap h, PetscInt id, PetscInt val)  in PetscHeapStash()  argument
148   h->base[loc].value = val;  in PetscHeapStash()