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 [