Searched defs:qcount (Results 1 – 2 of 2) sorted by relevance
2109 int qcount; in solver_run_sat() local
1530 int qcount = q->count; in intersect_obsoletes() local