Searched defs:end (Results 1 - 1 of 1) sorted by relevance
| /pkg/src/modules/solver/ |
| H A D | solver.c | 42 static void printlits(lit* begin, lit* end) argument
45 for (i = 0; i < end - begin; i++)
281 static clause* clause_new(solver* s, lit* begin, lit* end, int learnt) argument
287 assert(end - begin > 1);
289 size = end - begin;
473 lit* end = begin + veci_size(cls); local
474 clause* c = (veci_size(cls) > 1) ? clause_new(s,begin,end,1) : (clause*)0;
698 clause **end = begin + vecp_size(ws); local
705 for (i = j = begin; i < end; ){
714 while (i < end)
1073 solver_addclause(solver* s, lit* begin, lit* end) argument
1163 solver_solve(solver* s, lit* begin, lit* end) argument
[all...] |
Completed in 24 milliseconds