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

/pkg/src/modules/solver/
H A Dsolver.h125 veci tagged; // (contains: var) member in struct:solver_t
H A Dsolver.c510 int top = veci_size(&s->tagged);
531 veci_push(&s->tagged,v);
533 int* tagged = veci_begin(&s->tagged); local
535 for (j = top; j < veci_size(&s->tagged); j++)
536 tags[tagged[j]] = l_Undef;
537 veci_resize(&s->tagged,top);
552 veci_push(&s->tagged,v);
554 int* tagged = veci_begin(&s->tagged); local
579 int* tagged; local
[all...]

Completed in 40 milliseconds