Home
last modified time | relevance | path

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

/haiku/src/libs/libsolv/solv/
H A Dsolver.h130 int stats_learned; /* statistic */ member
H A Dsolver.c943 solv->stats_learned++; in analyze()
2504 …ics: %d learned rules, %d unsolvable, %d minimization steps\n", solv->stats_learned, solv->stats_u… in solver_run_sat()
3039 solv->stats_learned = solv->stats_unsolvable = 0; in solver_solve()
3636 …, %d learned rules, %d unsolvable\n", solv->problems.count / 2, solv->stats_learned, solv->stats_u… in solver_solve()