Home
last modified time | relevance | path

Searched refs:rseen (Results 1 – 2 of 2) sorted by relevance

/haiku/src/libs/libsolv/solv/
H A Dproblems.c864 …dproblemrule_internal(Solver *solv, Id idx, Id *reqrp, Id *conrp, Id *sysrp, Id *jobrp, Map *rseen) in findproblemrule_internal() argument
894 if (MAPTST(rseen, rid - solv->learntrules)) in findproblemrule_internal()
896 MAPSET(rseen, rid - solv->learntrules); in findproblemrule_internal()
897 …l(solv, solv->learnt_why.elements[rid - solv->learntrules], &lreqr, &lconr, &lsysr, &ljobr, rseen); in findproblemrule_internal()
974 Map rseen; in solver_findproblemrule() local
976 map_init(&rseen, solv->learntrules ? solv->nrules - solv->learntrules : 0); in solver_findproblemrule()
977 findproblemrule_internal(solv, idx, &reqr, &conr, &sysr, &jobr, &rseen); in solver_findproblemrule()
978 map_free(&rseen); in solver_findproblemrule()
994 findallproblemrules_internal(Solver *solv, Id idx, Queue *rules, Map *rseen) in findallproblemrules_internal() argument
1001 if (MAPTST(rseen, rid - solv->learntrules)) in findallproblemrules_internal()
[all …]
H A Dsolver.c992 analyze_unsolvable_rule(Solver *solv, Rule *r, Id *lastweakp, Map *rseen) in analyze_unsolvable_rule() argument
1002 if (MAPTST(rseen, why - solv->learntrules)) in analyze_unsolvable_rule()
1004 MAPSET(rseen, why - solv->learntrules); in analyze_unsolvable_rule()
1007 analyze_unsolvable_rule(solv, solv->rules + solv->learnt_pool.elements[i], lastweakp, rseen); in analyze_unsolvable_rule()
1072 Map rseen; in analyze_unsolvable() local
1093 map_init(&rseen, solv->learntrules ? solv->nrules - solv->learntrules : 0); in analyze_unsolvable()
1097 analyze_unsolvable_rule(solv, r, &lastweak, &rseen); in analyze_unsolvable()
1130 analyze_unsolvable_rule(solv, r, &lastweak, &rseen); in analyze_unsolvable()
1153 map_free(&rseen); in analyze_unsolvable()