satsolver 0.16.3
|
00001 /* 00002 * Copyright (c) 2008, Novell Inc. 00003 * 00004 * This program is licensed under the BSD license, read LICENSE.BSD 00005 * for further information 00006 */ 00007 00008 /* 00009 * solverdebug.h 00010 * 00011 */ 00012 00013 #ifndef SATSOLVER_SOLVERDEBUG_H 00014 #define SATSOLVER_SOLVERDEBUG_H 00015 00016 #include "pooltypes.h" 00017 #include "pool.h" 00018 #include "solver.h" 00019 00020 extern Id *solver_create_decisions_obsoletesmap(Solver *solv); 00021 extern void solver_printruleelement(Solver *solv, int type, Rule *r, Id v); 00022 extern void solver_printrule(Solver *solv, int type, Rule *r); 00023 extern void solver_printruleclass(Solver *solv, int type, Rule *r); 00024 extern void solver_printproblem(Solver *solv, Id v); 00025 extern void solver_printwatches(Solver *solv, int type); 00026 extern void solver_printdecisionq(Solver *solv, int type); 00027 extern void solver_printdecisions(Solver *solv); 00028 extern void solver_printtransaction(Solver *solv); 00029 extern void solver_printprobleminfo(Solver *solv, Id problem); 00030 extern void solver_printcompleteprobleminfo(Solver *solv, Id problem); 00031 extern void solver_printsolution(Solver *solv, Id problem, Id solution); 00032 extern void solver_printallsolutions(Solver *solv); 00033 extern void solver_printtrivial(Solver *solv); 00034 00035 extern const char *solver_select2str(Pool *pool, Id select, Id what); 00036 00037 00038 #endif /* SATSOLVER_SOLVERDEBUG_H */ 00039