Searched defs:child (Results 1 - 1 of 1) sorted by relevance

/pkg/src/modules/solver/
H A Dsolver.c203 int child = 1; local
206 while (child < size){
207 if (child+1 < size && activity[heap[child]] < activity[heap[child+1]])
208 child++;
210 assert(child < size);
212 if (act >= activity[heap[child]])
215 heap[i] = heap[child];
217 i = child;
[all...]

Completed in 624 milliseconds