Imported Upstream version 0.6.23

[platform/upstream/libsolv.git] / src / solverdebug.h

diff --git a/src/solverdebug.h b/src/solverdebug.h
index 50fff6b..b6923b4 100644 (file)
--- a/src/solverdebug.h
+++ b/src/solverdebug.h
@@ -10,14 +10,17 @@
  *
  */
 
-#ifndef SATSOLVER_SOLVERDEBUG_H
-#define SATSOLVER_SOLVERDEBUG_H
+#ifndef LIBSOLV_SOLVERDEBUG_H
+#define LIBSOLV_SOLVERDEBUG_H
 
 #include "pooltypes.h"
 #include "pool.h"
 #include "solver.h"
 
-extern Id *solver_create_decisions_obsoletesmap(Solver *solv);
+#ifdef __cplusplus
+extern "C" {
+#endif
+
 extern void solver_printruleelement(Solver *solv, int type, Rule *r, Id v);
 extern void solver_printrule(Solver *solv, int type, Rule *r);
 extern void solver_printruleclass(Solver *solv, int type, Rule *r);
@@ -25,13 +28,20 @@ extern void solver_printproblem(Solver *solv, Id v);
 extern void solver_printwatches(Solver *solv, int type);
 extern void solver_printdecisionq(Solver *solv, int type);
 extern void solver_printdecisions(Solver *solv);
-extern void solver_printtransaction(Solver *solv);
+extern void solver_printproblemruleinfo(Solver *solv, Id rule);
 extern void solver_printprobleminfo(Solver *solv, Id problem);
+extern void solver_printcompleteprobleminfo(Solver *solv, Id problem);
 extern void solver_printsolution(Solver *solv, Id problem, Id solution);
 extern void solver_printallsolutions(Solver *solv);
+
+extern void transaction_print(Transaction *trans);
+
+/* weird suse stuff */
 extern void solver_printtrivial(Solver *solv);
-extern const char *solver_select2str(Solver *solv, Id select, Id what);
 
+#ifdef __cplusplus
+}
+#endif
 
-#endif /* SATSOLVER_SOLVERDEBUG_H */
+#endif /* LIBSOLV_SOLVERDEBUG_H */