Imported Upstream version 0.6.33
[platform/upstream/libsolv.git] / src / problems.h
index b2ed55b..63319d6 100644 (file)
  *
  */
 
-#ifndef SATSOLVER_PROBLEMS_H
-#define SATSOLVER_PROBLEMS_H
+#ifndef LIBSOLV_PROBLEMS_H
+#define LIBSOLV_PROBLEMS_H
+
+#include "rules.h"
 
 #ifdef __cplusplus
 extern "C" {
@@ -23,24 +25,35 @@ struct _Solver;
 #define SOLVER_SOLUTION_JOB             (0)
 #define SOLVER_SOLUTION_DISTUPGRADE     (-1)
 #define SOLVER_SOLUTION_INFARCH         (-2)
+#define SOLVER_SOLUTION_BEST            (-3)
+#define SOLVER_SOLUTION_POOLJOB         (-4)
+
+void solver_recordproblem(struct _Solver *solv, Id rid);
+void solver_fixproblem(struct _Solver *solv, Id rid);
+Id solver_autouninstall(struct _Solver *solv, int start);
+void solver_disableproblemset(struct _Solver *solv, int start);
 
-void solver_disableproblem(struct _Solver *solv, Id v);
-void solver_enableproblem(struct _Solver *solv, Id v);
 int solver_prepare_solutions(struct _Solver *solv);
 
-Id solver_problem_count(struct _Solver *solv);
+unsigned int solver_problem_count(struct _Solver *solv);
 Id solver_next_problem(struct _Solver *solv, Id problem);
-Id solver_solution_count(struct _Solver *solv, Id problem);
+unsigned int solver_solution_count(struct _Solver *solv, Id problem);
 Id solver_next_solution(struct _Solver *solv, Id problem, Id solution);
-Id solver_solutionelement_count(struct _Solver *solv, Id problem, Id solution);
+unsigned int solver_solutionelement_count(struct _Solver *solv, Id problem, Id solution);
+Id solver_solutionelement_internalid(struct _Solver *solv, Id problem, Id solution);
+Id solver_solutionelement_extrajobflags(struct _Solver *solv, Id problem, Id solution);
 Id solver_next_solutionelement(struct _Solver *solv, Id problem, Id solution, Id element, Id *p, Id *rp);
 
-void solver_take_solutionelement(struct _Solver *solv, Id p, Id rp, Queue *job);
+void solver_take_solutionelement(struct _Solver *solv, Id p, Id rp, Id extrajobflags, Queue *job);
 void solver_take_solution(struct _Solver *solv, Id problem, Id solution, Queue *job);
 
 Id solver_findproblemrule(struct _Solver *solv, Id problem);
 void solver_findallproblemrules(struct _Solver *solv, Id problem, Queue *rules);
 
+extern const char *solver_problemruleinfo2str(struct _Solver *solv, SolverRuleinfo type, Id source, Id target, Id dep);
+extern const char *solver_problem2str(struct _Solver *solv, Id problem);
+extern const char *solver_solutionelement2str(struct _Solver *solv, Id p, Id rp);
+
 #ifdef __cplusplus
 }
 #endif