Lines Matching defs:end
42 static void printlits(lit* begin, lit* end)
45 for (i = 0; i < end - begin; i++)
281 static clause* clause_new(solver* s, lit* begin, lit* end, int learnt)
287 assert(end - begin > 1);
289 size = end - begin;
473 lit* end = begin + veci_size(cls);
474 clause* c = (veci_size(cls) > 1) ? clause_new(s,begin,end,1) : (clause*)0;
698 clause **end = begin + vecp_size(ws);
705 for (i = j = begin; i < end; ){
714 while (i < end)
754 while (i < end)
1073 bool solver_addclause(solver* s, lit* begin, lit* end)
1080 if (begin == end) return false;
1082 //printlits(begin,end); printf("\n");
1085 for (i = begin + 1; i < end; i++){
1094 //printlits(begin,end); printf("\n");
1099 for (i = j = begin; i < end; i++){
1163 bool solver_solve(solver* s, lit* begin, lit* end)
1171 //printf("solve: "); printlits(begin, end); printf("\n");
1172 for (i = begin; i < end; i++){