2 * Copyright (c) 2011, Novell Inc.
4 * This program is licensed under the BSD license, read LICENSE.BSD
5 * for further information
9 * solver_private.h - private functions
13 #ifndef LIBSOLV_SOLVER_PRIVATE_H
14 #define LIBSOLV_SOLVER_PRIVATE_H
16 extern void solver_run_sat(Solver *solv, int disablerules, int doweak);
17 extern void solver_reset(Solver *solv);
19 extern int solver_splitprovides(Solver *solv, Id dep, Map *m);
22 solver_dep_fulfilled(Solver *solv, Id dep)
24 Pool *pool = solv->pool;
29 Reldep *rd = GETRELDEP(pool, dep);
30 if (rd->flags == REL_AND || rd->flags == REL_COND)
32 if (!solver_dep_fulfilled(solv, rd->name))
34 return solver_dep_fulfilled(solv, rd->evr);
36 if (rd->flags == REL_OR)
38 if (solver_dep_fulfilled(solv, rd->name))
40 return solver_dep_fulfilled(solv, rd->evr);
42 if (rd->flags == REL_NAMESPACE && rd->name == NAMESPACE_SPLITPROVIDES)
43 return solver_splitprovides(solv, rd->evr, 0);
45 FOR_PROVIDES(p, pp, dep)
47 if (solv->decisionmap[p] > 0)
54 solver_is_supplementing(Solver *solv, Solvable *s)
59 supp = s->repo->idarraydata + s->supplements;
60 while ((sup = *supp++) != 0)
61 if (solver_dep_fulfilled(solv, sup))
67 solver_is_enhancing(Solver *solv, Solvable *s)
72 enhp = s->repo->idarraydata + s->enhances;
73 while ((enh = *enhp++) != 0)
74 if (solver_dep_fulfilled(solv, enh))
79 #endif /* LIBSOLV_SOLVER_PRIVATE_H */