Searched defs:why (Results 1 – 3 of 3) sorted by relevance
| /haiku/src/libs/libsolv/solv/ |
| H A D | solver.c | 241 Id why, *whyp; in enabledisablelearntrules() local
835 Id d, v, vv, *dp, why; in analyze() local
996 Id why = r - solv->rules; in analyze_unsolvable_rule() local
1073 Id d, v, vv, *dp, why; in analyze_unsolvable() local
1292 int l, why; in setpropagatelearn() local
2435 Id why; in solver_run_sat() local
2467 Id why; in solver_run_sat() local
2538 Id p, why, *dp; in removedisabledconflicts() local
3726 Id why; in solver_get_recommendations() local
3990 Id pp, why; in solver_describe_decision() local
|
| H A D | solverdebug.c | 267 Id p, why; in solver_printdecisionq() local
|
| H A D | problems.c | 380 convertsolution(Solver *solv, Id why, Queue *solutionq) in convertsolution()
|