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

/pkg/src/modules/solver/
H A Dsolver.c363 int var; local
379 for (var = s->size; var < n; var++){
380 vecp_new(&s->wlists[2*var]);
381 vecp_new(&s->wlists[2*var+1]);
382 s->activity [var] = 0;
383 s->assigns [var] = l_Undef;
384 s->orderpos [var] = veci_size(&s->order);
385 s->reasons [var]
[all...]

Completed in 20 milliseconds