src/problems.h

   1 /*
   2  * Copyright (c) 2007-2009, Novell Inc.
   3  *
   4  * This program is licensed under the BSD license, read LICENSE.BSD
   5  * for further information
   6  */
   7
   8 /*
   9  * problems.h
  10  *
  11  */
  12
  13 #ifndef SATSOLVER_PROBLEMS_H
  14 #define SATSOLVER_PROBLEMS_H
  15
  16 #ifdef __cplusplus
  17 extern "C" {
  18 #endif
  19
  20
  21 struct _Solver;
  22
  23 #define SOLVER_SOLUTION_JOB             (0)
  24 #define SOLVER_SOLUTION_DISTUPGRADE     (-1)
  25 #define SOLVER_SOLUTION_INFARCH         (-2)
  26
  27 void solver_disableproblem(struct _Solver *solv, Id v);
  28 void solver_enableproblem(struct _Solver *solv, Id v);
  29 int solver_prepare_solutions(struct _Solver *solv);
  30
  31 unsigned int solver_problem_count(struct _Solver *solv);
  32 Id solver_next_problem(struct _Solver *solv, Id problem);
  33 unsigned int solver_solution_count(struct _Solver *solv, Id problem);
  34 Id solver_next_solution(struct _Solver *solv, Id problem, Id solution);
  35 unsigned int solver_solutionelement_count(struct _Solver *solv, Id problem, Id solution);
  36 Id solver_next_solutionelement(struct _Solver *solv, Id problem, Id solution, Id element, Id *p, Id *rp);
  37
  38 void solver_take_solutionelement(struct _Solver *solv, Id p, Id rp, Queue *job);
  39 void solver_take_solution(struct _Solver *solv, Id problem, Id solution, Queue *job);
  40
  41 Id solver_findproblemrule(struct _Solver *solv, Id problem);
  42 void solver_findallproblemrules(struct _Solver *solv, Id problem, Queue *rules);
  43
  44 #ifdef __cplusplus
  45 }
  46 #endif
  47
  48 #endif