Lines Matching defs:var
363 int var;
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] = (clause*)0;
386 s->levels [var] = 0;
387 s->tags [var] = l_Undef;
390 assert(veci_size(&s->order) == var);
392 veci_push(&s->order,var);
393 order_update(s, var);