_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

Map fixmap

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

Map dupinvolvedmap

Map droporphanedmap

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 addchoicerules(), addrpmruleinfo(), addwatches_rule(), analyze(), analyze_unsolvable(), analyze_unsolvable_rule(), convertsolution(), create_solutions(), dep_possible(), disablechoicerules(), 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(), propagate(), prune_best_arch_name_version(), prune_to_recommended(), reenableduprule(), reenableinfarchrule(), reenableupdaterule(), refine_suggestion(), removedisabledconflicts(), revert(), selectandinstall(), setpropagatelearn(), 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_createdupmaps(), solver_dep_fulfilled(), solver_dep_installed(), solver_disableproblem(), solver_enableproblem(), solver_printallsolutions(), solver_printdecisionq(), solver_printdecisions(), solver_printproblem(), solver_printprobleminfo(), solver_printrule(), solver_printruleclass(), solver_printruleelement(), solver_printsolution(), solver_printtransaction(), solver_printtrivial(), solver_printwatches(), solver_reset(), solver_ruleinfo(), solver_run_sat(), solver_samerule(), solver_select2str(), 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_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().

Rule* _Solver::rules

Definition at line 53 of file solver.h.

Referenced by addchoicerules(), addrpmruleinfo(), addwatches_rule(), analyze(), analyze_unsolvable(), analyze_unsolvable_rule(), convertsolution(), disablechoicerules(), disableduprule(), disableinfarchrule(), disableupdaterule(), enabledisablelearntrules(), enableweakrules(), findproblemrule_internal(), findrecommendedsuggested(), makeruledecisions(), makewatches(), propagate(), reenableduprule(), reenableinfarchrule(), reenableupdaterule(), refine_suggestion(), removedisabledconflicts(), setpropagatelearn(), solver_addrule(), solver_allruleinfos(), solver_create(), 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 addchoicerules(), makewatches(), removedisabledconflicts(), solver_addduprules(), solver_addinfarchrules(), 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 addchoicerules(), makeruledecisions(), solver_addrule(), solver_allruleinfos(), and solver_solve().

Id _Solver::featurerules

Definition at line 62 of file solver.h.

Referenced by addchoicerules(), convertsolution(), disableupdaterule(), makeruledecisions(), reenableupdaterule(), refine_suggestion(), 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 addchoicerules(), convertsolution(), disableupdaterule(), findproblemrule_internal(), reenableupdaterule(), refine_suggestion(), solver_disableproblem(), solver_enableproblem(), 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_disablepolicyrules(), solver_disableproblem(), solver_enableproblem(), 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 addchoicerules(), analyze_unsolvable_rule(), convertsolution(), disableinfarchrule(), findproblemrule_internal(), jobtodisablelist(), reenableinfarchrule(), 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 addchoicerules(), analyze_unsolvable_rule(), convertsolution(), disableduprule(), findproblemrule_internal(), jobtodisablelist(), reenableduprule(), 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 addchoicerules(), analyze_unsolvable(), disablechoicerules(), solver_printruleclass(), solver_ruleinfo(), and solver_solve().

Id _Solver::choicerules_end

Definition at line 78 of file solver.h.

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

Id* _Solver::choicerules_ref

Definition at line 79 of file solver.h.

Referenced by addchoicerules(), 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 88 of file solver.h.

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

Map _Solver::fixmap

Definition at line 89 of file solver.h.

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

Queue _Solver::weakruleq

Definition at line 91 of file solver.h.

Referenced by addchoicerules(), solver_create(), solver_free(), solver_solve(), and weaken_solvable_deps().

Map _Solver::weakrulemap

Definition at line 92 of file solver.h.

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

Id* _Solver::watches

Definition at line 94 of file solver.h.

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

Queue _Solver::ruletojob

Definition at line 100 of file solver.h.

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

Queue _Solver::decisionq_why

Definition at line 104 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().

Queue _Solver::learnt_why

Definition at line 112 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 113 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 115 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)

Referenced by solver_run_sat().

void* _Solver::solution_callback_data

Definition at line 117 of file solver.h.

Referenced by solver_run_sat().

int _Solver::propagate_index

Definition at line 119 of file solver.h.

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

Queue _Solver::solutions

Definition at line 122 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 124 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 125 of file solver.h.

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

Queue _Solver::orphaned

Definition at line 126 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 128 of file solver.h.

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

int _Solver::stats_unsolvable

Definition at line 129 of file solver.h.

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

Map _Solver::recommendsmap

Definition at line 131 of file solver.h.

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

Map _Solver::suggestsmap

Definition at line 132 of file solver.h.

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

int _Solver::recommends_index

Definition at line 133 of file solver.h.

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

Id* _Solver::obsoletes

Definition at line 135 of file solver.h.

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

Id* _Solver::obsoletes_data

Definition at line 136 of file solver.h.

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

Id* _Solver::multiversionupdaters

Definition at line 137 of file solver.h.

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

int _Solver::fixsystem

Definition at line 143 of file solver.h.

Referenced by solver_addrpmrulesforsolvable(), and solver_solve().

int _Solver::allowdowngrade

Definition at line 144 of file solver.h.

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

int _Solver::allowarchchange

Definition at line 145 of file solver.h.

Referenced by addchoicerules(), policy_findupdatepackages(), solver_printsolution(), and solver_solve().

int _Solver::allowvendorchange

Definition at line 146 of file solver.h.

Referenced by addchoicerules(), policy_findupdatepackages(), solver_printsolution(), and solver_solve().

int _Solver::allowuninstall

Definition at line 147 of file solver.h.

Referenced by solver_solve().

int _Solver::updatesystem

Definition at line 148 of file solver.h.

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

int _Solver::noupdateprovide

Definition at line 149 of file solver.h.

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

int _Solver::dosplitprovides

Definition at line 150 of file solver.h.

Referenced by solver_solve(), and solver_splitprovides().

int _Solver::dontinstallrecommended

Definition at line 151 of file solver.h.

Referenced by findrecommendedsuggested(), and solver_solve().

int _Solver::ignorealreadyrecommended

Definition at line 152 of file solver.h.

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

int _Solver::dontshowinstalledrecommended

Definition at line 153 of file solver.h.

Referenced by findrecommendedsuggested(), and solver_solve().

int _Solver::distupgrade

Definition at line 156 of file solver.h.

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

int _Solver::distupgrade_removeunsupported

Definition at line 157 of file solver.h.

Referenced by solver_run_sat(), and solver_solve().

int _Solver::noinfarchcheck

Definition at line 159 of file solver.h.

Referenced by solver_solve().

BestSolvableCb _Solver::bestSolvableCb

Definition at line 170 of file solver.h.

Referenced by prune_best_arch_name_version().

ArchCheckCb _Solver::archCheckCb

Definition at line 179 of file solver.h.

Referenced by policy_illegal_archchange().

VendorCheckCb _Solver::vendorCheckCb

Definition at line 188 of file solver.h.

Referenced by policy_illegal_vendorchange().

UpdateCandidateCb _Solver::updateCandidateCb

Definition at line 198 of file solver.h.

Referenced by policy_findupdatepackages().

Queue _Solver::covenantq

Definition at line 202 of file solver.h.

Referenced by solver_create(), and solver_free().

Map _Solver::dupmap

Definition at line 205 of file solver.h.

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

Map _Solver::dupinvolvedmap

Definition at line 206 of file solver.h.

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

Map _Solver::droporphanedmap

Definition at line 207 of file solver.h.

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

Queue* _Solver::ruleinfoq

Definition at line 209 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

doxygen