_Solver Struct Reference

#include <solver.h>

List of all members.

Public Attributes
Pool *	pool
Queue	job
Transaction	trans
Repo *	installed
Rule *	rules
Id	nrules
Queue	ruleassertions
Id	rpmrules_end
Id	featurerules
Id	featurerules_end
Id	updaterules
Id	updaterules_end
Id	jobrules
Id	jobrules_end
Id	infarchrules
Id	infarchrules_end
Id	duprules
Id	duprules_end
Id	choicerules
Id	choicerules_end
Id *	choicerules_ref
Id	learntrules
Map	noupdate
Map	noobsoletes
Map	updatemap
int	updatemap_all
Map	fixmap
int	fixmap_all
Queue	weakruleq
Map	weakrulemap
Id *	watches
Queue	ruletojob
Queue	decisionq
Queue	decisionq_why
Id *	decisionmap
Queue	learnt_why
Queue	learnt_pool
Queue	branches
int(*	solution_callback )(struct _Solver *solv, void *data)
void *	solution_callback_data
int	propagate_index
Queue	problems
Queue	solutions
Queue	recommendations
Queue	suggestions
Queue	orphaned
int	stats_learned
int	stats_unsolvable
Map	recommendsmap
Map	suggestsmap
int	recommends_index
Id *	obsoletes
Id *	obsoletes_data
Id *	multiversionupdaters
int	fixsystem
int	allowdowngrade
int	allowarchchange
int	allowvendorchange
int	allowuninstall
int	updatesystem
int	noupdateprovide
int	dosplitprovides
int	dontinstallrecommended
int	ignorealreadyrecommended
int	dontshowinstalledrecommended
int	distupgrade
int	distupgrade_removeunsupported
int	noinfarchcheck
BestSolvableCb	bestSolvableCb
ArchCheckCb	archCheckCb
VendorCheckCb	vendorCheckCb
UpdateCandidateCb	updateCandidateCb
Queue	covenantq
Map	dupmap
int	dupmap_all
Map	dupinvolvedmap
Map	droporphanedmap
int	droporphanedmap_all
Map	cleandepsmap
Queue *	ruleinfoq

---

Detailed Description

Definition at line 41 of file solver.h.

---

Member Data Documentation

Pool* _Solver::pool

Definition at line 42 of file solver.h.

Referenced by addrpmruleinfo(), addwatches_rule(), analyze(), analyze_unsolvable(), analyze_unsolvable_rule(), convertsolution(), create_solutions(), dep_possible(), disableduprule(), disableinfarchrule(), enabledisablelearntrules(), finddistupgradepackages(), findproblemrule_internal(), findrecommendedsuggested(), jobtodisablelist(), makemultiversionconflict(), makeruledecisions(), makewatches(), policy_create_obsolete_index(), policy_filter_unwanted(), policy_findupdatepackages(), policy_illegal_archchange(), policy_illegal_vendorchange(), policy_is_illegal(), propagate(), prune_best_arch_name_version(), prune_to_recommended(), reenableduprule(), reenableinfarchrule(), reenableupdaterule(), refine_suggestion(), removedisabledconflicts(), revert(), selectandinstall(), setpropagatelearn(), solver_addchoicerules(), solver_addduprules(), solver_addinfarchrules(), solver_addrpmrulesforsolvable(), solver_addrpmrulesforupdaters(), solver_addrpmrulesforweak(), solver_addrule(), solver_addupdaterule(), solver_allruleinfos(), solver_calc_duchanges(), solver_calc_installsizechange(), solver_create(), solver_create_decisions_obsoletesmap(), solver_create_state_maps(), solver_createcleandepsmap(), solver_createdupmaps(), solver_dep_fulfilled(), solver_dep_installed(), solver_disablechoicerules(), solver_disableproblem(), solver_enableproblem(), solver_printallsolutions(), solver_printdecisionq(), solver_printdecisions(), solver_printproblem(), solver_printproblemruleinfo(), solver_printrule(), solver_printruleclass(), solver_printruleelement(), solver_printsolution(), solver_printtransaction(), solver_printtrivial(), solver_printwatches(), solver_reset(), solver_ruleinfo(), solver_run_sat(), solver_samerule(), solver_solve(), solver_splitprovides(), solver_trivial_installable(), solver_unifyrules(), and watch2onhighest().

Queue _Solver::job

Definition at line 43 of file solver.h.

Referenced by create_solutions(), refine_suggestion(), solver_createcleandepsmap(), solver_createdupmaps(), solver_disablepolicyrules(), solver_free(), solver_printsolution(), solver_reenablepolicyrules(), solver_ruleinfo(), and solver_solve().

Transaction _Solver::trans

Definition at line 45 of file solver.h.

Referenced by solver_create(), solver_free(), solver_printdecisions(), solver_printtransaction(), and solver_solve().

Repo* _Solver::installed

Definition at line 47 of file solver.h.

Referenced by convertsolution(), disableupdaterule(), findproblemrule_internal(), findrecommendedsuggested(), jobtodisablelist(), policy_create_obsolete_index(), policy_findupdatepackages(), reenableupdaterule(), solver_addduprules(), solver_addrpmrulesforsolvable(), solver_addupdaterule(), solver_create(), solver_create_decisions_obsoletesmap(), solver_createcleandepsmap(), solver_dep_installed(), solver_disablepolicyrules(), solver_printdecisions(), solver_printsolution(), solver_reenablepolicyrules(), solver_ruleinfo(), solver_run_sat(), solver_solve(), and solver_splitprovides().

Rule* _Solver::rules

Definition at line 53 of file solver.h.

Referenced by addrpmruleinfo(), addwatches_rule(), analyze(), analyze_unsolvable(), analyze_unsolvable_rule(), convertsolution(), disableduprule(), disableinfarchrule(), disableupdaterule(), enabledisablelearntrules(), enableweakrules(), findproblemrule_internal(), findrecommendedsuggested(), makeruledecisions(), makewatches(), propagate(), reenableduprule(), reenableinfarchrule(), reenableupdaterule(), refine_suggestion(), removedisabledconflicts(), setpropagatelearn(), solver_addchoicerules(), solver_addrule(), solver_allruleinfos(), solver_create(), solver_createcleandepsmap(), solver_disablechoicerules(), solver_disablepolicyrules(), solver_disableproblem(), solver_enableproblem(), solver_free(), solver_printdecisionq(), solver_printproblem(), solver_printrule(), solver_printruleclass(), solver_reenablepolicyrules(), solver_ruleinfo(), solver_run_sat(), solver_solve(), solver_unifyrules(), and weaken_solvable_deps().

Id _Solver::nrules

Definition at line 54 of file solver.h.

Referenced by makewatches(), removedisabledconflicts(), solver_addchoicerules(), solver_addduprules(), solver_addinfarchrules(), solver_addjobrule(), solver_addrule(), solver_create(), solver_printrule(), solver_run_sat(), solver_solve(), and solver_unifyrules().

Queue _Solver::ruleassertions

Definition at line 56 of file solver.h.

Referenced by makeruledecisions(), setpropagatelearn(), solver_create(), solver_free(), and solver_solve().

Id _Solver::rpmrules_end

Definition at line 60 of file solver.h.

Referenced by makeruledecisions(), solver_addchoicerules(), solver_addrule(), solver_allruleinfos(), and solver_solve().

Id _Solver::featurerules

Definition at line 62 of file solver.h.

Referenced by convertsolution(), disableupdaterule(), makeruledecisions(), reenableupdaterule(), refine_suggestion(), solver_addchoicerules(), solver_disableproblem(), solver_enableproblem(), solver_printruleclass(), solver_ruleinfo(), solver_run_sat(), and solver_solve().

Id _Solver::featurerules_end

Definition at line 63 of file solver.h.

Referenced by refine_suggestion(), solver_printruleclass(), and solver_solve().

Id _Solver::updaterules

Definition at line 65 of file solver.h.

Referenced by convertsolution(), disableupdaterule(), findproblemrule_internal(), reenableupdaterule(), refine_suggestion(), solver_addchoicerules(), solver_disableproblem(), solver_enableproblem(), solver_printcompleteprobleminfo(), solver_printruleclass(), solver_ruleinfo(), solver_run_sat(), and solver_solve().

Id _Solver::updaterules_end

Definition at line 66 of file solver.h.

Referenced by solver_printruleclass(), and solver_solve().

Id _Solver::jobrules

Definition at line 68 of file solver.h.

Referenced by analyze_unsolvable(), analyze_unsolvable_rule(), findproblemrule_internal(), findrecommendedsuggested(), makeruledecisions(), solver_createcleandepsmap(), solver_disablepolicyrules(), solver_disableproblem(), solver_enableproblem(), solver_printcompleteprobleminfo(), solver_printproblem(), solver_printruleclass(), solver_reenablepolicyrules(), solver_ruleinfo(), solver_run_sat(), and solver_solve().

Id _Solver::jobrules_end

Definition at line 69 of file solver.h.

Referenced by findproblemrule_internal(), solver_printproblem(), solver_printruleclass(), and solver_solve().

Id _Solver::infarchrules

Definition at line 71 of file solver.h.

Referenced by analyze_unsolvable_rule(), convertsolution(), disableinfarchrule(), findproblemrule_internal(), jobtodisablelist(), reenableinfarchrule(), solver_addchoicerules(), solver_addinfarchrules(), solver_disableproblem(), solver_enableproblem(), solver_printruleclass(), solver_ruleinfo(), and solver_solve().

Id _Solver::infarchrules_end

Definition at line 72 of file solver.h.

Referenced by convertsolution(), jobtodisablelist(), solver_addinfarchrules(), solver_disableproblem(), solver_enableproblem(), solver_printruleclass(), and solver_solve().

Id _Solver::duprules

Definition at line 74 of file solver.h.

Referenced by analyze_unsolvable_rule(), convertsolution(), disableduprule(), findproblemrule_internal(), jobtodisablelist(), reenableduprule(), solver_addchoicerules(), solver_addduprules(), solver_disableproblem(), solver_enableproblem(), solver_printruleclass(), solver_ruleinfo(), and solver_solve().

Id _Solver::duprules_end

Definition at line 75 of file solver.h.

Referenced by convertsolution(), jobtodisablelist(), solver_addduprules(), solver_disableproblem(), solver_enableproblem(), solver_printruleclass(), and solver_solve().

Id _Solver::choicerules

Definition at line 77 of file solver.h.

Referenced by analyze_unsolvable(), solver_addchoicerules(), solver_disablechoicerules(), solver_printruleclass(), solver_ruleinfo(), and solver_solve().

Id _Solver::choicerules_end

Definition at line 78 of file solver.h.

Referenced by solver_addchoicerules(), solver_printruleclass(), and solver_solve().

Id* _Solver::choicerules_ref

Definition at line 79 of file solver.h.

Referenced by solver_addchoicerules(), solver_disablechoicerules(), and solver_free().

Id _Solver::learntrules

Definition at line 81 of file solver.h.

Referenced by analyze_unsolvable_rule(), enabledisablelearntrules(), findallproblemrules_internal(), findproblemrule_internal(), makeruledecisions(), setpropagatelearn(), solver_printruleclass(), solver_ruleinfo(), and solver_solve().

Map _Solver::noupdate

Definition at line 83 of file solver.h.

Referenced by disableupdaterule(), reenableupdaterule(), solver_create(), solver_disablepolicyrules(), solver_free(), and solver_run_sat().

Map _Solver::noobsoletes

Definition at line 85 of file solver.h.

Referenced by convertsolution(), findrecommendedsuggested(), jobtodisablelist(), makemultiversionconflict(), solver_addrpmrulesforsolvable(), solver_addupdaterule(), solver_create_decisions_obsoletesmap(), solver_free(), solver_run_sat(), solver_solve(), and solver_trivial_installable().

Map _Solver::updatemap

Definition at line 87 of file solver.h.

Referenced by solver_addduprules(), solver_addupdaterule(), solver_free(), solver_run_sat(), and solver_solve().

int _Solver::updatemap_all

Definition at line 88 of file solver.h.

Referenced by solver_addupdaterule(), solver_run_sat(), and solver_solve().

Map _Solver::fixmap

Definition at line 90 of file solver.h.

Referenced by solver_addrpmrulesforsolvable(), solver_free(), and solver_solve().

int _Solver::fixmap_all

Definition at line 91 of file solver.h.

Referenced by solver_addrpmrulesforsolvable(), and solver_solve().

Queue _Solver::weakruleq

Definition at line 93 of file solver.h.

Referenced by solver_addchoicerules(), solver_addjobrule(), solver_create(), solver_free(), solver_solve(), and weaken_solvable_deps().

Map _Solver::weakrulemap

Definition at line 94 of file solver.h.

Referenced by analyze_unsolvable_rule(), enableweakrules(), makeruledecisions(), solver_free(), solver_printruleclass(), and solver_solve().

Id* _Solver::watches

Definition at line 96 of file solver.h.

Referenced by addwatches_rule(), makewatches(), propagate(), solver_free(), and solver_printwatches().

Queue _Solver::ruletojob

Definition at line 102 of file solver.h.

Referenced by analyze_unsolvable(), analyze_unsolvable_rule(), makeruledecisions(), solver_addjobrule(), solver_create(), solver_createcleandepsmap(), solver_disablepolicyrules(), solver_disableproblem(), solver_enableproblem(), solver_free(), solver_printproblem(), solver_reenablepolicyrules(), solver_ruleinfo(), and solver_solve().

Queue _Solver::decisionq

Definition at line 105 of file solver.h.

Referenced by analyze(), analyze_unsolvable(), create_solutions(), findrecommendedsuggested(), makeruledecisions(), propagate(), prune_to_recommended(), removedisabledconflicts(), revert(), setpropagatelearn(), solver_create(), solver_create_decisions_obsoletesmap(), solver_create_state_maps(), solver_free(), solver_printdecisionq(), solver_printdecisions(), solver_reset(), solver_run_sat(), and solver_solve().

Queue _Solver::decisionq_why

Definition at line 106 of file solver.h.

Referenced by analyze(), analyze_unsolvable(), create_solutions(), makeruledecisions(), propagate(), removedisabledconflicts(), revert(), setpropagatelearn(), solver_create(), solver_free(), solver_printdecisionq(), solver_reset(), and solver_run_sat().

Id* _Solver::decisionmap

Definition at line 108 of file solver.h.

Referenced by analyze(), analyze_unsolvable(), convertsolution(), create_solutions(), findrecommendedsuggested(), makeruledecisions(), propagate(), removedisabledconflicts(), revert(), setpropagatelearn(), solver_create(), solver_dep_fulfilled(), solver_free(), solver_printdecisionq(), solver_printdecisions(), solver_printruleelement(), solver_reset(), solver_run_sat(), undo_removedisabledconflicts(), and watch2onhighest().

Queue _Solver::learnt_why

Definition at line 114 of file solver.h.

Referenced by analyze_unsolvable_rule(), enabledisablelearntrules(), findallproblemrules_internal(), findproblemrule_internal(), setpropagatelearn(), solver_create(), and solver_free().

Queue _Solver::learnt_pool

Definition at line 115 of file solver.h.

Referenced by analyze(), analyze_unsolvable(), analyze_unsolvable_rule(), enabledisablelearntrules(), findallproblemrules_internal(), findproblemrule_internal(), makeruledecisions(), solver_create(), and solver_free().

Queue _Solver::branches

Definition at line 117 of file solver.h.

Referenced by revert(), selectandinstall(), solver_create(), solver_free(), solver_reset(), and solver_run_sat().

int(* _Solver::solution_callback)(struct _Solver *solv, void *data)

Definition at line 118 of file solver.h.

Referenced by solver_run_sat().

void* _Solver::solution_callback_data

Definition at line 119 of file solver.h.

Referenced by solver_run_sat().

int _Solver::propagate_index

Definition at line 121 of file solver.h.

Referenced by propagate(), revert(), solver_reset(), and solver_run_sat().

Queue _Solver::problems

Definition at line 123 of file solver.h.

Referenced by analyze_unsolvable(), analyze_unsolvable_rule(), create_solutions(), makeruledecisions(), refine_suggestion(), solver_create(), solver_findallproblemrules(), solver_findproblemrule(), solver_free(), solver_next_problem(), solver_next_solution(), solver_next_solutionelement(), solver_prepare_solutions(), solver_problem_count(), solver_solution_count(), solver_solutionelement_count(), and solver_solve().

Queue _Solver::solutions

Definition at line 124 of file solver.h.

Referenced by create_solutions(), solver_free(), solver_next_solution(), solver_next_solutionelement(), solver_prepare_solutions(), solver_solution_count(), and solver_solutionelement_count().

Queue _Solver::recommendations

Definition at line 126 of file solver.h.

Referenced by create_solutions(), findrecommendedsuggested(), revert(), solver_create(), solver_free(), solver_printdecisions(), solver_reset(), and solver_run_sat().

Queue _Solver::suggestions

Definition at line 127 of file solver.h.

Referenced by findrecommendedsuggested(), solver_create(), solver_free(), and solver_printdecisions().

Queue _Solver::orphaned

Definition at line 128 of file solver.h.

Referenced by solver_addupdaterule(), solver_create(), solver_free(), solver_printdecisions(), solver_run_sat(), and solver_solve().

int _Solver::stats_learned

Definition at line 130 of file solver.h.

Referenced by analyze(), solver_run_sat(), and solver_solve().

int _Solver::stats_unsolvable

Definition at line 131 of file solver.h.

Referenced by analyze_unsolvable(), solver_run_sat(), and solver_solve().

Map _Solver::recommendsmap

Definition at line 133 of file solver.h.

Referenced by findrecommendedsuggested(), prune_to_recommended(), solver_create(), and solver_free().

Map _Solver::suggestsmap

Definition at line 134 of file solver.h.

Referenced by findrecommendedsuggested(), prune_to_recommended(), solver_create(), and solver_free().

int _Solver::recommends_index

Definition at line 135 of file solver.h.

Referenced by findrecommendedsuggested(), prune_to_recommended(), revert(), solver_create(), and solver_reset().

Id* _Solver::obsoletes

Definition at line 137 of file solver.h.

Referenced by policy_create_obsolete_index(), policy_findupdatepackages(), and solver_free().

Id* _Solver::obsoletes_data

Definition at line 138 of file solver.h.

Referenced by policy_create_obsolete_index(), policy_findupdatepackages(), and solver_free().

Id* _Solver::multiversionupdaters

Definition at line 139 of file solver.h.

Referenced by solver_addupdaterule(), solver_free(), and solver_run_sat().

int _Solver::fixsystem

Definition at line 145 of file solver.h.

Referenced by solver_solve().

int _Solver::allowdowngrade

Definition at line 146 of file solver.h.

Referenced by policy_findupdatepackages(), policy_is_illegal(), and solver_solve().

int _Solver::allowarchchange

Definition at line 147 of file solver.h.

Referenced by policy_findupdatepackages(), policy_is_illegal(), and solver_solve().

int _Solver::allowvendorchange

Definition at line 148 of file solver.h.

Referenced by policy_findupdatepackages(), policy_is_illegal(), and solver_solve().

int _Solver::allowuninstall

Definition at line 149 of file solver.h.

Referenced by solver_solve().

int _Solver::updatesystem

Definition at line 150 of file solver.h.

Referenced by solver_solve().

int _Solver::noupdateprovide

Definition at line 151 of file solver.h.

Referenced by addduppackages(), policy_findupdatepackages(), and solver_solve().

int _Solver::dosplitprovides

Definition at line 152 of file solver.h.

Referenced by solver_solve(), and solver_splitprovides().

int _Solver::dontinstallrecommended

Definition at line 153 of file solver.h.

Referenced by findrecommendedsuggested(), and solver_solve().

int _Solver::ignorealreadyrecommended

Definition at line 154 of file solver.h.

Referenced by findrecommendedsuggested(), solver_run_sat(), and solver_solve().

int _Solver::dontshowinstalledrecommended

Definition at line 155 of file solver.h.

Referenced by findrecommendedsuggested(), and solver_solve().

int _Solver::distupgrade

Definition at line 158 of file solver.h.

Referenced by solver_solve().

int _Solver::distupgrade_removeunsupported

Definition at line 159 of file solver.h.

Referenced by solver_solve().

int _Solver::noinfarchcheck

Definition at line 161 of file solver.h.

Referenced by solver_solve().

BestSolvableCb _Solver::bestSolvableCb

Definition at line 172 of file solver.h.

Referenced by prune_best_arch_name_version().

ArchCheckCb _Solver::archCheckCb

Definition at line 181 of file solver.h.

Referenced by policy_illegal_archchange().

VendorCheckCb _Solver::vendorCheckCb

Definition at line 190 of file solver.h.

Referenced by policy_illegal_vendorchange().

UpdateCandidateCb _Solver::updateCandidateCb

Definition at line 200 of file solver.h.

Referenced by policy_findupdatepackages().

Queue _Solver::covenantq

Definition at line 204 of file solver.h.

Referenced by solver_create(), and solver_free().

Map _Solver::dupmap

Definition at line 207 of file solver.h.

Referenced by addduppackages(), solver_addduprules(), solver_createdupmaps(), solver_free(), and solver_freedupmaps().

int _Solver::dupmap_all

Definition at line 208 of file solver.h.

Referenced by convertsolution(), policy_filter_unwanted(), solver_addinfarchrules(), solver_addupdaterule(), solver_run_sat(), and solver_solve().

Map _Solver::dupinvolvedmap

Definition at line 209 of file solver.h.

Referenced by policy_filter_unwanted(), solver_addduprules(), solver_addinfarchrules(), solver_addupdaterule(), solver_createdupmaps(), and solver_free().

Map _Solver::droporphanedmap

Definition at line 211 of file solver.h.

Referenced by solver_free(), solver_run_sat(), and solver_solve().

int _Solver::droporphanedmap_all

Definition at line 212 of file solver.h.

Referenced by solver_run_sat(), and solver_solve().

Map _Solver::cleandepsmap

Definition at line 214 of file solver.h.

Referenced by solver_createcleandepsmap(), solver_disablepolicyrules(), solver_free(), solver_reenablepolicyrules(), solver_run_sat(), and solver_solve().

Queue* _Solver::ruleinfoq

Definition at line 216 of file solver.h.

Referenced by addrpmrule(), addrpmruleinfo(), solver_allruleinfos(), and solver_ruleinfo().

---

The documentation for this struct was generated from the following file:

• src/solver.h