_Rule Struct Reference

#include <rules.h>

Public Attributes
Id	p
Id	d
Id	w1
Id	w2
Id	n1
Id	n2

Detailed Description

Definition at line 38 of file rules.h.

Member Data Documentation

Id _Rule::p

Definition at line 39 of file rules.h.

Referenced by addrpmruleinfo(), analyze(), analyze_unsolvable(), analyze_unsolvable_rule(), convertsolution(), disableduprule(), disableinfarchrule(), disableupdaterule(), findproblemrule_internal(), findrecommendedsuggested(), makeruledecisions(), propagate(), reenableduprule(), reenableinfarchrule(), reenableupdaterule(), refine_suggestion(), removedisabledconflicts(), solver_addchoicerules(), solver_addrule(), solver_allruleinfos(), solver_createcleandepsmap(), solver_disableproblem(), solver_enableproblem(), solver_printrule(), solver_ruleinfo(), solver_run_sat(), solver_solve(), unifyrules_sortcmp(), and weaken_solvable_deps().

Id _Rule::d

Definition at line 40 of file rules.h.

Referenced by addrpmruleinfo(), analyze(), analyze_unsolvable(), disableduprule(), disableinfarchrule(), disableupdaterule(), enabledisablelearntrules(), enableweakrules(), findproblemrule_internal(), findrecommendedsuggested(), makeruledecisions(), propagate(), reenableduprule(), reenableinfarchrule(), reenableupdaterule(), removedisabledconflicts(), solver_addchoicerules(), solver_addrule(), solver_allruleinfos(), solver_createcleandepsmap(), solver_disablechoicerules(), solver_disablepolicyrules(), solver_disablerule(), solver_enableproblem(), solver_enablerule(), solver_printrule(), solver_reenablepolicyrules(), solver_ruleinfo(), solver_run_sat(), solver_solve(), solver_unifyrules(), unifyrules_sortcmp(), watch2onhighest(), and weaken_solvable_deps().

Id _Rule::w1

Definition at line 43 of file rules.h.

Referenced by addwatches_rule(), makewatches(), propagate(), solver_addrule(), and solver_printruleelement().

Id _Rule::w2

Definition at line 43 of file rules.h.

Referenced by addrpmruleinfo(), addwatches_rule(), analyze(), analyze_unsolvable(), convertsolution(), findproblemrule_internal(), makeruledecisions(), makewatches(), propagate(), removedisabledconflicts(), solver_addchoicerules(), solver_addrule(), solver_allruleinfos(), solver_printrule(), solver_printruleelement(), solver_ruleinfo(), solver_run_sat(), solver_solve(), unifyrules_sortcmp(), watch2onhighest(), and weaken_solvable_deps().

Id _Rule::n1

Definition at line 45 of file rules.h.

Referenced by addwatches_rule(), makewatches(), propagate(), solver_addrule(), and solver_printrule().

Id _Rule::n2

Definition at line 45 of file rules.h.

Referenced by addwatches_rule(), makewatches(), propagate(), solver_addrule(), and solver_printrule().

---

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

• src/rules.h