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

/pkg/src/modules/solver/
H A Dsolver.h124 lbool* tags; // member in struct:solver_t
H A Dsolver.c375 s->tags = (lbool*) realloc(s->tags, sizeof(lbool)*s->cap);
387 s->tags [var] = l_Undef;
507 lbool* tags = s->tags; local
527 if (tags[v] == l_Undef && levels[v] != 0){
530 tags[v] = l_True;
536 tags[tagged[j]] = l_Undef;
547 if (tags[v] == l_Undef && levels[v] != 0){
551 tags[
571 lbool* tags = s->tags; local
[all...]

Completed in 9 milliseconds