diff options
| author | Michael Schroeder <mls@suse.de> | 2013-02-04 19:23:10 +0100 |
|---|---|---|
| committer | Michael Schroeder <mls@suse.de> | 2013-02-04 19:23:10 +0100 |
| commit | d8da03ef0940abe3cf91fdeb3a6c172f6cb48e7e (patch) | |
| tree | 2bee5121e4ac3c31a66b8aaf9f78532118de344d /src/solver.c | |
| parent | 460454535325e5b00c78f9f30afa3bc67e3f6038 (diff) | |
| download | libsolv-d8da03ef0940abe3cf91fdeb3a6c172f6cb48e7e.tar.gz libsolv-d8da03ef0940abe3cf91fdeb3a6c172f6cb48e7e.tar.bz2 libsolv-d8da03ef0940abe3cf91fdeb3a6c172f6cb48e7e.zip | |
optimize code a bit to make analyze_unsolvable faster
Diffstat (limited to 'src/solver.c')
| -rw-r--r-- | src/solver.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/solver.c b/src/solver.c index e0ca140..38b53c2 100644 --- a/src/solver.c +++ b/src/solver.c @@ -965,11 +965,11 @@ solver_reset(Solver *solv) v = solv->decisionq.elements[i]; solv->decisionmap[v > 0 ? v : -v] = 0; } - solv->decisionq_why.count = 0; - solv->decisionq.count = 0; + queue_empty(&solv->decisionq_why); + queue_empty(&solv->decisionq); solv->recommends_index = -1; solv->propagate_index = 0; - solv->branches.count = 0; + queue_empty(&solv->branches); /* adapt learnt rule status to new set of enabled/disabled rules */ enabledisablelearntrules(solv); |