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

/pkg/src/modules/solver/
H A Dsolver.c1078 lit last; local
1098 last = lit_Undef;
1102 if (*i == lit_neg(last) || sig == values[lit_var(*i)])
1104 else if (*i != last && values[lit_var(*i)] == l_Undef)
1105 last = *j++ = *i;

Completed in 24 milliseconds