satsolver: _Solver Struct Reference

satsolver 0.17.2

#include <solver.h>

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_illegal2str(), policy_illegal_archchange(), policy_illegal_vendorchange(), policy_is_illegal(), propagate(), prune_best_arch_name_version(), prune_installed_dup_packages(), 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_problemruleinfo2str(), solver_reset(), solver_ruleinfo(), solver_run_sat(), solver_samerule(), solver_solutionelement2str(), 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(), solver_solutionelement2str(), 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().

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 analyze_unsolvable(), 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(), 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

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

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(), prune_installed_dup_packages(), 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(), prune_installed_dup_packages(), 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