Lines Matching defs:heap
136 int* heap = veci_begin(&s->order);
138 int x = heap[i];
143 while (i != 0 && activity[x] > activity[heap[parent]]){
144 heap[i] = heap[parent];
145 orderpos[heap[i]] = i;
149 heap[i] = x;
169 int* heap;
185 heap = veci_begin(&s->order);
191 int next = heap[0];
193 int x = heap[size];
207 if (child+1 < size && activity[heap[child]] < activity[heap[child+1]])
212 if (act >= activity[heap[child]])
215 heap[i] = heap[child];
216 orderpos[heap[i]] = i;
220 heap[i] = x;
221 orderpos[heap[i]] = i;
389 /* does not hold because variables enqueued at top level will not be reinserted in the heap