#include "pooltypes.h"
#include "pool.h"
#include "solver.h"

Functions
Id *	solver_create_decisions_obsoletesmap (Solver *solv)

void	solver_printruleelement (Solver solv, int type, Rule r, Id v)

void	solver_printrule (Solver solv, int type, Rule r)

void	solver_printruleclass (Solver solv, int type, Rule r)

void	solver_printproblem (Solver *solv, Id v)

void	solver_printwatches (Solver *solv, int type)

void	solver_printdecisionq (Solver *solv, int type)

void	solver_printdecisions (Solver *solv)

void	solver_printtransaction (Solver *solv)

void	solver_printproblemruleinfo (Solver *solv, Id rule)

void	solver_printprobleminfo (Solver *solv, Id problem)

void	solver_printcompleteprobleminfo (Solver *solv, Id problem)

void	solver_printsolution (Solver *solv, Id problem, Id solution)

void	solver_printallsolutions (Solver *solv)

void	solver_printtrivial (Solver *solv)

const char *	solver_select2str (Pool *pool, Id select, Id what)

const char *	pool_job2str (Pool *pool, Id how, Id what, int withflags)

const char *	solver_problemruleinfo2str (Solver *solv, SolverRuleinfo type, Id source, Id target, Id dep)

const char *	solver_solutionelement2str (Solver *solv, Id p, Id rp)

const char *	policy_illegal2str (Solver solv, int illegal, Solvable s, Solvable *rs)

Function Documentation

Id* solver_create_decisions_obsoletesmap ( Solver * solv)

void solver_printruleelement	(	Solver *	solv,
		int	type,
		Rule *	r,
		Id	v
	)

Definition at line 125 of file solverdebug.c.

References _Solver::decisionmap, _Pool::installed, _Solver::pool, POOL_DEBUG, _Solvable::repo, solvable2str(), _Pool::solvables, _Rule::w1, and _Rule::w2.

Referenced by analyze(), propagate(), setpropagatelearn(), solver_printdecisions(), and solver_printrule().

void solver_printrule	(	Solver *	solv,
		int	type,
		Rule *	r
	)

Definition at line 161 of file solverdebug.c.

References _Rule::d, _Rule::n1, _Rule::n2, _Solver::nrules, _Rule::p, _Solver::pool, POOL_DEBUG, _Solver::rules, rules(), solver_printruleelement(), _Rule::w2, and _Pool::whatprovidesdata.

Referenced by makeruledecisions(), propagate(), setpropagatelearn(), solver_addchoicerules(), solver_addrule(), solver_printproblem(), solver_printruleclass(), and solver_solve().

void solver_printruleclass	(	Solver *	solv,
		int	type,
		Rule *	r
	)

void solver_printproblem	(	Solver *	solv,
		Id	v
	)

Definition at line 224 of file solverdebug.c.

References _Queue::elements, _Solver::jobrules, _Solver::jobrules_end, _Solver::pool, POOL_DEBUG, _Solver::rules, _Solver::ruletojob, SAT_DEBUG_SOLUTIONS, solver_printrule(), and solver_printruleclass().

Referenced by refine_suggestion().

void solver_printwatches	(	Solver *	solv,
		int	type
	)

Definition at line 249 of file solverdebug.c.

References _Pool::nsolvables, _Solver::pool, POOL_DEBUG, and _Solver::watches.

void solver_printdecisionq	(	Solver *	solv,
		int	type
	)

Definition at line 260 of file solverdebug.c.

References _Queue::count, _Solver::decisionmap, _Solver::decisionq, _Solver::decisionq_why, _Queue::elements, _Solver::pool, POOL_DEBUG, _Solver::rules, solver_printruleclass(), and solvid2str().

Referenced by solver_run_sat().

void solver_printdecisions ( Solver * solv)

Definition at line 295 of file solverdebug.c.

Referenced by refine_suggestion(), and solver_run_sat().

void solver_printtransaction ( Solver * solv)

void solver_printproblemruleinfo	(	Solver *	solv,
		Id	rule
	)

void solver_printprobleminfo	(	Solver *	solv,
		Id	problem
	)

Definition at line 609 of file solverdebug.c.

References solver_findproblemrule(), and solver_printproblemruleinfo().

Referenced by solver_printallsolutions().

void solver_printcompleteprobleminfo	(	Solver *	solv,
		Id	problem
	)

Definition at line 615 of file solverdebug.c.

References _Queue::count, _Queue::elements, _Solver::jobrules, queue_free(), queue_init(), solver_findallproblemrules(), solver_printproblemruleinfo(), and _Solver::updaterules.

Referenced by solver_printallsolutions().

void solver_printsolution	(	Solver *	solv,
		Id	problem,
		Id	solution
	)

void solver_printallsolutions ( Solver * solv)

Definition at line 734 of file solverdebug.c.

References _Solver::pool, POOL_DEBUG, SAT_DEBUG_RESULT, solver_next_problem(), solver_next_solution(), solver_printcompleteprobleminfo(), solver_printprobleminfo(), and solver_printsolution().

void solver_printtrivial ( Solver * solv)

Definition at line 764 of file solverdebug.c.

References _Queue::count, _Queue::elements, id2str(), _Solvable::name, _Pool::nsolvables, _Solver::pool, POOL_DEBUG, queue_free(), queue_init(), queue_push(), SAT_DEBUG_RESULT, _Pool::solvables, solver_trivial_installable(), and solvid2str().

const char* solver_select2str	(	Pool *	pool,
		Id	select,
		Id	what
	)

Definition at line 797 of file solverdebug.c.

References dep2str(), pool_alloctmpspace(), pool_freetmpspace(), pool_tmpappend(), pool_tmpjoin(), SOLVER_SOLVABLE, SOLVER_SOLVABLE_ALL, SOLVER_SOLVABLE_NAME, SOLVER_SOLVABLE_ONE_OF, SOLVER_SOLVABLE_PROVIDES, SOLVER_SOLVABLE_REPO, solvid2str(), and _Pool::whatprovidesdata.

Referenced by pool_job2str(), solver_printsolution(), and solver_solve().

const char* pool_job2str	(	Pool *	pool,
		Id	how,
		Id	what,
		int	withflags
	)

const char* solver_problemruleinfo2str	(	Solver *	solv,
		SolverRuleinfo	type,
		Id	source,
		Id	target,
		Id	dep
	)

const char* solver_solutionelement2str	(	Solver *	solv,
		Id	p,
		Id	rp
	)

Definition at line 980 of file solverdebug.c.

References _Queue::elements, _Solver::installed, _Solver::job, _Solver::pool, pool_job2str(), pool_tmpappend(), pool_tmpjoin(), _Solvable::repo, solvable2str(), _Pool::solvables, SOLVER_SOLUTION_DISTUPGRADE, SOLVER_SOLUTION_INFARCH, SOLVER_SOLUTION_JOB, and solvid2str().

const char* policy_illegal2str	(	Solver *	solv,
		int	illegal,
		Solvable *	s,
		Solvable *	rs
	)

Definition at line 1019 of file solverdebug.c.

References id2str(), POLICY_ILLEGAL_ARCHCHANGE, POLICY_ILLEGAL_DOWNGRADE, POLICY_ILLEGAL_VENDORCHANGE, _Solver::pool, pool_tmpappend(), pool_tmpjoin(), solvable2str(), and _Solvable::vendor.

Functions

Function Documentation