Mailinglist Archive: zypp-commit (258 mails)
| < Previous | Next > |
[zypp-commit] r8181 - /trunk/sat-solver/src/solver.c
- From: schubi2@xxxxxxxxxxxxxxxx
- Date: Thu, 03 Jan 2008 08:30:01 -0000
- Message-id: <20080103083001.C2AAE241F0@xxxxxxxxxxxxxxxx>
Author: schubi2
Date: Thu Jan 3 09:30:00 2008
New Revision: 8181
URL: http://svn.opensuse.org/viewcvs/zypp?rev=8181&view=rev
Log:
comments
Modified:
trunk/sat-solver/src/solver.c
Modified: trunk/sat-solver/src/solver.c
URL:
http://svn.opensuse.org/viewcvs/zypp/trunk/sat-solver/src/solver.c?rev=8181&r1=8180&r2=8181&view=diff
==============================================================================
--- trunk/sat-solver/src/solver.c (original)
+++ trunk/sat-solver/src/solver.c Thu Jan 3 09:30:00 2008
@@ -628,7 +628,8 @@
continue;
}
- /* only job and system rules left */
+ /* only job and system rules left in the decisionq*/
+ /* find the decision which is the "oposite" of the jobrule */
for (i = 0; i < solv->decisionq.count; i++)
if (solv->decisionq.elements[i] == -v)
break;
@@ -3388,7 +3389,7 @@
if (MAPTST(&addedmap, i))
possible++;
}
- POOL_DEBUG(SAT_DEBUG_STATS, "%d of %d installable solvables considered
for solving\n", possible, installable);
+ POOL_DEBUG(SAT_DEBUG_STATS, "%d of %d installable solvables considered
for solving (rules has been generated for)\n", possible, installable);
}
/*
@@ -3415,7 +3416,7 @@
for (i = 0; i < job->count; i += 2)
{
- int oldnrules = solv->nrules;
+ oldnrules = solv->nrules;
how = job->elements[i];
what = job->elements[i + 1];
--
To unsubscribe, e-mail: zypp-commit+unsubscribe@xxxxxxxxxxxx
For additional commands, e-mail: zypp-commit+help@xxxxxxxxxxxx
Date: Thu Jan 3 09:30:00 2008
New Revision: 8181
URL: http://svn.opensuse.org/viewcvs/zypp?rev=8181&view=rev
Log:
comments
Modified:
trunk/sat-solver/src/solver.c
Modified: trunk/sat-solver/src/solver.c
URL:
http://svn.opensuse.org/viewcvs/zypp/trunk/sat-solver/src/solver.c?rev=8181&r1=8180&r2=8181&view=diff
==============================================================================
--- trunk/sat-solver/src/solver.c (original)
+++ trunk/sat-solver/src/solver.c Thu Jan 3 09:30:00 2008
@@ -628,7 +628,8 @@
continue;
}
- /* only job and system rules left */
+ /* only job and system rules left in the decisionq*/
+ /* find the decision which is the "oposite" of the jobrule */
for (i = 0; i < solv->decisionq.count; i++)
if (solv->decisionq.elements[i] == -v)
break;
@@ -3388,7 +3389,7 @@
if (MAPTST(&addedmap, i))
possible++;
}
- POOL_DEBUG(SAT_DEBUG_STATS, "%d of %d installable solvables considered
for solving\n", possible, installable);
+ POOL_DEBUG(SAT_DEBUG_STATS, "%d of %d installable solvables considered
for solving (rules has been generated for)\n", possible, installable);
}
/*
@@ -3415,7 +3416,7 @@
for (i = 0; i < job->count; i += 2)
{
- int oldnrules = solv->nrules;
+ oldnrules = solv->nrules;
how = job->elements[i];
what = job->elements[i + 1];
--
To unsubscribe, e-mail: zypp-commit+unsubscribe@xxxxxxxxxxxx
For additional commands, e-mail: zypp-commit+help@xxxxxxxxxxxx
| < Previous | Next > |