Searched refs:orderpos (Results 1 - 2 of 2) sorted by relevance

/pkg/src/modules/solver/
H A Dsolver.c134 int* orderpos = s->orderpos; local
137 int i = orderpos[v];
141 assert(s->orderpos[v] != -1);
145 orderpos[heap[i]] = i;
150 orderpos[x] = i;
159 int* orderpos = s->orderpos; local
160 if (orderpos[v] == -1){
161 orderpos[
171 int* orderpos; local
[all...]
H A Dsolver.h118 int* orderpos; // Index in variable order. member in struct:solver_t

Completed in 21 milliseconds