Author: kkaempf Date: Fri Dec 5 12:21:16 2008 New Revision: 11886 URL: http://svn.opensuse.org/viewcvs/zypp?rev=11886&view=rev Log: add Solver::explain to get reasons for a decision expose rule counter internals Modified: trunk/sat-solver/bindings/solver.i Modified: trunk/sat-solver/bindings/solver.i URL: http://svn.opensuse.org/viewcvs/zypp/trunk/sat-solver/bindings/solver.i?rev=11886&r1=11885&r2=11886&view=diff ============================================================================== --- trunk/sat-solver/bindings/solver.i (original) +++ trunk/sat-solver/bindings/solver.i Fri Dec 5 12:21:16 2008 @@ -143,6 +143,17 @@ void set_no_update_provide( int bflag ) { $self->noupdateprovide = bflag; } + int rule_count() { return $self->nrules; } + int rpmrules_start() { return 0; } + int rpmrules_end() { return $self->rpmrules_end; } + int featurerules_start() { return $self->featurerules; } + int featurerules_end() { return $self->featurerules_end; } + int updaterules_start() { return $self->updaterules; } + int updaterules_end() { return $self->updaterules_end; } + int jobrules_start() { return $self->jobrules; } + int jobrules_end() { return $self->jobrules_end; } + int learntrules_start() { return $self->learntrules; } + int learntrules_end() { return $self->nrules; } /************************** * Covenants @@ -274,6 +285,39 @@ { return solver_decisions_iterate( $self, solver_decisions_iterate_callback, NULL ); } #endif + /* + * explain a decision + * + * returns 4-element list [, Relation, Solvable, Solvable] + * + */ +#if defined(SWIGRUBY) + VALUE +#endif +#if defined(SWIGPYTHON) + PyObject * +#endif +#if defined(SWIGPERL) + SV * +#endif + explain(Transaction *t, Decision *decision) + { + Id depp = 0, sourcep = 0, targetp = 0; + SolverProbleminfo pi; + Swig_Type result = Swig_Array(); + if (decision->rule > 0) { + pi = solver_problemruleinfo($self, &(t->queue), decision->rule - $self->rules, &depp, &sourcep, &targetp); + Swig_Append(result, Swig_Int(pi)); + } + else { + Swig_Append(result, Swig_Int(-1)); + } + Swig_Append(result, SWIG_NewPointerObj((void*)relation_new($self->pool, depp), SWIGTYPE_p__Relation, 0)); + Swig_Append(result, SWIG_NewPointerObj((void*)xsolvable_new($self->pool, sourcep), SWIGTYPE_p__Solvable, 0)); + Swig_Append(result, SWIG_NewPointerObj((void*)xsolvable_new($self->pool, targetp), SWIGTYPE_p__Solvable, 0)); + return result; + } + #if defined(SWIGRUBY) %rename("problems?") problems_found(); %typemap(out) int problems_found -- To unsubscribe, e-mail: zypp-commit+unsubscribe@opensuse.org For additional commands, e-mail: zypp-commit+help@opensuse.org