satsolver  0.17.2
problems.h
Go to the documentation of this file.
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
Generated by   doxygen 1.8.4